Beskrivelseslogikk
term_id: description_logic
Category: engineering_practice
Definition
Beskrivelseslogikker (DL) er avgjørbare fragmenter av førstesrads logikk som danner det teoretiske grunnlaget for ontologier, spesielt Web Ontology Language (OWL). De muliggjør presis definisjon og
Summary
En familie av formelle språk for kunnskapsrepresentasjon brukt til å representere og resonnere om den konseptuelle strukturen til domener.
Key Concepts
- Ontologi
- Resonnering
- Subsumsjon
- Konsepthierarki
Use Cases
- Bygging av semantiske web-ontologier
- Medisinske kunnskapsgrafer
- Automatiserte klassifiseringssystemer