Marianna Nicolosi Asmundo

72 papers B 3Misc 3Journal 29Unranked 32
YearRankTypeTitle / Venue / Authors
2026 — ed.
Proceedings of the Joint Ontology Workshops (JOWO) - Episode XI: The Sicilian Summer under the Etna, co-located with the 15th International Conference on Formal Ontology in Information Systems (FOIS 2025), Catania, Italy, September 8-12, 2025.
JOWO
John Beverley, C. Maria Keet, Naveen Lamba, Patrick Lambrix, Sanju Tiwari, Stefano De Giorgis, Guendalina Righetti, Gabriele Sacco, João Luiz Rebelo Moreira, Walter Terkaj, Adrien Barton, Mattia Fumagalli, Oliver Kutz, Damion M. Dooley, Davide Audrito, Francesca Grasso, Roberto Nai, Emilio Sulis, Peter L. Elkin, Jeremy Ravenel, Ken Archer, José M. Parente de Oliveira, Alcides Lopes, Luana Bulla, Gabriele Tuccio, Giusy Giulia Tuccari, Ítalo Oliveira, Daniele Francesco Santamaria, Gal Engelberg, Gianpietro Castiglione, Giampaolo Bella, Antonis Bikakis, Roberta Ferrario, Stéphane Jean, Béatrice Markhoff, Alessandro Mosca, Marianna Nicolosi Asmundo, Maria M. Hedblom, Bart Gajderowicz, Daniela Rosu, Janna Hastings, Jacqueline Csonka-Peeren, William D. Duncan, Julie Bowker, Hollen Reischer, Yongun He, Fabrício Henrique Rodrigues, Alessandro Umbrico, Emilio M. Sanfilippo, Fabio Longo
2026 J jnl
Towards an Effective Extension of Activity Streams.
Appl. Ontology
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2025 — conf
ALIGHIERoo: Advanced Literary and Iconographic Graph for Hermeneutics of Interconnected Editions and Resources - Object Oriented.
CILC
Domenico Cantone, Marianna Nicolosi Asmundo, Stefano Angelo Rizzo
2025 — conf
An Etymological Dataset for Nouns and Verbs in the Gallo-Italic Variety Spoken in Nicosia and Sperlinga.
JOWO
Domenico Cantone, Vincenzo Nicolò Di Caro, Cristiano Longo, Salvatore Menza, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2025 — conf
Key Metalogical Propositions on a Variant of Hilbert's Epsilon-Calculus.
CILC
Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo
2025 — conf
Ontologies for Simulating Smart Cities: the KnOCS Project.
JOWO
Chiara Alì, Domenico Cantone, Giorgia Leanza, Mirko Giuseppe Mangano, Alex Mattia, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2024 J jnl
A behaviouristic semantic approach to blockchain-based e-commerce.
Semantic Web
Giampaolo Bella, Domenico Cantone, Gianpietro Castiglione, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2024 — conf
A meta-ontological approach to securing the semantic web data.
JOWO
Giampaolo Bella, Domenico Cantone, Gianpietro Castiglione, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2024 — conf
An OWL Ontology for Linguistic Phenomena with Applications to Gallo-Italic Dialects in Sicily.
SWODCH
Domenico Cantone, Vincenzo Nicolò Di Caro, Cristiano Longo, Salvatore Menza, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2024 — ed.
Proceedings of the fourth edition of the International Workshop on Semantic Web and Ontology Design for Cultural Heritage, Tours, France, October 30-31, 2024.
SWODCH
Antonis Bikakis, Roberta Ferrario, Stéphane Jean, Béatrice Markhoff, Alessandro Mosca, Marianna Nicolosi Asmundo
2024 J jnl
Towards a semantic blockchain: A behaviouristic approach to modelling Ethereum.
Appl. Ontology
Giampaolo Bella, Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2023 J jnl
Editorial: Special Issue on Semantic Web and Ontology Design for Cultural Heritage.
ACM Journal on Computing and Cultural Heritage
Antonis Bikakis, Roberta Ferrario, Stéphane Jean, Béatrice Markhoff, Alessandro Mosca, Marianna Nicolosi Asmundo
2023 — conf
Modeling the Video Game Environment: the VideOWL Ontology.
WOA
Simone De Martino, Marianna Nicolosi Asmundo, Stefano Angelo Rizzo, Daniele Francesco Santamaria
2023 — ed.
Proceedings of the International Workshop on Semantic Web and Ontology Design for Cultural Heritage co-located with the International Semantic Web Conference 2023 (ISWC 2023), Athens, Greece, November 7, 2023.
SWODCH
Antonis Bikakis, Roberta Ferrario, Stéphane Jean, Béatrice Markhoff, Alessandro Mosca, Marianna Nicolosi Asmundo
2023 J jnl
The Ontology for Agents, Systems and Integration of Services: OASIS version 2.
CoRR
Giampaolo Bella, Domenico Cantone, Carmelo Fabio Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2023 J jnl
The ontology for agents, systems and integration of services: OASIS version 2
Intelligenza Artificiale
Giampaolo Bella, Domenico Cantone, Carmelo Fabio Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2022 — conf
EGITH - Engendering Data. Steps Towards an Ontology for the Representation of Gender in Cultural Heritage.
AI4CH@AI*IA
Selenia Anastasi, Andrea De Domenico, Marianna Nicolosi Asmundo
2022 — conf
The ontology for agents, systems and integration of services: recent advancements of OASIS.
WOA
Giampaolo Bella, Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2022 J jnl
Towards ontological interoperability of cognitive IoT agents based on natural language processing.
Intelligenza Artificiale
Carmelo Fabio Longo, Corrado Santoro, Marianna Nicolosi Asmundo, Domenico Cantone, Daniele Francesco Santamaria
2021 J jnl
An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4, ×.
Fundam. Informaticae
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2021 Misc conf
Blockchains Through Ontologies: The Case Study of the Ethereum ERC721 Standard in oasis.
IDC
Giampaolo Bella, Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2021 J jnl
Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version).
CoRR
Giampaolo Bella, Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2021 Misc conf
Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services.
IDC
Domenico Cantone, Carmelo Fabio Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Corrado Santoro
2021 — ed.
Proceedings of the International Joint Workshop on Semantic Web and Ontology Design for Cultural Heritage co-located with the Bolzano Summer of Knowledge 2021 (BOSK 2021), Virtual Event / Bozen-Bolzano, Italy, September 20-21, 2021.
SWODCH
Antonis Bikakis, Roberta Ferrario, Stéphane Jean, Béatrice Markhoff, Alessandro Mosca, Marianna Nicolosi Asmundo
2021 — conf
SW-CASPAR: Reactive-Cognitive Architecture based on Natural Language Processing for the task of Decision-Making in the Open-World Assumption.
WOA
Carmelo Fabio Longo, Corrado Santoro, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Domenico Cantone
2021 — conf
Semantic Representation as a Key Enabler for Blockchain-Based Commerce.
GECON
Giampaolo Bella, Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2021 J jnl
The ideal Benedictine Monastery: From the Saint Gall map to ontologies.
Appl. Ontology
Claudia Cantale, Domenico Cantone, Manuela Lupica Rinato, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Maria Rosaria Stufano Melone
2020 J jnl
A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟ℒD4, ×.
Fundam. Informaticae
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2020 — conf
An Ontology for the Iconographic Sources of La Divina Commedia.
CILC
Andrea De Domenico, Domenico Cantone, Marianna Nicolosi Asmundo
2020 J jnl
Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services.
CoRR
Domenico Cantone, Carmelo Fabio Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Corrado Santoro
2019 — conf
An Ontology for Legacy Data on Ancient Ceramics of the Plain of Catania.
CILC
Roldolfo Brancato, Marianna Nicolosi Asmundo, Grazia Pagano, Daniele Francesco Santamaria, Salvatore Ucchino
2019 — conf
Towards an Ontology-Based Framework for a Behavior-Oriented Integration of the IoT.
WOA
Domenico Cantone, Carmelo Fabio Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Corrado Santoro
2019 — conf
Towards an ontology for investigating on archaeological Sicilian landscapes.
ODOCH@CAiSE
Roldolfo Brancato, Marianna Nicolosi Asmundo, Grazia Pagano, Daniele Francesco Santamaria, Salvatore Ucchino
2018 J jnl
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version).
CoRR
Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska
2018 — conf
A Set-Based Reasoner for the Description Logic DL
SETS@ABZ
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2018 J jnl
A set-based reasoner for the description logic \shdlssx (Extended Version).
CoRR
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2018 B conf
An Optimized KE-Tableau-Based System for Reasoning in the Description Logic $${\mathcal {DL}}_{{\mathbf {D}}}^{4, \!\times }$$.
RuleML+RR
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2018 J jnl
An optimized KE-tableau-based system for reasoning in the description logic \shdlssx.
CoRR
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2017 — conf
A C++ Reasoner for the Description Logic DL-4X(D).
ICTCS/CILC
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2017 B conf
A Set-Theoretic Approach to ABox Reasoning Services.
RuleML+RR
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2017 J jnl
A \textsf{C++} reasoner for the description logic $\shdlssx$.
CoRR
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2017 J jnl
A set-theoretical approach for ABox reasoning services (Extended Version).
CoRR
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2017 J jnl
Herbrand-satisfiability of a Quantified Set-theoretic Fragment.
Fundam. Informaticae
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
2017 — conf
The Shape of a Benedictine Monastery: The SaintGall Ontology.
JOWO
Claudia Cantale, Domenico Cantone, Manuela Lupica Rinato, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2017 J jnl
The Shape of a Benedictine Monastery: The SaintGall Ontology.
CoRR
Claudia Cantale, Domenico Cantone, Manuela Lupica Rinato, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2016 — conf
An OWL Framework for Rule-based Recognition of Places in Italian Non-structured Text.
KDWeb
Domenico Cantone, Andrea Fornaia, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Emiliano Tramontana
2016 J jnl
Conjunctive Query Answering via a Fragment of Set Theory (Extended Version).
CoRR
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2016 — conf
Conjunctive Query Answering via a Fragment of Set Theory.
ICTCS
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2015 — conf
Ontoceramic: an OWL ontology for ceramics classification.
CILC
Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria, Francesca Trapani
2015 — conf
The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations.
ICTCS
Domenico Cantone, Marianna Nicolosi Asmundo
2015 J jnl
The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations.
CoRR
Domenico Cantone, Marianna Nicolosi Asmundo
2015 — conf
Web Ontology Representation and Reasoning via Fragments of Set Theory.
RR
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2015 J jnl
Web ontology representation and reasoning via fragments of set theory.
CoRR
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria
2014 — conf
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation.
CILC
Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska
2014 Misc conf
A Relational Dual Tableau Decision Procedure for Multimodal and Description Logics.
HAIS
Domenico Cantone, Joanna Golinska-Pilarek, Marianna Nicolosi Asmundo
2014 — conf
Herbrand-Satisfiability of a Quantified Set-theoretical Fragment.
CILC
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
2013 J jnl
On the Satisfiability Problem for a 4-level Quantified Syllogistic and Some Applications to Modal Logic.
Fundam. Informaticae
Domenico Cantone, Marianna Nicolosi Asmundo
2013 J jnl
On the satisfiability problem for a 3-level quantified syllogistic
CoRR
Domenico Cantone, Marianna Nicolosi Asmundo
2013 — ed.
Proceedings of the 28th Italian Conference on Computational Logic, Catania, Italy, September 25-27, 2013.
CILC
Domenico Cantone, Marianna Nicolosi Asmundo
2012 J jnl
A graphical representation of relational formulae with complementation.
RAIRO Theor. Informatics Appl.
Domenico Cantone, Andrea Formisano, Marianna Nicolosi Asmundo, Eugenio Giovanni Omodeo
2012 — conf
On the Elimination of Quantifiers through Descriptors in Predicate Logic.
CILC
Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo
2012 J jnl
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic (extended version)
CoRR
Domenico Cantone, Marianna Nicolosi Asmundo
2011 B conf
A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics.
CSL
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
2011 J jnl
Dual tableau-based decision procedures for relational logics with restricted composition operator.
J. Appl. Non Class. Logics
Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska
2011 — conf
On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic.
CILC
Domenico Cantone, Marianna Nicolosi Asmundo
2010 — conf
A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs.
CILC
Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo
2010 — conf
Dual Tableau-based Decision Procedures for Some Relational Logics.
CILC
Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska
2007 J jnl
A Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux.
J. Autom. Reason.
Domenico Cantone, Marianna Nicolosi Asmundo
2006 J jnl
An efficient relational deductive system for propositional non-classical logics.
J. Appl. Non Class. Logics
Andrea Formisano, Marianna Nicolosi Asmundo
2003 — conf
Consistent Integration for Sequential Abstract State Machines.
Abstract State Machines
Marianna Nicolosi Asmundo, Elvinia Riccobene
1998 — conf
A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux.
FTP (LNCS Selection)
Domenico Cantone, Marianna Nicolosi Asmundo
1997 — conf
Global Skolemization with Grouped Quantifiers.
APPIA-GULP-PRODE
Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo