Well-Founded Semantics for Extended Datalog and Ontological Reasoning.
André HernichClemens KupkeThomas LukasiewiczGeorg GottlobPublished in: Description Logics (2013)
Keyphrases
- logic programming
- ontological reasoning
- deductive databases
- logic programs
- domain knowledge
- expressive power
- computational properties
- integrity constraints
- data complexity
- fixpoint
- knowledge representation
- fixpoint semantics
- programming language
- query answering
- artificial intelligence
- answer sets
- ontology matching
- normal logic programs