Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity.
Georg GottlobAndré HernichClemens KupkeThomas LukasiewiczPublished in: J. ACM (2021)
Keyphrases
- description logics
- dl lite
- exptime complete
- computing least common subsumers
- stable model semantics
- query answering
- knowledge base
- reasoning tasks
- logic programs
- computational properties
- answer set programming
- semantic web
- knowledge representation
- ontology based data access
- owl ontologies
- stable models
- reasoning problems
- ontology languages
- model theoretic
- logic programming
- database
- data complexity
- rdf graphs
- business rules
- machine learning