On combining ontologies and rules

DOI10.1007/978-3-030-95481-9_2MaRDI QIDQ6166577zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Reconciling description logics and rules
• On integrating rules into the semantic web
• Description logic rules
• Logic Programming
• Reconciling OWL and non-monotonic rules for the semantic web

Cites work

• A model building framework for answer set programming with external computations
• ASP-Core-2 input language format
• Combining answer set programming with description logics for the semantic web
• Concrete results on abstract rules
• Coupling tableau algorithms for expressive description logics with completion-based saturation procedures
• Description logics of minimal knowledge and negation as failure
• Experimenting with recursive queries in database and logic programming systems
• HermiT: an OWL 2 reasoner
• scientific article; zbMATH DE number 5914356 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 67490 (Why is no real title available?)
• scientific article; zbMATH DE number 1926616 (Why is no real title available?)
• scientific article; zbMATH DE number 783783 (Why is no real title available?)
• scientific article; zbMATH DE number 788036 (Why is no real title available?)
• scientific article; zbMATH DE number 6606365 (Why is no real title available?)
• LARS: a logic-based framework for analytic reasoning over streams
• Linking open-world knowledge bases using nonmonotonic rules
• Local closed world reasoning with description logics under the well-founded semantics
• Logic programming and knowledge representation
• Loop formulas for description logic programs
• NoHR: integrating XSB Prolog with the OWL 2 profiles and beyond
• On rules with existential variables: walking the decidability line
• On updates of hybrid knowledge bases composed of ontologies and rules
• Priorities on defaults with prerequisites, and their application in treating specificity in terminological default logic
• Query-driven procedures for hybrid MKNF knowledge bases
• Reactive multi-context systems: heterogeneous reasoning in dynamic environments
• Reconciling description logics and rules
• Reconciling OWL and non-monotonic rules for the semantic web
• Semantic characterization of rational closure: from propositional logic to description logics
• Splitting and updating hybrid knowledge bases
• Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity
• Tabled evaluation with delaying for general logic programs
• The ASP system DLV2
• The complexity of circumscription in DLs
• The Complexity of Conjunctive Query Answering in Expressive Description Logics
• The Description Logic Handbook
• The DL-Lite Family and Relations
• The DLV system for knowledge representation and reasoning
• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
• The well-founded semantics for general logic programs
• The<scp>dlvhex</scp>system for knowledge representation: recent advances (system description)
• Towards closed world reasoning in dynamic open worlds
• Well-founded semantics for description logic programs in the semantic web
• XSB: extending Prolog with tabled logic programming

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6166577)