Beskrivelseslogik
term_id: description_logic
Category: engineering_practice
Definition
Beskrivelseslogikker (DL) er afgørlige fragmenter af førsteordenslogik, der udgør den teoretiske grundlag for ontologier, især Web Ontology Language (OWL). De muliggør præcis definition
Summary
En familie af formelle sprog til repræsentation af viden, der bruges til at repræsentere og resonnere om den konceptuelle struktur af domæner.
Key Concepts
- Ontologi
- Resonering
- Subsumtion
- Koncepthierarki
Use Cases
- Bygning af semantiske web-ontologier
- Medicinske vidensgrafer
- Automatiserede klassificeringssystemer