IRIS

SANTAMARIA, DANIELE FRANCESCO

SANTAMARIA, DANIELE FRANCESCO  

MATEMATICA E INFORMATICA  

Mostra records
Risultati 1 - 20 di 44 (tempo di esecuzione: 0.035 secondi).
Titolo Data di pubblicazione Autore(i) File
A Behaviouristic Approach to Representing Processes and Procedures in the OASIS 2 Ontology 1-gen-2023 Bella, G.; Castiglione, G.; Santamaria, D. F.
A behaviouristic semantic approach to blockchain-based e-commerce 1-gen-2024 Bella, Giampaolo; Cantone, Domenico; Castiglione, Gianpietro; Nicolosi Asmundo, Marianna; Santamaria, Daniele Francesco file da validare
A C++ reasoner for the description logic DL4;× D? 1-gen-2017 Cantone, Domenico; Nicolosi-asmundo, Marianna; Santamaria, Daniele Francesco
A framework for cognitive chatbots based on abductive–deductive inference 1-gen-2023 Longo, C. F.; Riela, P. M.; Santamaria, D. F.; Santoro, C.; Lieto, A.
A meta-ontological approach to securing the semantic web data 1-gen-2024 Bella, G.; Cantone, D.; Castiglione, G.; Nicolosi-Asmundo, M.; Santamaria, D. F. file da validare
A Set-Based Reasoner for the Description Logic DL4, xD 1-gen-2018 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Santamaria, DANIELE FRANCESCO file da validare
A set-theoretic approach to ABox reasoning services 1-gen-2017 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Santamaria, DANIELE FRANCESCO
A Set-theoretic Approach to Reasoning Services for the Description Logic ; D 4,× 1-gen-2020 Cantone, D.; Nicolosi Asmundo, M.; Santamaria, D. F.
A tool to easing the configuration and deploying process of Hyperledger Fabric 1-gen-2023 Cantone, D.; Santamaria, D. F.; Spinello, V.
An Automated Method for the Ontological Representation of Security Directives 1-gen-2023 Bella, G.; Castiglione, G.; Santamaria, D. F.
An EPIDOC ontological perspective: The epigraphs of the Castello Ursino Civic museum of Catania via CIDOC CRM 1-gen-2019 Cantone, D.; Cristofaro, S.; Nicolosi Asmundo, M.; Prado, F.; Santamaria, D. F.; Spampinato, D.
An Improved Set-based Reasoner for the Description Logic 4,× 1-gen-2021 Cantone, D.; Nicolosi-Asmundo, M.; Santamaria, D. F. file da validare
An Ontological Approach to Compliance Verification of the NIS 2 Directive 1-gen-2023 Bella, G.; Castiglione, G.; Santamaria, D. F.
An ontology for ceramics cataloguing 1-gen-2015 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Santamaria, D. F.; Trapani, F. file da validare
An ontology for legacy data on ancient ceramics of the plain of Catania 1-gen-2019 Brancato, Rodolfo; Nicolosi-Asmundo, M.; Pagano, G.; Santamaria, D. F.; Ucchino, S. file da validare
An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4, \!\times }$$ 1-gen-2018 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Santamaria, DANIELE FRANCESCO file da validare
An OWL framework for rule-based recognition of places in Italian non-structured text 1-gen-2016 Cantone, Domenico; Fornaia, ANDREA FRANCESCO; NICOLOSI ASMUNDO, Marianna; Santamaria, DANIELE FRANCESCO; Tramontana, EMILIANO ALESSIO
An OWL Ontology for Linguistic Phenomena with Applications to Gallo-Italic Dialects in Sicily 1-gen-2024 Cantone, D.; Di Caro, V. N.; Longo, C.; Menza, S.; Asmundo, M. N.; Santamaria, D. F.
Automated Reasoning via a Multi-sorted Fragment of Computable Set Theory with Applications to Semantic Web 14-nov-2018 Santamaria, DANIELE FRANCESCO
Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS 1-gen-2022 Bella, Giampaolo; Cantone, Domenico; Longo, Cristiano; NICOLOSI ASMUNDO, Marianna; Santamaria, DANIELE FRANCESCO file da validare