Description Logic

term_id: description_logic

Category: engineering_practice

Definition

Le Description Logics (DL) sono frammenti decidibili della logica del primo ordine che costituiscono il fondamento teorico per le ontologie, in particolare per il Web Ontology Language (OWL). Consentono una definizione precisa…

Summary

Una famiglia di linguaggi formali di rappresentazione della conoscenza utilizzati per rappresentare e ragionare sulla struttura concettuale dei domini.

Key Concepts

  • Ontologia
  • Ragionamento
  • Sottordinazione (Subsumption)
  • Gerarchia dei Concetti

Use Cases

  • Costruzione di ontologie per il Semantic Web
  • Grafici della conoscenza medica
  • Sistemi di classificazione automatizzati