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

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

Volltext

Semantic Representation as a Key Enabler for Blockchain-Based Commerce von Bella, Giampaolo, Cantone, Domenico, Longo, Cristiano, Nicolosi Asmundo, Marianna, Santamaria, Daniele Francesco

Volltext

A graphical representation of relational formulae with complementation von Cantone, Domenico, Formisano, Andrea, Asmundo, Marianna Nicolosi, Omodeo, Eugenio Giovanni

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

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

Volltext

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

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

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 Further and Effective Liberalization of the δ-Rule in Free Variable Semantic Tableaux von Cantone, Domenico, Asmundo, Marianna Nicolosi

Volltext

Web Ontology Representation and Reasoning via Fragments of Set Theory von Cantone, Domenico, Longo, Cristiano, 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

A Sound Framework for δ-Rule Variants in Free-Variable Semantic Tableaux von Cantone, Domenico, Nicolosi-Asmundo, Marianna

Volltext

A Sound Framework for [delta]-Rule Variants in Free-Variable Semantic Tableaux von Cantone, Domenico, Nicolosi-asmundo, Marianna

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