SANTAMARIA, DANIELE FRANCESCO

SANTAMARIA, DANIELE FRANCESCO  

MATEMATICA E INFORMATICA  

Mostra records
Risultati 1 - 20 di 36 (tempo di esecuzione: 0.078 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 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 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 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
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
CoMOntology. Towards An Ontology for the Chronology of Mediterranean archaeologies: a model for the digital memory 1-gen-2023 Brancato, Rodolfo; Figuera, Marianna; Nicolosi-Asmundo, Marianna; Santamaria, DANIELE FRANCESCO; Venuti, Paola; Zappala, Giuseppe file da validare
Conjunctive Query Answering via a Fragment of Set Theory 1-gen-2016 Cantone, Domenico; NICOLOSI ASMUNDO, Marianna; Santamaria, D. F.
Distant reading through ontologies: The case study of catania's benedictines monastery 1-gen-2017 Cantale, Claudia; Cantone, Domenico; Nicolosi-asmundo, Marianna; Santamaria, Daniele Francesco
I Benedettini: un modello di riuso dei beni architettonici 1-gen-2017 Cantale, Claudia; Santamaria, DANIELE FRANCESCO file da validare