Marianna Nicolosi Asmundo
YOU?
Author Swipe
View article: Conceiving Elements of Divinity: The Use of the Semantic Web for the Definition of Material Religiosity in the Levant During the Second Millennium BCE
Conceiving Elements of Divinity: The Use of the Semantic Web for the Definition of Material Religiosity in the Levant During the Second Millennium BCE Open
Research on how forms of religiosity are produced through the interaction of local, exogenous, and hybrid elements is fundamental for the improvement of religious studies. This becomes particularly noteworthy in the context of the Levant d…
View article: A behaviouristic semantic approach to blockchain-based e-commerce
A behaviouristic semantic approach to blockchain-based e-commerce Open
Electronic commerce and finance are progressively supporting and including decentralized, shared and public ledgers such as the blockchain. This is reshaping traditional commercial activities by advancing them towards Decentralized Finance…
View article: The ontology for agents, systems and integration of services: OASIS version 2$
The ontology for agents, systems and integration of services: OASIS version 2$ Open
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 agents, one has been essentially achieved by taking a behaviour…
View article: Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services
Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services Open
View article: Towards an ontology of the Museum of Archaeology of the University of Catania: from the digitization of the legacy data to the Semantic Web
Towards an ontology of the Museum of Archaeology of the University of Catania: from the digitization of the legacy data to the Semantic Web Open
This paper presents the results of digitization of the Libertini Collection of the Museum of Archaeology of the University of Catania (MAUC). The digitization project aims at defining forms of long-term preservation of digital data associa…
View article: Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version)
Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version) Open
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 certificates secured on blockchain, called tokens. As a co…
View article: Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services (Extended Version)
Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services (Extended Version) Open
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 conditionals and ontological smart contracts (in short, OSCs).…
View article: Book of Abstracts. ArcheoFOSS International Conference 2020
Book of Abstracts. ArcheoFOSS International Conference 2020 Open
The book of abstracts of ArcheoFOSS International Conference, 14th edition 2020.
View article: A set-based reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
A set-based reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version) Open
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,\!\times}}\rangle(\mathbf{D})$ ($\mathcal{DL}_{\mathbf{D}}…
View article: A set-based reasoner for the description logic $\shdlssx$ (Extended Version)
A set-based reasoner for the description logic $\shdlssx$ (Extended Version) Open
We present a \ke-based implementation of a reasoner for a decidable fragment of (stratified) set theory expressing the description logic $\dlssx$ ($\shdlssx$, for short). Our application solves the main TBox and ABox reasoning problems for…
View article: An optimized KE-tableau-based system for reasoning in the description logic $\shdlssx$ (Extended Version)
An optimized KE-tableau-based system for reasoning in the description logic $\shdlssx$ (Extended Version) Open
We present a \ke-based procedure for the main TBox and ABox reasoning tasks for the description logic $\dlssx$, in short $\shdlssx$. The logic $\shdlssx$, representable in the decidable multi-sorted quantified set-theoretic fragment $\flqs…
View article: An optimized KE-tableau-based system for reasoning in the description logic \shdlssx.
An optimized KE-tableau-based system for reasoning in the description logic \shdlssx. Open
We present a \ke-based procedure for the main TBox and ABox reasoning tasks for the description logic $\dlssx$, in short $\shdlssx$. The logic $\shdlssx$, representable in the decidable multi-sorted quantified set-theoretic fragment $\flqs…
View article: A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version)
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version) Open
We present a first result towards the use of entailment in- side relational dual tableau-based decision procedures. To this end, we introduce a fragment of RL(1) which admits a restricted form of composition, (R ; S) or (R ; 1), where the …
View article: An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$
An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4,\!\times }$$ Open
View article: The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version)
The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version) Open
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 complex that inspired the design of many European monasteries.
View article: The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended\n Version)
The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended\n Version) Open
We present an OWL 2 ontology representing the Saint Gall plan, one of the\nmost ancient documents arrived intact to us, which describes the ideal model of\na Benedictine monastic complex that inspired the design of many European\nmonasteri…
View article: Distant Reading Through Ontologies: The Case Study of Catania’s Benedictines Monastery
Distant Reading Through Ontologies: The Case Study of Catania’s Benedictines Monastery Open
In this contribution, we developed a Linked Open Dataset, more specifically an OWL ontology, about the history of the renovation of the Catania’s Benedictines Monastery by the architect Giancarlo De Carlo. We considered a wide subset of pu…
View article: A \textsf{C++} reasoner for the description logic $\shdlssx$.
A \textsf{C++} reasoner for the description logic $\shdlssx$. Open
We present an ongoing implementation of a \ke\space based reasoner for a decidable fragment of stratified elementary set theory expressing the description logic $\dlssx$ (shortly $\shdlssx$). The reasoner checks the consistency of $\shdlss…
View article: A C++ reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
A C++ reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version) Open
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}\langle \mathsf{4LQS^{R,\!\times}}\rangle(\mathbf{D})$ (shortly …
View article: A \textsf{C++} reasoner for the description logic $\shdlssx$ (Extended Version)
A \textsf{C++} reasoner for the description logic $\shdlssx$ (Extended Version) Open
We present an ongoing implementation of a \ke\space based reasoner for a decidable fragment of stratified elementary set theory expressing the description logic $\dlssx$ (shortly $\shdlssx$). The reasoner checks the consistency of $\shdlss…
View article: A set theoretical approach for ABox reasoning services
A set theoretical approach for ABox reasoning services Open
In this paper we consider the most common ABox reasoning services for the description logic $\dlssx$ ($\shdlssx$, for short) and prove their decidability via a reduction to the satisfiability problem for the set-theoretic fragment \flqsr. …
View article: A set-theoretical approach for ABox reasoning services (Extended Version)
A set-theoretical approach for ABox reasoning services (Extended Version) Open
In this paper we consider the most common ABox reasoning services for the description logic $\mathcal{DL}\langle \mathsf{4LQS^{R,\!\times}}\rangle(\mathbf{D})$ ($\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$, for short) and prove their decidabil…
View article: The Shape of a Benedictine Monastery: The SaintGall Ontology.
The Shape of a Benedictine Monastery: The SaintGall Ontology. Open
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 complex that inspired the design of many European monasteries.
View article: Conjunctive Query Answering via a Fragment of Set Theory (Extended Version)
Conjunctive Query Answering via a Fragment of Set Theory (Extended Version) Open
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 concrete roles and with the product of concepts. The result i…
View article: The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations
The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations Open
View article: Preface
Preface Open
The event was the twenty-eigth edition of the annual meeting of the Italian Association for Logic Programming (GULP, Gruppo Ricercatori e Utenti di Logic Programming).Since its first edition, which took place in Genoa in 1986, the annual c…
View article: The decision problem for a three-sorted fragment of set theory with\n restricted quantification and finite enumerations
The decision problem for a three-sorted fragment of set theory with\n restricted quantification and finite enumerations Open
We solve the satisfiability problem for a three-sorted fragment of set theory\n(denoted $3LQST_0^R$), which admits a restricted form of quantification over\nindividual and set variables and the finite enumeration operator $\\{\\text{-},\n\…
View article: Web ontology representation and reasoning via fragments of set theory
Web ontology representation and reasoning via fragments of set theory Open
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 introduce the description logic $\mathcal{DL}\langle 4LQS^R\rangl…