Representations of Topological Relations Between Simple Regions in Description Logics: From Formalization to Consistency Checking.
Catherine RousseyFrançois PinetMichel SchneiderPublished in: Int. J. Agric. Environ. Inf. Syst. (2013)
Keyphrases
- description logics
- consistency checking
- knowledge representation
- knowledge base
- computational properties
- reasoning tasks
- fuzzy description logics
- reasoning problems
- dl lite
- semantic web
- computing least common subsumers
- artificial intelligence
- query answering
- ontology languages
- temporal reasoning
- knowledge representation formalisms
- expert systems
- terminological knowledge
- concept descriptions
- number restrictions
- ontology based data access