Logica Descrierilor

term_id: description_logic

Category: engineering_practice

Definition

Logica Descrierilor (DL) sunt fragmente decidable ale logicii de ordin întâi care constituie fundamentul teoretic pentru ontologii, în special pentru Limbajul de Ontologie Web (OWL). Acestea permit definirea precisă…

Summary

O familie de limbaje formale de reprezentare a cunoștințelor utilizate pentru a reprezenta și raționa despre structura conceptuală a domeniilor.

Key Concepts

  • Ontologie
  • Raționament
  • Subsumare
  • Ierarhia Conceptelor

Use Cases

  • Construcția de ontologii pentru Web Semantic
  • Grafuri de cunoștințe medicale
  • Sisteme de clasificare automată