Picture for Domenico Cantone

Domenico Cantone

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

Add code
Jun 14, 2023
Viaarxiv icon

Complexity assessments for decidable fragments of Set Theory. III: A quadratic reduction of constraints over nested sets to Boolean formulae

Add code
Dec 09, 2021
Figure 1 for Complexity assessments for decidable fragments of Set Theory. III: A quadratic reduction of constraints over nested sets to Boolean formulae
Viaarxiv icon

Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version)

Add code
Sep 18, 2021
Figure 1 for Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version)
Figure 2 for Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version)
Figure 3 for Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version)
Figure 4 for Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version)
Viaarxiv icon

Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services

Add code
Dec 02, 2020
Figure 1 for Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services
Figure 2 for Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services
Figure 3 for Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services
Figure 4 for Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services
Viaarxiv icon

The Shape of a Benedictine Monastery: The SaintGall Ontology

Add code
Jun 29, 2018
Figure 1 for The Shape of a Benedictine Monastery: The SaintGall Ontology
Figure 2 for The Shape of a Benedictine Monastery: The SaintGall Ontology
Figure 3 for The Shape of a Benedictine Monastery: The SaintGall Ontology
Figure 4 for The Shape of a Benedictine Monastery: The SaintGall Ontology
Viaarxiv icon

An Experiment on the Connection between the DLs' Family DL<ForAllPiZero> and the Real World

Add code
Nov 23, 2012
Figure 1 for An Experiment on the Connection between the DLs' Family DL<ForAllPiZero> and the Real World
Figure 2 for An Experiment on the Connection between the DLs' Family DL<ForAllPiZero> and the Real World
Figure 3 for An Experiment on the Connection between the DLs' Family DL<ForAllPiZero> and the Real World
Viaarxiv icon