Efficient OWL Reasoning with Logic Programs - Evaluations.
Sebastian RudolphMarkus KrötzschPascal HitzlerMichael SintekDenny VrandecicPublished in: RR (2007)
Keyphrases
- logic programs
- logic programming
- computational properties
- answer sets
- abductive logic programming
- fixpoint
- answer set programming
- stable models
- knowledge base
- background knowledge
- term rewriting systems
- normal logic programs
- partial deduction
- reasoning tasks
- knowledge representation
- prolog programs
- open world
- recursive programs
- inductive logic programming
- logic program updates
- probabilistic reasoning
- strong equivalence
- expressive power
- description logics
- nonmonotonic reasoning
- autoepistemic logic
- deductive databases
- semantics for logic programs