Enhancing context knowledge repositories with justifiable exceptions

DOI10.1016/j.artint.2017.12.005zbMath1444.68196OpenAlexW2781875486MaRDI QIDQ1749389

Loris Bozzato, Luciano Serafini, Thomas Eiter

Publication date: 16 May 2018

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2017.12.005

zbMATH Keywords

datalogknowledge representationdescription logicsdefeasible knowledgecontextual reasoning

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (7)

Reasoning on with Defeasibility in ASP ⋮ Implementation of choice of jurisdiction and law in private international law by PROLEG meta-interpreter ⋮ An ASP approach for reasoning in a concept-aware multipreferential lightweight DL ⋮ Contextual rational closure for defeasible \(\mathcal{ALC} \) ⋮ A reconstruction of multipreference closure ⋮ Reasoning about Exceptions in Ontologies: from the Lexicographic Closure to the Skeptical Closure ⋮ Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures

Uses Software

• DReW

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A non-monotonic description logic for reasoning about typicality
• Semantic characterization of rational closure: from propositional logic to description logics
• Circumscribing DATALOG: expressive power and complexity
• Circumscription - a form of non-monotonic reasoning
• Multilanguage hierarchical logics, or: How we can do without modal logics
• Combining answer set programming with description logics for the semantic web
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• Logics in artificial intelligence. 12th European conference, JELIA 2010, Helsinki, Finland, September 13--15, 2010. Proceedings
• Introducing Role Defeasibility in Description Logics
• Annotated RDF
• Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics
• Relational Information Exchange and Aggregation in Multi-Context Systems
• Reconciling description logics and rules
• Complete Problems Involving Boolean Labelled Structures and Projection Transactions
• Disjunctive logic programs with inheritance
• Rational Closure for Defeasible Description Logics
• Efficient Inferencing for OWL EL
• Scalable Reasoning by Abstraction Beyond DL-Lite
• Local Models Semantics, or contextual reasoning = locality + compatibility

This page was built for publication: Enhancing context knowledge repositories with justifiable exceptions