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

Documents similaires

• The Ontology for Agents, Systems and Integration of Services: OASIS version 2
  par: Bella, Giampaolo, et autres
  Publié: (2023)
• Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services (Extended Version)
  par: Cantone, Domenico, et autres
  Publié: (2020)
• A set-theoretical approach for ABox reasoning services (Extended Version)
  par: Cantone, Domenico, et autres
  Publié: (2017)
• A C++ reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
  par: Cantone, Domenico, et autres
  Publié: (2017)
• A set-based reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
  par: Cantone, Domenico, et autres
  Publié: (2018)