• A set-theoretic approach to reasoning services for the descriptionlogic DLD4, ✖

  Domenico Cantone, Marianna Nicolosi-Asmundo, and Daniele Francesco Santamaria

  Fundamenta Informaticae 176 (2020) pp. 349--384.

• An optimized KE-tableau-based system for reasoning in the description logic DL4 ✖,D

  Domenico Cantone, Marianna Nicolosi-Asmundo, and Daniele Francesco Santamaria

  In Benzmuller, C., Ricca, F., Parent, X., Roman, D. (Eds.). Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018. Lecture Notes in Computer Science, Vol. 11092, pp. 239--247 Springer 2018, ISBN 978-3-319-99905-0

• A set-based reasoner for the description logic DL4 ✖,D

  Domenico Cantone, Marianna Nicolosi-Asmundo, and Daniele Francesco Santamaria

  Proceedings of the 3rd International Workshop About Sets and Tools, SETS 2018, Southampton, United Kingdom, 5 June 2018. CEUR Workshop Proceedings, ISSN 1613-0073, Vol. 2199, pp. 52--66

• A C++ reasoner for the description logic DL4 ✖,D

  Domenico Cantone, Marianna Nicolosi-Asmundo, and Daniele Francesco Santamaria

  Proceedings of the 32nd Italian Conference on Computational Logic, CILC 2017, 26-29 September 2017, Naples, Italy. CEUR Workshop Proceedings, ISSN 1613-0073, Vol. 1949, pp. 276--280

• A set-theoretic approach to ABox reasoning services

  Domenico Cantone, Marianna Nicolosi-Asmundo, and Daniele Francesco Santamaria

  In: Costantini S., Franconi E., Van Woensel W., Kontchakov R., Sadri F., Roman D. (eds) Rules and Reasoning, RuleML+RR 2017. Lecture Notes in Computer Science, Vol. 10364, pp. 87--102. Springer, Cham (2017)

• Conjunctive Query Answering via Fragment of Set Theory

  Domenico Cantone, Marianna Nicolosi-Asmundo, and Daniele Francesco Santamaria

  Proc. of the 17th Italian Conference on Theoretical Computer Science, ICTCS 2016, Lecce, Italy, September 7-9, 2016, CEUR Workshop Proceedings, ISSN 1613-0073, Vol. 1720, pp. 23--35

• Web ontology representation and reasoning via fragments of set theory

  Domenico Cantone, Marianna Nicolosi-Asmundo, and Daniele Francesco Santamaria

  In: Cate B., Mileo A. (eds) Web Reasoning and Rule Systems, RR 2015. Lecture Notes in Computer Science, Vol. 9209, pp.61--76. Springer, Cham (2015)

• A Set-Theoretical Representation For OWL 2 Profiles With Application on Ancient Ceramics Classification

  Daniele Francesco Santamaria

  LAP LAMBERT Academic Publishing, ISBN 978-3-659-68797-6, 2015

• On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic

  Domenico Cantone and Marianna Nicolosi-Asmundo

  Fundamenta Informaticae, 124(4):427-448, 2013