research
∙
06/30/2023
A behaviouristic approach to representing processes and procedures in the OASIS 2 ontology
Foundational ontologies devoted to the effective representation of proce...
share
research
∙
06/30/2023
An ontological approach to compliance verification of the NIS 2 directive
Cybersecurity, which notoriously concerns both human and technological a...
research
∙
06/30/2023
An automated method for the ontological representation of security directives
Large documents written in juridical language are difficult to interpret...
research
∙
06/29/2023
Towards Grammatical Tagging for the Legal Language of Cybersecurity
Legal language can be understood as the language typically used by those...
research
∙
06/14/2023
The Ontology for Agents, Systems and Integration of Services: OASIS version 2
Semantic representation is a key enabler for several application domains...
research
∙
09/07/2021
Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version)
Blockchains are gaining momentum due to the interest of industries and p...
research
∙
12/02/2020
Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services
In this contribution we extend an ontology for modelling agents and thei...
research
∙
05/18/2018
A set-based reasoner for the description logic (Extended Version)
We present a -based implementation of a reasoner for a decidable fragmen...
research
∙
04/27/2018
An optimized KE-tableau-based system for reasoning in the description logic (Extended Version)
We present a -based procedure for the main TBox and ABox reasoning tasks...
research
∙
04/27/2018
An optimized KE-tableau-based system for reasoning in the description logic
We present a -based procedure for the main TBox and ABox reasoning tasks...
research
∙
09/08/2017
