Cover Image

Inconsistency Handling in DatalogMTL

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bienvenu, Meghyn, Bourgaux, Camille, Khodadaditaghanaki, Atefe
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Artificial Intelligence Databases
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints
by: Bienvenu, Meghyn, et al.
Published: (2023)

Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
by: Bienvenu, Meghyn, et al.
Published: (2022)

Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
by: Bienvenu, Meghyn, et al.
Published: (2020)

Using ASP(Q) to Handle Inconsistent Prioritized Data
by: Bienvenu, Meghyn, et al.
Published: (2026)

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases
by: Bienvenu, Meghyn, et al.
Published: (2024)

Queries With Exact Truth Values in Paraconsistent Description Logics
by: Bienvenu, Meghyn, et al.
Published: (2024)

A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
by: Bienvenu, Meghyn, et al.
Published: (2025)

Fixpoint Semantics for DatalogMTL with Negation
by: Pollaci, Samuele
Published: (2026)

Practical Reasoning in DatalogMTL
by: Wang, Dingmin, et al.
Published: (2024)

Semiring Provenance for Lightweight Description Logics
by: Bourgaux, Camille, et al.
Published: (2023)

Abductive Reasoning in a Paraconsistent Framework
by: Bienvenu, Meghyn, et al.
Published: (2024)

Efficient Temporal Datalog Materialisation for Composite Event Recognition
by: Mantenoglou, Periklis
Published: (2026)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
by: Bourgaux, Camille, et al.
Published: (2025)

Incremental Maintenance of DatalogMTL Materialisations
by: Zhao, Kaiyue, et al.
Published: (2025)

Knowledge Base Embeddings: Semantics and Theoretical Properties
by: Bourgaux, Camille, et al.
Published: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
by: Lyon, Tim S., et al.
Published: (2024)

Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
by: Hanisch, Philipp, et al.
Published: (2026)

Goal-Driven Reasoning in DatalogMTL with Magic Sets
by: Wang, Shaoyu, et al.
Published: (2024)

A Variable Occurrence-Centric Framework for Inconsistency Handling (Extended Version)
by: Salhi, Yakoub
Published: (2024)

On the Boolean Network Theory of Datalog$^\neg$
by: Trinh, Van-Giang, et al.
Published: (2025)

Fuzzy Datalog$^\exists$ over Arbitrary t-Norms
by: Lanzinger, Matthias, et al.
Published: (2024)

Capability Safety as Datalog: A Foundational Equivalence
by: Spera, Cosimo
Published: (2026)

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version)
by: Seifer, Philipp, et al.
Published: (2024)

Database Querying under Missing Values Governed by Missingness Mechanisms
by: Bertossi, Leopoldo, et al.
Published: (2026)

The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules
by: Ostropolski-Nalewaja, Piotr, et al.
Published: (2024)

A Horn extension of DL-Lite with NL data complexity
by: Arpasi, Janos, et al.
Published: (2026)

Reconciling Consistency-Based Diagnosis with Actual-Causality-Based Explanations
by: Bertossi, Leopoldo
Published: (2026)

The Common Core Ontologies
by: Jensen, Mark, et al.
Published: (2024)

Query Languages for Machine-Learning Models
by: Grohe, Martin
Published: (2026)

A semantic approach to mapping the Provenance Ontology to Basic Formal Ontology
by: Prudhomme, Tim, et al.
Published: (2024)

Recursive querying of neural networks via weighted structures
by: Grohe, Martin, et al.
Published: (2026)

Middle Architecture Criteria
by: Beverley, John, et al.
Published: (2024)

The Power of Negation in Higher-Order Datalog
by: Charalambidis, Angelos, et al.
Published: (2025)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
by: Feller, Thomas, et al.
Published: (2023)

Using ASP(Q) to Handle Inconsistent Prioritized Data
by: Bienvenu, Meghyn, et al.
Published: (2026)

Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL
by: Qureshi, Haya Majid, et al.
Published: (2024)

Dung's Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases
by: Mahmood, Yasir, et al.
Published: (2024)

Shapley Revisited: Tractable Responsibility Measures for Query Answers
by: Bienvenu, Meghyn, et al.
Published: (2025)

How Hard is it to Decide if a Fact is Relevant to a Query?
by: Bienvenu, Meghyn, et al.
Published: (2026)

Shapley Value Computation in Ontology-Mediated Query Answering
by: Bienvenu, Meghyn, et al.
Published: (2024)