Well-founded semantics for extended datalog and ontological reasoning.
André HernichClemens KupkeThomas LukasiewiczGeorg GottlobPublished in: PODS (2013)
Keyphrases
- logic programming
- ontological reasoning
- deductive databases
- logic programs
- integrity constraints
- domain knowledge
- computational properties
- expressive power
- data complexity
- fixpoint
- query answering
- general logic programs
- fixpoint semantics
- stable models
- artificial intelligence
- ontology matching
- natural language
- learning algorithm