Daniele Francesco Santamaria

Gianpietro Castiglione

An Ontological Approach to Compliance Verification of the NIS 2 Directive.

[BibT_eX]

[DOI]

Gianpietro Castiglione

A tool to easing the configuration and deploying process of Hyperledger Fabric.

[BibT_eX]

[DOI]

Vincenzo Spinello

Proceedings of the Joint Proceedings of the BIR 2023 Workshops and Doctoral Consortium co-located with 22nd International Conference on Perspectives in Business Informatics Research (BIR 2023), 2023

Towards Grammatical Tagging for the Legal Language of Cybersecurity.

[BibT_eX]

[DOI]

Gianpietro Castiglione

Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023

2022

Towards ontological interoperability of cognitive IoT agents based on natural language processing.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2022

The ontology for agents, systems and integration of services: recent advancements of OASIS.

[BibT_eX]

[DOI]

Proceedings of the 23rd Workshop "From Objects to Agents", 2022

2021

An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4, ×.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2021

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

[BibT_eX]

[DOI]

Cristiano Longo

CoRR, 2021

The ideal Benedictine Monastery: From the Saint Gall map to ontologies.

[BibT_eX]

[DOI]

Claudia Cantale

Manuela Lupica Rinato

Maria Rosaria Stufano Melone

Appl. Ontology, 2021

SW-CASPAR: Reactive-Cognitive Architecture based on Natural Language Processing for the task of Decision-Making in the Open-World Assumption.

[BibT_eX]

[DOI]

Proceedings of the 22nd Workshop "From Objects to Agents", 2021

Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing XIV, 2021

Blockchains Through Ontologies: The Case Study of the Ethereum ERC721 Standard in oasis.

[BibT_eX]

[DOI]

Cristiano Longo

Proceedings of the Intelligent Distributed Computing XIV, 2021

Semantic Representation as a Key Enabler for Blockchain-Based Commerce.

[BibT_eX]

[DOI]

Cristiano Longo

Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2021

2020

A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟ℒD4, ×.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2020

2019

Towards an Ontology-Based Framework for a Behavior-Oriented Integration of the IoT.

[BibT_eX]

[DOI]

Proceedings of the 20th Workshop "From Objects to Agents", 2019

An Ontology for Legacy Data on Ancient Ceramics of the Plain of Catania.

[BibT_eX]

[DOI]

Roldolfo Brancato

Grazia Pagano

Salvatore Ucchino

Proceedings of the 34th Italian Conference on Computational Logic, 2019

Towards an ontology for investigating on archaeological Sicilian landscapes.

[BibT_eX]

[DOI]

Roldolfo Brancato

Grazia Pagano

Salvatore Ucchino

Proceedings of the First International Workshop on Open Data and Ontologies for Cultural Heritage co-located with the 31st International Conference on Advanced Information Systems Engineering, 2019

2018

A set-based reasoner for the description logic \shdlssx (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2018

An optimized KE-tableau-based system for reasoning in the description logic \shdlssx.

[BibT_eX]

[DOI]

CoRR, 2018

A Set-Based Reasoner for the Description Logic DL4, xD.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Sets and Tools co-located with the 6th International ABZ Conference, 2018

An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4, \!\times }$$.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

2017

A \textsf{C++} reasoner for the description logic $\shdlssx$.

[BibT_eX]

[DOI]

CoRR, 2017

A set-theoretical approach for ABox reasoning services (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2017

A Set-Theoretic Approach to ABox Reasoning Services.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - International Joint Conference, 2017

The Shape of a Benedictine Monastery: The SaintGall Ontology.

[BibT_eX]

[DOI]

Claudia Cantale

Manuela Lupica Rinato

Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, 2017

A C++ Reasoner for the Description Logic DL-4X(D).

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017

2016

Conjunctive Query Answering via a Fragment of Set Theory (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2016

An OWL Framework for Rule-based Recognition of Places in Italian Non-structured Text.

[BibT_eX]

[DOI]