A Characterization Theorem for a Modal Description Logic.
Paul WildLutz SchröderPublished in: IJCAI (2017)
Keyphrases
- description logics
- description logic alc
- knowledge base
- knowledge representation
- computational properties
- modal logic
- reasoning tasks
- dl lite
- concept descriptions
- dl programs
- semantic web
- computing least common subsumers
- knowledge representation languages
- model theoretic
- reasoning problems
- reasoning mechanism
- semantic mapping
- xml documents
- number restrictions
- refinement operators
- modal operators
- ontology languages
- nonmonotonic logics
- owl ontologies
- transitive closure of roles
- terminological knowledge
- snomed ct
- ontology reasoning
- logical implication
- database systems