Poss-SROIQ(D): Possibilistic Description Logic Extension toward an Uncertain Geographic Ontology.
Safia Bal-BouraiAïcha MokhtariFaiza KhellafPublished in: ADBIS (2) (2013)
Keyphrases
- description logics
- ontology reasoning
- knowledge base
- semantic web
- knowledge representation
- owl dl
- owl ontologies
- semantic mapping
- reasoning mechanism
- possibility theory
- snomed ct
- reasoning services
- expressive description logics
- reasoning tasks
- web ontology language
- reasoning systems
- ontology languages
- dl lite
- reasoning problems
- exptime complete
- domain knowledge
- computational properties
- logic programming
- semantic annotation
- logical implication
- incomplete information
- domain ontology
- automated reasoning
- tableau calculus