Cover Image

Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services (Extended Version)

Fuente: arXiv

Saved in:

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

Similar Items

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)

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

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

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

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

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)

Planning with OWL-DL Ontologies (Extended Version)
by: John, Tobias, et al.
Published: (2024)

The Belief-Desire-Intention Ontology for modelling mental reality and agency
by: Zuppiroli, Sara, et al.
Published: (2025)

OM4OV: Leveraging Ontology Matching for Ontology Versioning
by: Qiang, Zhangcheng, et al.
Published: (2024)

Modelling Business Agreements in the Multimodal Transportation Domain through Ontological Smart Contracts
by: Scrocca, Mario, et al.
Published: (2022)

Open Ontologies: Tool-Augmented Ontology Engineering with Stable Matching Alignment
by: Rovai, Fabio
Published: (2026)

An Ontological Approach to Compliance Verification of the NIS 2 Directive
by: Castiglione, Gianpietro, et al.
Published: (2023)

ONTrust: A Reference Ontology of Trust
by: Amaral, Glenda, et al.
Published: (2026)

EPPC-OASIS: Ontology-Aware Adaptation and Structured Inference Refinement for Electronic Patient-Provider Communication Mining in Secure Messages
by: Fodeh, Samah, et al.
Published: (2026)

Integrating Ontology Design with the CRISP-DM in the context of Cyber-Physical Systems Maintenance
by: Gill, Milapji Singh, et al.
Published: (2024)

WiseOWL: A Methodology for Evaluating Ontological Descriptiveness and Semantic Correctness for Ontology Reuse and Ontology Recommendations
by: Dalal, Aryan Singh, et al.
Published: (2026)

Agent-OM: Leveraging LLM Agents for Ontology Matching
by: Qiang, Zhangcheng, et al.
Published: (2023)

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

The Semantic Training Gap: Ontology-Grounded Tool Architectures for Industrial AI Agent Systems
by: Chethan, Grama
Published: (2026)

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

Credentials in the Occupation Ontology
by: Beverley, John, et al.
Published: (2024)

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

Integration of Domain Expert-Centric Ontology Design into the CRISP-DM for Cyber-Physical Production Systems
by: Gill, Milapji Singh, et al.
Published: (2023)

The KnowWhereGraph Ontology
by: Shimizu, Cogan, et al.
Published: (2024)

Language Models as Ontology Encoders
by: Yang, Hui, et al.
Published: (2025)

Ontological Foundations of State Sovereignty
by: Beverley, John, et al.
Published: (2025)

Procedural Knowledge Ontology (PKO)
by: Carriero, Valentina Anita, et al.
Published: (2025)

A Hybrid AI Methodology for Generating Ontologies of Research Topics from Scientific Paper Corpora
by: Pisu, Alessia, et al.
Published: (2025)

The Ontological Neutrality Theorem: Why Neutral Ontological Substrates Must Be Pre-Causal and Pre-Normative
by: Case, Denise M.
Published: (2026)

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

An Ontology for Unified Modeling of Tasks, Actions, Environments, and Capabilities in Personal Service Robotics
by: Martorana, Margherita, et al.
Published: (2025)

Do LLMs Dream of Ontologies?
by: Bombieri, Marco, et al.
Published: (2024)

Quantum AGI: Ontological Foundations
by: Perrier, Elija, et al.
Published: (2025)

Ontology Population using LLMs
by: Norouzi, Sanaz Saki, et al.
Published: (2024)

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

Multi-Ontology Integration with Dual-Axis Propagation for Medical Concept Representation
by: Kerdabadi, Mohsen Nayebi, et al.
Published: (2025)

MIPO: Mutual Integration of Patient Journey and Medical Ontology for Healthcare Representation Learning
by: Peng, Xueping, et al.
Published: (2021)

Ontological Relations from Word Embeddings
by: d'Aquin, Mathieu, et al.
Published: (2024)

Towards a Cyber Information Ontology
by: Limbaugh, David, et al.
Published: (2024)