15 citations · 35 across the 12 of their papers we have counts for
12 papers
Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version)
Giampaolo Bella, Domenico Cantone, Cristiano Longo +2
Blockchains are gaining momentum due to the interest of industries and people in \emph{decentralized applications} (Dapps), particularly in those for trading assets through digital…
Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services (Extended Version)
Domenico Cantone, Carmelo Fabio Longo, Marianna Nicolosi-Asmundo +2
In this contribution we extend an ontology for modelling agents and their interactions, called Ontology for Agents, Systems, and Integration of Services (in short, OASIS), with con…
A set-based reasoner for the description logic (Extended Version)
Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria
We present a KE-tableau-based implementation of a reasoner for a decidable fragment of (stratified) set theory expressing the description logic $\mathcal{DL}\langle \mathsf{4LQS^{R…
An optimized KE-tableau-based system for reasoning in the description logic (Extended Version)
Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria
We present a KE-tableau-based procedure for the main TBox and ABox reasoning tasks for the description logic , in…
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version)
Domenico Cantone, Marianna Nicolosi-Asmundo, Ewa Orłowska
We present a first result towards the use of entailment in- side relational dual tableau-based decision procedures. To this end, we introduce a fragment of RL(1) which admits a res…
The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version)
Claudia Cantale, Domenico Cantone, Manuela Lupica Rinato +2
We present an OWL 2 ontology representing the Saint Gall plan, one of the most ancient documents arrived intact to us, which describes the ideal model of a Benedictine monastic com…