Well-Founded Semantics for Description Logic Programs in the Semantic Web.
Thomas EiterThomas LukasiewiczRoman SchindlauerHans TompitsPublished in: RuleML (2004)
Keyphrases
- description logic programs
- logic programs
- logic programming
- dl programs
- description logics
- answer set semantics
- data complexity
- normal logic programs
- ontology languages
- conjunctive queries
- ontology mappings
- answer set programming
- deductive databases
- fixpoint
- stable models
- semantic web
- answer sets
- defeasible logic
- query answering
- dl lite
- expressive power
- machine learning
- databases
- reasoning tasks
- np complete
- computational complexity