A behaviouristic semantic approach to blockchain-based e-commerce von Bella, Giampaolo, Cantone, Domenico, Castiglione, Gianpietro, Nicolosi Asmundo, Marianna, Santamaria, Daniele Francesco

Volltext

Distant Reading Through Ontologies : The Case Study of Catania's Benedictines Monastery von Cantale, Claudia, Santamaria, Daniele Francesco, Nicolosi-Asmundo, Marianna, Cantone, Domenico

Volltext

Blockchains Through Ontologies: The Case Study of the Ethereum ERC721 Standard in OASIS von Bella, Giampaolo, Cantone, Domenico, Longo, Cristiano, Nicolosi Asmundo, Marianna, Santamaria, Daniele Francesco

Volltext

Consistent integration for Sequential Abstract State Machines von NICOLOSI ASMUNDO, Marianna, RICCOBENE, Elvinia

Volltext

Editorial: Special Issue on Semantic Web and Ontology Design for Cultural Heritage von Bikakis, Antonis, Ferrario, Roberta, Jean, Stéphane, Markhoff, Béatrice, Mosca, Alessandro, Asmundo, Marianna Nicolosi

Volltext

Distant Reading Through Ontologies: The Case Study of Catania’s Benedictines Monastery von Claudia Cantale, Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria

Volltext

Distant Reading Through Ontologies: The Case Study of Catania’s Benedictines Monastery von Claudia Cantale, Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Santamaria

Volltext

A Set-Theoretic Approach to ABox Reasoning Services von Cantone, Domenico, Nicolosi-Asmundo, Marianna, Santamaria, Daniele Francesco

Volltext

A set-theoretical approach for ABox reasoning services (Extended Version) von Cantone, Domenico, Nicolosi-Asmundo, Marianna, Santamaria, Daniele Francesco

Volltext

The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations von Cantone, Domenico, Nicolosi-Asmundo, Marianna

Volltext

A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics von Cantone, Domenico, Golińska-Pilarek, Joanna, Nicolosi-Asmundo, Marianna

Volltext

Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version) von Bella, Giampaolo, Cantone, Domenico, Longo, Cristiano, Nicolosi-Asmundo, Marianna, Santamaria, Daniele Francesco

Volltext

Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services (Extended Version) von Cantone, Domenico, Longo, Carmelo Fabio, Nicolosi-Asmundo, Marianna, Santamaria, Daniele Francesco, Santoro, Corrado

Volltext

A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version) von Cantone, Domenico, Nicolosi-Asmundo, Marianna, Orłowska, Ewa

Volltext bestellen

The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations von Cantone, Domenico, Nicolosi-Asmundo, Marianna

Volltext bestellen

Editorial: Special Issue on SemanticWeb and Ontology Design for Cultural Heritage von Bikakis, Antonis, Ferrario, Roberta, Jean, Stephane, Markhoff, Beatrice, Mosca, Alessandro, Asmundo, Marianna Nicolosi

Volltext bestellen

The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version) von Cantale, Claudia, Cantone, Domenico, Manuela Lupica Rinato, Nicolosi-Asmundo, Marianna, Santamaria, Daniele Francesco

Volltext

An optimized KE-tableau-based system for reasoning in the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version) von Cantone, Domenico, Nicolosi-Asmundo, Marianna, Santamaria, Daniele Francesco

Volltext bestellen

A C++ reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version) von Cantone, Domenico, Nicolosi-Asmundo, Marianna, Santamaria, Daniele Francesco

Volltext bestellen

A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version) von Cantone, Domenico, Nicolosi-Asmundo, Marianna, Orłowska, Ewa

Volltext