Description Logics are Hybrid Multi-Modal Logics.
Yuefei SuiMeiying SunPublished in: Int. J. Softw. Informatics (2014)
Keyphrases
- description logics
- modal logic
- nonmonotonic logics
- decision procedures
- reasoning problems
- temporal logic
- inference rules
- knowledge base
- reasoning tasks
- modal operators
- computational properties
- knowledge representation
- classical logic
- epistemic logic
- dl lite
- concept descriptions
- semantic web
- autoepistemic logic
- knowledge representation languages
- reasoning systems
- knowledge representation and reasoning
- situation calculus
- theorem proving
- fuzzy description logics
- kripke models
- computing least common subsumers
- ontology languages
- model theoretic
- default logic
- theorem prover
- model checking
- first order logic
- terminological knowledge