Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming.
Labinot BajraktariMagdalena OrtizMantas SimkusPublished in: Description Logics (2017)
Keyphrases
- description logics
- answer set programming
- knowledge base
- reasoning tasks
- logic programming
- knowledge representation
- logic programs
- answer sets
- dl lite
- computing least common subsumers
- computational properties
- knowledge representation systems
- concept descriptions
- stable model semantics
- semantic web
- ontology languages
- knowledge representation and reasoning
- tree decomposition
- reasoning systems
- knowledge representation languages
- event calculus
- model theoretic
- artificial intelligence
- function symbols
- reasoning problems
- answer set semantics
- stable models
- temporal logic
- nonmonotonic reasoning
- tree automata
- owl ontologies
- automated reasoning
- deductive databases