Global Skolemization with Grouped Quantifiers. - Domenico Cantone; Marianna Nicolosi Asmundo; Eugenio G. Omodeo (APPIA-GULP-PRODE, 1997)

A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux. - Domenico Cantone; Marianna Nicolosi Asmundo (FTP (LNCS Selection), 1998)

Consistent Integration for Sequential Abstract State Machines. - Marianna Nicolosi Asmundo; Elvinia Riccobene (Abstract State Machines, 2003)

An efficient relational deductive system for propositional non-classical logics. - Andrea Formisano 001; Marianna Nicolosi Asmundo (J. Appl. Non Class. Logics, 2006)

A Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux. - Domenico Cantone; Marianna Nicolosi Asmundo (J. Autom. Reason., 2007)

Dual Tableau-based Decision Procedures for Some Relational Logics. - Domenico Cantone; Marianna Nicolosi Asmundo; Ewa Orlowska (CILC, 2010)

A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs. - Domenico Cantone; Cristiano Longo; Marianna Nicolosi Asmundo (CILC, 2010)

A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics. - Domenico Cantone; Cristiano Longo; Marianna Nicolosi Asmundo (CSL, 2011)

Dual tableau-based decision procedures for relational logics with restricted composition operator. - Domenico Cantone; Marianna Nicolosi Asmundo; Ewa Orlowska (J. Appl. Non Class. Logics, 2011)

On the Elimination of Quantifiers through Descriptors in Predicate Logic. - Domenico Cantone; Marianna Nicolosi Asmundo; Eugenio G. Omodeo (CILC, 2012)

On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic (extended version) - Domenico Cantone; Marianna Nicolosi Asmundo (CoRR, 2012)

A graphical representation of relational formulae with complementation. - Domenico Cantone; Andrea Formisano 001; Marianna Nicolosi Asmundo; Eugenio Giovanni Omodeo (RAIRO Theor. Informatics Appl., 2012)

On the satisfiability problem for a 3-level quantified syllogistic - Domenico Cantone; Marianna Nicolosi Asmundo (CoRR, 2013)

On the Satisfiability Problem for a 4-level Quantified Syllogistic and Some Applications to Modal Logic. - Domenico Cantone; Marianna Nicolosi Asmundo (Fundam. Informaticae, 2013)

A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation. - Domenico Cantone; Marianna Nicolosi Asmundo; Ewa Orlowska (CILC, 2014)

Herbrand-Satisfiability of a Quantified Set-theoretical Fragment. - Domenico Cantone; Cristiano Longo; Marianna Nicolosi Asmundo (CILC, 2014)

A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics. - Domenico Cantone; Joanna Golinska-Pilarek; Marianna Nicolosi Asmundo (HAIS, 2014)

Ontoceramic: an OWL ontology for ceramics classification. - Domenico Cantone; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria; Francesca Trapani (CILC, 2015)

Web Ontology Representation and Reasoning via Fragments of Set Theory. - Domenico Cantone; Cristiano Longo; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (RR, 2015)

The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations. - Domenico Cantone; Marianna Nicolosi Asmundo (ICTCS, 2015)

Conjunctive Query Answering via a Fragment of Set Theory. - Domenico Cantone; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (ICTCS, 2016)

An OWL Framework for Rule-based Recognition of Places in Italian Non-structured Text. - Domenico Cantone; Andrea Fornaia; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria; Emiliano Tramontana (KDWeb, 2016)

Conjunctive Query Answering via a Fragment of Set Theory (Extended Version). - Domenico Cantone; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (CoRR, 2016)

A C++ Reasoner for the Description Logic DL-4X(D). - Domenico Cantone; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (ICTCS/CILC, 2017)

The Shape of a Benedictine Monastery: The SaintGall Ontology. - Claudia Cantale; Domenico Cantone; Manuela Lupica Rinato; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (JOWO, 2017)

A Set-Theoretic Approach to ABox Reasoning Services. - Domenico Cantone; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (RuleML+RR, 2017)

A set-theoretical approach for ABox reasoning services (Extended Version). - Domenico Cantone; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (CoRR, 2017)

A textsf{C++} reasoner for the description logic $ shdlssx$. - Domenico Cantone; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (CoRR, 2017)

Herbrand-satisfiability of a Quantified Set-theoretic Fragment. - Domenico Cantone; Cristiano Longo; Marianna Nicolosi Asmundo (Fundam. Informaticae, 2017)

An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${ mathcal {DL}}_{{ mathbf {D}}}^{4, ! times }$$. - Domenico Cantone; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (RuleML+RR, 2018)

A Set-Based Reasoner for the Description Logic DL4, xD. - Domenico Cantone; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (SETS@ABZ, 2018)

A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version). - Domenico Cantone; Marianna Nicolosi Asmundo; Ewa Orlowska (CoRR, 2018)

An optimized KE-tableau-based system for reasoning in the description logic shdlssx. - Domenico Cantone; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (CoRR, 2018)

A set-based reasoner for the description logic shdlssx (Extended Version). - Domenico Cantone; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (CoRR, 2018)

Towards an ontology for investigating on archaeological Sicilian landscapes. - Roldolfo Brancato; Marianna Nicolosi Asmundo; Grazia Pagano; Daniele Francesco Santamaria; Salvatore Ucchino (ODOCH@CAiSE, 2019)

An Ontology for Legacy Data on Ancient Ceramics of the Plain of Catania. - Roldolfo Brancato; Marianna Nicolosi Asmundo; Grazia Pagano; Daniele Francesco Santamaria; Salvatore Ucchino (CILC, 2019)

Towards an Ontology-Based Framework for a Behavior-Oriented Integration of the IoT. - Domenico Cantone; Carmelo Fabio Longo; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria; Corrado Santoro (WOA, 2019)

An Ontology for the Iconographic Sources of La Divina Commedia. - Andrea De Domenico; Domenico Cantone; Marianna Nicolosi Asmundo (CILC, 2020)

A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟ℒD4, ×. - Domenico Cantone; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (Fundam. Informaticae, 2020)

Semantic Representation as a Key Enabler for Blockchain-Based Commerce. - Giampaolo Bella; Domenico Cantone; Cristiano Longo; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (GECON, 2021)

Blockchains Through Ontologies: The Case Study of the Ethereum ERC721 Standard in oasis. - Giampaolo Bella; Domenico Cantone; Cristiano Longo; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (IDC, 2021)

Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services. - Domenico Cantone; Carmelo Fabio Longo; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria; Corrado Santoro (IDC, 2021)

SW-CASPAR: Reactive-Cognitive Architecture based on Natural Language Processing for the task of Decision-Making in the Open-World Assumption. - Carmelo Fabio Longo; Corrado Santoro; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria; Domenico Cantone (WOA, 2021)

The ideal Benedictine Monastery: From the Saint Gall map to ontologies. - Claudia Cantale; Domenico Cantone; Manuela Lupica Rinato; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria; Maria Rosaria Stufano Melone (Appl. Ontology, 2021)

Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version). - Giampaolo Bella; Domenico Cantone; Cristiano Longo; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (CoRR, 2021)

An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4, ×. - Domenico Cantone; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (Fundam. Informaticae, 2021)

EGITH - Engendering Data. Steps Towards an Ontology for the Representation of Gender in Cultural Heritage. - Selenia Anastasi; Andrea De Domenico; Marianna Nicolosi Asmundo (AI4CH@AI*IA, 2022)

The ontology for agents, systems and integration of services: recent advancements of OASIS. - Giampaolo Bella; Domenico Cantone; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (WOA, 2022)

Towards ontological interoperability of cognitive IoT agents based on natural language processing. - Carmelo Fabio Longo; Corrado Santoro; Marianna Nicolosi Asmundo; Domenico Cantone; Daniele Francesco Santamaria (Intelligenza Artificiale, 2022)

Modeling the Video Game Environment: the VideOWL Ontology. - Simone De Martino; Marianna Nicolosi Asmundo; Stefano Angelo Rizzo; Daniele Francesco Santamaria (WOA, 2023)

The Ontology for Agents, Systems and Integration of Services: OASIS version 2. - Giampaolo Bella; Domenico Cantone; Carmelo Fabio Longo; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (CoRR, 2023)

The ontology for agents, systems and integration of services: OASIS version 2$. - Giampaolo Bella; Domenico Cantone; Carmelo Fabio Longo; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (Intelligenza Artificiale, 2023)

Editorial: Special Issue on Semantic Web and Ontology Design for Cultural Heritage. - Antonis Bikakis; Roberta Ferrario; Stéphane Jean; Béatrice Markhoff; Alessandro Mosca 001; Marianna Nicolosi Asmundo (ACM Journal on Computing and Cultural Heritage, 2023)

A meta-ontological approach to securing the semantic web data. - Giampaolo Bella; Domenico Cantone; Gianpietro Castiglione; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (JOWO, 2024)

An OWL Ontology for Linguistic Phenomena with Applications to Gallo-Italic Dialects in Sicily. - Domenico Cantone; Vincenzo Nicolò Di Caro; Cristiano Longo; Salvatore Menza; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (SWODCH, 2024)

Towards a semantic blockchain: A behaviouristic approach to modelling Ethereum. - Giampaolo Bella; Domenico Cantone; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (Appl. Ontology, 2024)

A behaviouristic semantic approach to blockchain-based e-commerce. - Giampaolo Bella; Domenico Cantone; Gianpietro Castiglione; Marianna Nicolosi Asmundo; Daniele Francesco Santamaria (Semantic Web, 2024)

Key Metalogical Propositions on a Variant of Hilbert's Epsilon-Calculus. - Domenico Cantone; Marianna Nicolosi Asmundo; Eugenio G. Omodeo (CILC, 2025)

ALIGHIERoo: Advanced Literary and Iconographic Graph for Hermeneutics of Interconnected Editions and Resources - Object Oriented. - Domenico Cantone; Marianna Nicolosi Asmundo; Stefano Angelo Rizzo (CILC, 2025)