Cover Image

A set-theoretical approach for ABox reasoning services (Extended Version)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cantone, Domenico, Nicolosi-Asmundo, Marianna, Santamaria, Daniele Francesco
Format:	Preprint
Published:	2017
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A set-based reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
by: Cantone, Domenico, et al.
Published: (2018)

A C++ reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
by: Cantone, Domenico, et al.
Published: (2017)

An optimized KE-tableau-based system for reasoning in the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
by: Cantone, Domenico, et al.
Published: (2018)

The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version)
by: Cantale, Claudia, et al.
Published: (2017)

The Ontology for Agents, Systems and Integration of Services: OASIS version 2
by: Bella, Giampaolo, et al.
Published: (2023)

Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version)
by: Bella, Giampaolo, et al.
Published: (2021)

Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services (Extended Version)
by: Cantone, Domenico, et al.
Published: (2020)

A Proof-Theoretic View of Basic Intuitionistic Conditional Logic (Extended Version)
by: Dalmonte, Tiziano, et al.
Published: (2025)

Why not? Developing ABox Abduction beyond Repairs
by: Haak, Anselm, et al.
Published: (2025)

Can You Tell the Difference? Contrastive Explanations for ABox Entailments
by: Koopmann, Patrick, et al.
Published: (2025)

Decision algorithms for fragments of real analysis. II. A theory of differentiable functions with convexity and concavity predicates
by: Cantone, Domenico, et al.
Published: (2024)

Equational Reasoning Modulo Commutativity in Languages with Binders (Extended Version)
by: Caires-Santos, Ali K., et al.
Published: (2025)

A proof-theoretic approach to abstract interpretation
by: D'Silva, Vijay, et al.
Published: (2026)

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
by: Paulus, Joseph W. N., et al.
Published: (2021)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
by: Gheorghiu, Alexander V., et al.
Published: (2023)

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
by: Baldan, Paolo, et al.
Published: (2025)

Countability constraints in order-theoretic approaches to computability
by: Hack, Pedro, et al.
Published: (2022)

Monadic Intersection Types, Relationally (Extended Version)
by: Gavazzo, Francesco, et al.
Published: (2024)

A logic for default deontic reasoning
by: Piazza, Mario, et al.
Published: (2025)

A Hyperlogic for Strategies in Stochastic Games (Extended Version)
by: Gerlach, Lina, et al.
Published: (2025)

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)
by: Lööw, Andreas, et al.
Published: (2024)

A Framework for Coalgebraic Reward-Sensitive Bisimulation (Extended Version)
by: de Amorim, Pedro H. Azevedo, et al.
Published: (2026)

Practical Deductive Verification of OCaml Programs (Extended Version)
by: Pereira, Mário
Published: (2024)

Towards Proving Liveness on Weak Memory (Extended Version)
by: Bargmann, Lara, et al.
Published: (2026)

Satisfiability Modulo Extensional Constant Arrays (Extended Version)
by: Preiner, Mathias, et al.
Published: (2026)

Sharing and Linear Logic with Restricted Access (Extended Version)
by: Barenbaum, Pablo, et al.
Published: (2025)

First-Order LTLf Synthesis with Lookback (Extended Version)
by: Winkler, Sarah
Published: (2025)

Formulas as Processes, Deadlock-Freedom as Choreographies (Extended Version)
by: Acclavio, Matteo, et al.
Published: (2025)

Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
by: Kettmann, Pascal, et al.
Published: (2026)

Fitting Description Logic Ontologies to ABox and Query Examples
by: Funk, Maurice, et al.
Published: (2025)

When Natural Strategies Meet Fuzziness and Resource-Bounded Actions (Extended Version)
by: Aruta, Marco, et al.
Published: (2025)

Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
by: Gerlach, Lina, et al.
Published: (2025)

Certified Branch-and-Bound MaxSAT Solving (Extended Version)
by: Vandesande, Dieter, et al.
Published: (2025)

Partially Finite Model Reasoning in Description Logics Extended Version
by: Gogacz, Tomasz, et al.
Published: (2026)

Mechanized Undecidability of Higher-order beta-Matching (Extended Version)
by: Dudenhefner, Andrej
Published: (2026)

A Unified Automata-Theoretic Approach to LTLf Modulo Theories (Extended Version)
by: Faella, Marco, et al.
Published: (2024)

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
by: Alrabbaa, Christian, et al.
Published: (2025)

A General Automata Model for First-Order Temporal Logics (Extended Version)
by: Geatti, Luca, et al.
Published: (2024)

Static and Dynamic Verification of OCaml Programs: The Gospel Ecosystem (Extended Version)
by: Soares, Tiago Lopes, et al.
Published: (2024)

From Thin Concurrent Games to Generalized Species of Structures (Extended Version)
by: Clairambault, Pierre, et al.
Published: (2023)