Reasoning about Typicality in Preferential Description Logics.
Laura GiordanoValentina GliozziNicola OlivettiGian Luca PozzatoPublished in: JELIA (2008)
Keyphrases
- description logics
- tableau calculus
- knowledge base
- probabilistic knowledge
- reasoning tasks
- modal operators
- knowledge representation
- knowledge representation and reasoning
- computational properties
- reasoning systems
- model theoretic
- computing least common subsumers
- knowledge representation formalisms
- dl lite
- owl dl
- concept descriptions
- reasoning problems
- semantic web
- number restrictions
- knowledge representation languages
- query optimization
- reasoning services
- knowledge representation systems
- expert systems
- databases