Cover Image

The Ontology for Agents, Systems and Integration of Services: OASIS version 2

Fuente: arXiv

Saved in:

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

Similar Items

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

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

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

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)

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

A set-theoretical approach for ABox reasoning services (Extended Version)
by: Cantone, Domenico, et al.
Published: (2017)

Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version
by: Li, Ying, et al.
Published: (2024)

Capabilities: An Ontology
by: Beverley, John, et al.
Published: (2024)

Commonsense Ontology Micropatterns
by: Eells, Andrew, et al.
Published: (2024)

Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
by: D'Asaro, Fabio Aurelio, et al.
Published: (2022)

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

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

SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques
by: Oudshoorn, Anouk, et al.
Published: (2025)

FALCON: Scalable Reasoning over Inconsistent ALC Ontologies
by: Hinnerichs, Tilman, et al.
Published: (2022)

Enriching Ontologies with Disjointness Axioms using Large Language Models
by: Crum, Elias, et al.
Published: (2024)

Substrate Stability Under Persistent Disagreement: Structural Constraints for Neutral Ontological Substrates
by: Case, Denise M.
Published: (2026)

Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
by: Bizzaro, Davide, et al.
Published: (2025)

Natural Strategic Ability in Stochastic Multi-Agent Systems
by: Berthon, Raphaël, et al.
Published: (2024)

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
by: de Lima, Tiago, et al.
Published: (2024)

Operator-based semantics for choice programs: is choosing losing? (full version)
by: Heyninck, Jesse
Published: (2024)

From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses
by: Vitali, Fabio
Published: (2025)

An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation (full version)
by: Heyninck, Jesse
Published: (2024)

An automated method for the ontological representation of security directives
by: Bella, Giampaolo, et al.
Published: (2023)

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
by: Spaans, Jeroen, et al.
Published: (2025)

Direct Encoding of Declare Constraints in ASP
by: Chiariello, Francesco, et al.
Published: (2024)

Data2Concept2Text: An Explainable Multilingual Framework for Data Analysis Narration
by: Bertini, Flavio, et al.
Published: (2025)

A framework for Conditional Reasoning in Answer Set Programming
by: Alviano, Mario, et al.
Published: (2025)

Subject-Event Ontology Without Global Time: Foundations and Execution Semantics
by: Boldachev, Alexander
Published: (2025)

Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study
by: Wang, Keyu, et al.
Published: (2024)

A Fourfold Pathogen Reference Ontology Suite
by: Babcock, Shane, et al.
Published: (2024)

Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback
by: Meli, Daniele, et al.
Published: (2025)

Long-term Power Grid Planning via Answer Set Programming
by: Ielo, Antonio, et al.
Published: (2026)

Ontology for Policing: Conceptual Knowledge Learning for Semantic Understanding and Reasoning in Law Enforcement Reports
by: Srbinovska, Anita, et al.
Published: (2026)

Integrating Belief Domains into Probabilistic Logic Programs
by: Azzolini, Damiano, et al.
Published: (2025)

Ontological foundations for contrastive explanatory narration of robot plans
by: Olivares-Alarcos, Alberto, et al.
Published: (2025)

Increasing the LLM Accuracy for Question Answering: Ontologies to the Rescue!
by: Allemang, Dean, et al.
Published: (2024)

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
by: Bartholomew, Michael, et al.
Published: (2025)

A Translation of Probabilistic Event Calculus into Markov Decision Processes
by: Xu, Lyris, 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)