Revisiting Semantics for Epistemic Extensions of Description Logics.
Anees MehdiSebastian RudolphPublished in: AAAI (2011)
Keyphrases
- description logics
- modal operators
- knowledge representation formalisms
- model theoretic
- reasoning tasks
- reasoning services
- owl dl
- computational properties
- owl ontologies
- epistemic logic
- highly expressive
- knowledge representation
- knowledge base
- reasoning mechanism
- default logic
- knowledge representation and reasoning
- dl lite
- number restrictions
- fuzzy description logics
- default theories
- semantic matchmaking
- knowledge representation languages
- nonmonotonic logics
- ontology languages
- dl programs
- formal semantics
- semantic web
- computing least common subsumers
- concept descriptions
- reasoning problems
- uml class diagrams
- deductive databases
- logic programming
- logic programs
- expert systems
- description logic programs
- action theories
- operational semantics
- nonmonotonic reasoning
- modal logic
- tableau calculus
- database systems