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

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

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

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-theoretical approach for ABox reasoning services (Extended Version) von Cantone, Domenico, Nicolosi-Asmundo, Marianna, Santamaria, Daniele Francesco

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 Set-Theoretic Approach to ABox Reasoning Services von Cantone, Domenico, Nicolosi-Asmundo, Marianna, Santamaria, Daniele Francesco

Volltext

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 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

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

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

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

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

On the satisfiability problem for a 3-level quantified syllogistic von Cantone, Domenico, Asmundo, Marianna Nicolosi

Volltext bestellen