16 citations · 68 across the 14 of their papers we have counts for
14 papers
An automated method for the ontological representation of security directives
Giampaolo Bella, Gianpietro Castiglione, Daniele Francesco Santamaria
Large documents written in juridical language are difficult to interpret, with long sentences leading to intricate and intertwined relations between the nouns. The present paper fr…
A behaviouristic approach to representing processes and procedures in the OASIS 2 ontology
Giampaolo Bella, Gianpietro Castiglione, Daniele Francesco Santamaria
Foundational ontologies devoted to the effective representation of processes and procedures are not widely investigated at present, thereby limiting the practical adoption of seman…
Towards Grammatical Tagging for the Legal Language of Cybersecurity
Gianpietro Castiglione, Giampaolo Bella, Daniele Francesco Santamaria
Legal language can be understood as the language typically used by those engaged in the legal profession and, as such, it may come both in spoken or written form. Recent legislatio…
An Ontological Approach to Compliance Verification of the NIS 2 Directive
Gianpietro Castiglione, Daniele Francesco Santamaria, Giampaolo Bella
Cybersecurity, which notoriously concerns both human and technological aspects, is becoming more and more regulated by a number of textual documents spanning several pages, such as…
The Ontology for Agents, Systems and Integration of Services: OASIS version 2
Giampaolo Bella, Domenico Cantone, Carmelo Fabio Longo +2
Semantic representation is a key enabler for several application domains, and the multi-agent systems realm makes no exception. Among the methods for semantically representing agen…
Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version)
Giampaolo Bella, Domenico Cantone, Cristiano Longo +2
Blockchains are gaining momentum due to the interest of industries and people in \emph{decentralized applications} (Dapps), particularly in those for trading assets through digital…
Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services (Extended Version)
Domenico Cantone, Carmelo Fabio Longo, Marianna Nicolosi-Asmundo +2
In this contribution we extend an ontology for modelling agents and their interactions, called Ontology for Agents, Systems, and Integration of Services (in short, OASIS), with con…
A set-based reasoner for the description logic (Extended Version)
Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria
We present a KE-tableau-based implementation of a reasoner for a decidable fragment of (stratified) set theory expressing the description logic $\mathcal{DL}\langle \mathsf{4LQS^{R…
An optimized KE-tableau-based system for reasoning in the description logic (Extended Version)
Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria
We present a KE-tableau-based procedure for the main TBox and ABox reasoning tasks for the description logic , in…
The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version)
Claudia Cantale, Domenico Cantone, Manuela Lupica Rinato +2
We present an OWL 2 ontology representing the Saint Gall plan, one of the most ancient documents arrived intact to us, which describes the ideal model of a Benedictine monastic com…
A C++ reasoner for the description logic (Extended Version)
Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria
We present an ongoing implementation of a KE-tableau based reasoner for a decidable fragment of stratified elementary set theory expressing the description logic $\mathcal{DL}\lang…
A set-theoretical approach for ABox reasoning services (Extended Version)
Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria
In this paper we consider the most common ABox reasoning services for the description logic ($\mathcal{DL}_{\mat…
Conjunctive Query Answering via a Fragment of Set Theory (Extended Version)
Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria
We address the problem of Conjunctive Query Answering (CQA) for the description logic $\dlssx$ ($\shdlssx$, for short) which extends the logic $\dlss$ with Boolean operations on co…
Web ontology representation and reasoning via fragments of set theory
Domenico Cantone, Cristiano Longo, Marianna Nicolosi-Asmundo +1
In this paper we use results from Computable Set Theory as a means to represent and reason about description logics and rule languages for the semantic web. Specifically, we introd…