Combining Answer Set Programming with Description Logics for the Semantic Web.
Thomas EiterThomas LukasiewiczRoman SchindlauerHans TompitsPublished in: KR (2004)
Keyphrases
- answer set programming
- description logics
- reasoning tasks
- knowledge representation
- ontology languages
- semantic web
- answer set semantics
- logic programming
- knowledge base
- owl dl
- logic programs
- owl ontologies
- answer sets
- description logic programs
- reasoning problems
- knowledge representation languages
- stable model semantics
- knowledge representation and reasoning
- stable models
- linked data
- expert systems
- reasoning systems
- artificial intelligence
- computational properties
- model theoretic
- automated reasoning
- metadata
- inductive logic programming
- deductive databases
- domain ontology
- semantic annotation
- np complete
- tree decomposition
- general purpose
- representing knowledge
- nonmonotonic reasoning
- dl programs