A non-monotonic Description Logic for reasoning about typicality.
Laura GiordanoValentina GliozziNicola OlivettiGian Luca PozzatoPublished in: Artif. Intell. (2013)
Keyphrases
- description logics
- knowledge representation
- reasoning tasks
- knowledge base
- reasoning problems
- modal operators
- snomed ct
- semantic web
- computational properties
- dl lite
- concept descriptions
- reasoning systems
- ontology languages
- formal theory
- model theoretic
- reasoning services
- reasoning mechanism
- semantic mapping
- owl ontologies
- ontology reasoning
- database systems