Integrating Description Logics and Answer Set Programming.
Stijn HeymansDirk VermeirPublished in: PPSWR (2003)
Keyphrases
- answer set programming
- description logics
- reasoning tasks
- knowledge representation
- logic programming
- logic programs
- answer sets
- knowledge base
- computational properties
- dl lite
- reasoning problems
- stable models
- knowledge representation and reasoning
- stable model semantics
- semantic web
- tree decomposition
- reasoning systems
- model theoretic
- ontology languages
- answer set semantics
- owl ontologies
- natural language
- database systems