10 citations · 17 across the 3 of their papers we have counts for
3 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…
Web ontology representation and reasoning via fragments of set theory
Domenico Cantone, Cristiano Longo, Marianna Nicolosi-Asmundo +1
In this paper we use results from Computable Set Theory as a means to represent and reason about description logics and rule languages for the semantic web. Specifically, we introd…
A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions
Domenico Cantone, Cristiano Longo
In this paper we address the decision problem for a fragment of set theory with restricted quantification which extends the language studied in [4] with pair related quantifiers an…