Buchumschlag

Queries With Exact Truth Values in Paraconsistent Description Logics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bienvenu, Meghyn, Bourgaux, Camille, Kozhemiachenko, Daniil
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Artificial Intelligence Databases Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2022)

Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2020)

Abductive Reasoning in a Paraconsistent Framework
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

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

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Inconsistency Handling in DatalogMTL
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2025)

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

Using ASP(Q) to Handle Inconsistent Prioritized Data
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2026)

Semiring Provenance for Lightweight Description Logics
von: Bourgaux, Camille, et al.
Veröffentlicht: (2023)

Paraconsistent Constructive Modal Logic
von: Gao, Han, et al.
Veröffentlicht: (2025)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
von: Bourgaux, Camille, et al.
Veröffentlicht: (2025)

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

Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
von: Kozhemiachenko, Daniil
Veröffentlicht: (2024)

Database Querying under Missing Values Governed by Missingness Mechanisms
von: Bertossi, Leopoldo, et al.
Veröffentlicht: (2026)

Modal Logic for Reasoning About Uncertainty and Confusion
von: Bílková, Marta, et al.
Veröffentlicht: (2025)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
von: Feller, Thomas, et al.
Veröffentlicht: (2023)

Complexity of Abduction in Łukasiewicz Logic
von: Inoue, Katsumi, et al.
Veröffentlicht: (2025)

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

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
von: Kozhemiachenko, Daniil, et al.
Veröffentlicht: (2026)

Query Languages for Machine-Learning Models
von: Grohe, Martin
Veröffentlicht: (2026)

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version)
von: Seifer, Philipp, et al.
Veröffentlicht: (2024)

Probabilistic Abduction in a Fuzzy Logic Framework
von: Flaminio, Tommaso, et al.
Veröffentlicht: (2026)

Knowledge Base Embeddings: Semantics and Theoretical Properties
von: Bourgaux, Camille, et al.
Veröffentlicht: (2024)

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
von: Zese, Riccardo, et al.
Veröffentlicht: (2023)

Learning Aggregate Queries Defined by First-Order Logic with Counting
von: van Bergerem, Steffen, et al.
Veröffentlicht: (2024)

Complexity of Łukasiewicz Modal Probabilistic Logics
von: Kozhemiachenko, Daniil, et al.
Veröffentlicht: (2025)

Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation
von: Maluszynski, Jan, et al.
Veröffentlicht: (2010)

Paraconsistent-Lib: an intuitive PAL2v algorithm Python Library
von: Junior, Arnaldo de Carvalho, et al.
Veröffentlicht: (2025)

Rethinking Complex Queries on Knowledge Graphs with Neural Link Predictors
von: Yin, Hang, et al.
Veröffentlicht: (2023)

A Comprehensive Tutorial on over 100 Years of Diagrammatic Representations of Logical Statements and Relational Queries
von: Gatterbauer, Wolfgang
Veröffentlicht: (2024)

Generating $SROI^-$ Ontologies via Knowledge Graph Query Embedding Learning
von: He, Yunjie, et al.
Veröffentlicht: (2024)

The Common Core Ontologies
von: Jensen, Mark, et al.
Veröffentlicht: (2024)

A semantic approach to mapping the Provenance Ontology to Basic Formal Ontology
von: Prudhomme, Tim, et al.
Veröffentlicht: (2024)

Middle Architecture Criteria
von: Beverley, John, et al.
Veröffentlicht: (2024)

A Horn extension of DL-Lite with NL data complexity
von: Arpasi, Janos, et al.
Veröffentlicht: (2026)

Reconciling Consistency-Based Diagnosis with Actual-Causality-Based Explanations
von: Bertossi, Leopoldo
Veröffentlicht: (2026)

Recursive querying of neural networks via weighted structures
von: Grohe, Martin, et al.
Veröffentlicht: (2026)

Spectra of Cardinality Queries over Description Logic Knowledge Bases
von: Manière, Quentin, et al.
Veröffentlicht: (2024)

Dynamic Logic of Trust-Based Beliefs
von: Jiang, Junli, et al.
Veröffentlicht: (2025)

Dialogue-based Explanations for Logical Reasoning using Structured Argumentation
von: Ho, Loan, et al.
Veröffentlicht: (2025)