An argumentative approach for handling inconsistency in prioritized Datalog ± ontologies

DOI10.3233/AIC-220087zbMath1503.68257OpenAlexW4285801063MaRDI QIDQ5054970

Somjit Arch-Int, Loan Ho, Ngamnij Arch-Int, Stefan Schlobach, Erman Acar

Publication date: 12 December 2022

Published in: AI Communications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/aic-220087

zbMATH Keywords

preferencesinconsistencyargumentationprioritized knowledge basesDatalog\(^\pm\)

Mathematics Subject Classification ID

Knowledge representation (68T30)

Uses Software

• DBpedia

Cites Work

• Unnamed Item
• Postulates for logic-based argumentation systems
• On rules with existential variables: walking the decidability line
• Reasoning about preferences in argumentation frameworks
• On the evaluation of argumentation formalisms
• Logic-based argumentation with existential rules
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• A review of the relations between logical argumentation and reasoning with maximal consistency
• Elect: an inconsistency handling approach for partially preordered lightweight ontologies
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• Computing and Explaining Query Answers over Inconsistent DL-Lite Knowledge Bases
• The complexity of logic-based abduction
• On the Chase for All Provenance Paths with Existential Rules
• On the Semantics of Partially Ordered Bases
• Linking Data to Ontologies
• A logic-based theory of deductive arguments

This page was built for publication: An argumentative approach for handling inconsistency in prioritized Datalog ± ontologies