Well-founded semantics for description logic programs in the semantic web.
Thomas EiterGiovambattista IanniThomas LukasiewiczRoman SchindlauerPublished in: ACM Trans. Comput. Log. (2011)
Keyphrases
- description logic programs
- logic programs
- logic programming
- dl programs
- description logics
- answer set semantics
- data complexity
- normal logic programs
- ontology mappings
- answer sets
- ontology languages
- fixpoint
- semantic web
- knowledge base
- deductive databases
- stable models
- answer set programming
- conjunctive queries
- dl lite
- defeasible logic
- computational problems
- query evaluation
- expressive power
- reasoning tasks
- query answering
- data management
- relational databases
- databases