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...
share
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
∙
02/21/2018
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version)
We present a first result towards the use of entailment in- side relatio...
research
∙
09/08/2017
