We consider fragments of the relational logic RL(1) obtained by posing various constraints on the relational terms involving the operator of composition of relations. These fragments allow to express several non classical logics including modal and description logics. We show how relational dual tableaux can be employed to provide decision procedures for each of them.

Decentralised ledgers are gaining momentum following the interest of industries and people in smart contracts. Major attention is paid to blockchain applications intended for trading assets that exploit digital cryptographic certificates called tokens. Particularly relevant tokens are the non-fungible tokens (NFTs), namely, unique and non-replicable tokens used to represent the cryptographic counterpart of assets ranging from pieces of art through to licenses and certifications. A relevant consequence of the hard-coded nature of blockchains is the hardness of probing, in particular when (...) advanced searchers involving the capabilities of the smart contracts or the assets digitised by NFTs are required. For this purpose, a formal representation for the operational semantics of smart contracts and of tokens has become particularly urgent, especially in economy and finance, where blockchains become increasingly relevant. Hence, we feel the need to tailor Semantic Web technologies to achieve that semantic representation at least for NFTS. This article reports on an ontology that leverages the Ontology for Agents, Systems, and Integration of Services (“OASIS”) towards the semantic representation of smart contracts responsible for managing ERC721-compliant NFTs and running on the Ethereum blockchain. Called Ether-OASIS, the proposed ontology adopts OASIS and tailors its behaviouristic approach to the Ethereum blockchain by conceiving smart contracts as agents running on the blockchain and, consequently, smart contract interactions as agent commitments. Smart contracts are represented in terms of their actions, purposes and tokens that they manage, thus realising a blockchain that is more usable both by users and automated applications. The ontology is evaluated using standard ontological metrics and applied on a case study concerning the minting and transferring of NFTs that digitise batches of wheat. (shrink)

We present an OWL 2 ontology, called SaintGall, representing the Saint Gall plan, one of the most ancient documents arrived intact to us. The Saint Gall plan describes the ideal model of a Benedictine monastic complex that inspired the design of many European monasteries. The structural, functional, and architectural specification of an ideal Benedectine monastery is modeled by the SaintGall ontology, which allows one to analyse and model the Monastery architectural type. This work started with the purpose of relating Catania’s (...) San Nicolò l’Arena Benedectine Monastery with the abstract notion of Benedectine monastery, in the ambit of an ontological model based on the renovation works carried out by the architect Giancarlo De Carlo and developed by the same authors. The SaintGall ontology opens a research path aiming at comparing different monastic architectures that can be useful in any intervention of refurbishment or design for a monastery. (shrink)