Equality-Friendly Well-Founded Semantics and Applications to Description Logics.
Georg GottlobAndré HernichClemens KupkeThomas LukasiewiczPublished in: AAAI (2012)
Keyphrases
- description logics
- fixpoint
- ontology languages
- logic programs
- deductive databases
- logic programming
- knowledge base
- reasoning tasks
- knowledge representation
- dl lite
- computational properties
- semantic web
- knowledge representation and reasoning
- computing least common subsumers
- normal logic programs
- reasoning systems
- data complexity
- finite state machines
- defeasible logic
- reasoning problems
- knowledge representation formalisms
- function symbols
- number restrictions
- query evaluation
- query language
- owl dl
- dl programs
- stable models
- exptime complete
- nonmonotonic reasoning
- xml documents