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

Ähnliche Einträge

• Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services (Extended Version)
  von: Cantone, Domenico, et al.
  Veröffentlicht: (2020)
• The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version)
  von: Cantale, Claudia, et al.
  Veröffentlicht: (2017)
• Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version)
  von: Bella, Giampaolo, et al.
  Veröffentlicht: (2021)
• A C++ reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
  von: Cantone, Domenico, et al.
  Veröffentlicht: (2017)
• An optimized KE-tableau-based system for reasoning in the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
  von: Cantone, Domenico, et al.
  Veröffentlicht: (2018)