Description logic programs: combining logic programs with description logic.
Benjamin N. GrosofIan HorrocksRaphael VolzStefan DeckerPublished in: WWW (2003)
Keyphrases
- description logic programs
- logic programs
- description logics
- dl programs
- answer set semantics
- logic programming
- answer sets
- computational properties
- answer set programming
- fixpoint
- stable models
- normal logic programs
- ontology mappings
- horn clauses
- model theoretic
- stable model semantics
- conjunctive queries
- refinement operators
- databases
- knowledge representation and reasoning
- reasoning tasks
- data complexity
- deductive databases
- conceptual model