Buchumschlag

Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Qureshi, Haya Majid, Faber, Wolfgang
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
von: Qureshi, Haya Majid, et al.
Veröffentlicht: (2025)

Fuzzy Datalog$^\exists$ over Arbitrary t-Norms
von: Lanzinger, Matthias, et al.
Veröffentlicht: (2024)

Large Language Model for OWL Proofs
von: Yang, Hui, et al.
Veröffentlicht: (2026)

On the Boolean Network Theory of Datalog$^\neg$
von: Trinh, Van-Giang, et al.
Veröffentlicht: (2025)

Capability Safety as Datalog: A Foundational Equivalence
von: Spera, Cosimo
Veröffentlicht: (2026)

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

Incremental, inconsistency-resilient reasoning over Description Logic Abox streams
von: Proost, Cas, et al.
Veröffentlicht: (2026)

VEL: A Formally Verified Reasoner for OWL2 EL Profile
von: Ileri, Atalay Mert, et al.
Veröffentlicht: (2024)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)
von: Artale, Alessandro, et al.
Veröffentlicht: (2025)

Efficient Temporal Datalog Materialisation for Composite Event Recognition
von: Mantenoglou, Periklis
Veröffentlicht: (2026)

Delta1 with LLM: symbolic and neural integration for credible and explainable reasoning
von: Xu, Yang, et al.
Veröffentlicht: (2026)

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis
von: Averkov, Daniil, et al.
Veröffentlicht: (2024)

Investigations into Proof Structures
von: Wernhard, Christoph, et al.
Veröffentlicht: (2023)

Practical Reasoning in DatalogMTL
von: Wang, Dingmin, et al.
Veröffentlicht: (2024)

A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
von: Itoh, Kei
Veröffentlicht: (2025)

FALCON: Scalable Reasoning over Inconsistent ALC Ontologies
von: Hinnerichs, Tilman, et al.
Veröffentlicht: (2022)

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts
von: Xiao, Shengping, et al.
Veröffentlicht: (2024)

Information Science Principles of Machine Learning: A Causal Chain Meta-Framework Based on Formalized Information Mapping
von: Xu, Jianfeng
Veröffentlicht: (2025)

Lemmas: Generation, Selection, Application
von: Rawson, Michael, et al.
Veröffentlicht: (2023)

ReAct! An Interactive Tool for Hybrid Planning in Robotics
von: Dogmus, Zeynep, et al.
Veröffentlicht: (2013)

Evaluation and Comparison Semantics for ODRL
von: Salas, Jaime Osvaldo, et al.
Veröffentlicht: (2025)

Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts
von: Marković, Đorđe, et al.
Veröffentlicht: (2025)

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

Similarity-based analogical proportions
von: Antić, Christian
Veröffentlicht: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
von: Bloch, Isabelle, et al.
Veröffentlicht: (2025)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
von: Joyce, Johnny
Veröffentlicht: (2025)

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

The logic of KM belief update is contained in the logic of AGM belief revision
von: Bonanno, Giacomo
Veröffentlicht: (2026)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
von: Xu, Yang, et al.
Veröffentlicht: (2025)

An Axiomatic Study of the Evaluation of Enthymeme Decoding in Weighted Structured Argumentation
von: Ben-Naim, Jonathan, et al.
Veröffentlicht: (2024)

Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation
von: Danso, Priscilla Kyei, et al.
Veröffentlicht: (2026)

Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles
von: Davis, Liam, et al.
Veröffentlicht: (2025)

Explaining Bayesian Networks in Natural Language using Factor Arguments. Evaluation in the medical domain
von: Sevilla, Jaime, et al.
Veröffentlicht: (2024)

Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
von: Rehan, Zainab, et al.
Veröffentlicht: (2026)

s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs
von: Rao, Balaji, et al.
Veröffentlicht: (2026)

Fixpoint Semantics for DatalogMTL with Negation
von: Pollaci, Samuele
Veröffentlicht: (2026)

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

SAT Encoding of Partial Ordering Models for Graph Coloring Problems
von: Faber, Daniel, et al.
Veröffentlicht: (2024)

Data2Concept2Text: An Explainable Multilingual Framework for Data Analysis Narration
von: Bertini, Flavio, et al.
Veröffentlicht: (2025)

Queries With Exact Truth Values in Paraconsistent Description Logics
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)