Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results.
Laura GiordanoValentina GliozziNicola OlivettiGian Luca PozzatoPublished in: LPNMR (2009)
Keyphrases
- low complexity
- description logics
- reasoning tasks
- expressive description logics
- reasoning problems
- reasoning systems
- knowledge base
- knowledge representation and reasoning
- knowledge representation systems
- reasoning services
- fuzzy description logics
- computational properties
- computing least common subsumers
- knowledge representation
- reasoning mechanism
- number restrictions
- knowledge representation formalisms
- taxonomic reasoning
- terminological reasoning
- semantic web ontologies
- motion estimation
- owl dl
- ontology reasoning
- exptime complete
- knowledge representation languages
- computational complexity
- ontology languages
- dl lite
- lower complexity
- automated reasoning
- uml class diagrams
- logic programming
- answer set programming
- semantic web
- highly expressive
- artificial intelligence
- model theoretic
- default logic
- computer vision