On combining ontologies and rules

DOI10.1007/978-3-030-95481-9_2zbMath1524.68366OpenAlexW4226547465MaRDI QIDQ6166577

Matthias Knorr

Publication date: 3 August 2023

Published in: Reasoning Web. Declarative Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-95481-9_2

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Local closed world reasoning with description logics under the well-founded semantics
• On rules with existential variables: walking the decidability line
• Semantic characterization of rational closure: from propositional logic to description logics
• On updates of hybrid knowledge bases composed of ontologies and rules
• LARS: a logic-based framework for analytic reasoning over streams
• Reactive multi-context systems: heterogeneous reasoning in dynamic environments
• Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
• HermiT: an OWL 2 reasoner
• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
• Combining answer set programming with description logics for the semantic web
• The ASP system DLV2
• NoHR: integrating XSB Prolog with the OWL 2 profiles and beyond
• Concrete Results on Abstract Rules
• XSB: Extending Prolog with Tabled Logic Programming
• Well-founded semantics for description logic programs in the semantic web
• Query-Driven Procedures for Hybrid MKNF Knowledge Bases
• Splitting and updating hybrid knowledge bases
• Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures
• Linking Open-World Knowledge Bases Using Nonmonotonic Rules
• The Complexity of Conjunctive Query Answering in Expressive Description Logics
• The Description Logic Handbook
• Reconciling description logics and rules
• Loop formulas for description logic programs
• Towards closed world reasoning in dynamic open worlds
• The Complexity of Circumscription in DLs
• The DL-Lite Family and Relations
• The well-founded semantics for general logic programs
• Logic programming and knowledge representation
• Tabled evaluation with delaying for general logic programs
• A model building framework for answer set programming with external computations
• The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description)
• ASP-Core-2 Input Language Format
• Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity
• The DLV system for knowledge representation and reasoning
• Experimenting with recursive queries in database and logic programming systems
• Description logics of minimal knowledge and negation as failure

This page was built for publication: On combining ontologies and rules