Lógica de Descrição
term_id: description_logic
Category: engineering_practice
Definition
As Lógicas de Descrição (DL) são fragmentos decidíveis da lógica de primeira ordem que formam a base teórica para ontologias, particularmente a Linguagem de Ontologia da Web (OWL). Elas permitem a definição precisa
Summary
Uma família de linguagens formais de representação de conhecimento usadas para representar e raciocinar sobre a estrutura conceitual de domínios.
Key Concepts
- Ontologia
- Raciocínio
- Subsumção
- Hierarquia de Conceitos
Use Cases
- Construção de ontologias da web semântica
- Gráficos de conhecimento médicos
- Sistemas de classificação automatizada