A Characterization Theorem for a Modal Description Logic.
Paul WildLutz SchröderPublished in: CoRR (2017)
Keyphrases
- description logics
- description logic alc
- knowledge base
- reasoning tasks
- computational properties
- semantic web
- modal logic
- reasoning systems
- computing least common subsumers
- reasoning problems
- modal operators
- concept descriptions
- dl lite
- snomed ct
- reasoning mechanism
- tableau calculus
- knowledge representation
- ontology languages
- model theoretic
- reasoning services
- knowledge representation languages
- automated reasoning