Cristiano LONGO

Cantone D, Longo C, Nicolosi-Asmundo M, Santamaria DF. Towards an Effective Extension of Activity Streams. Applied Ontology. 2026;0(0). doi:10.1177/15705838261419004 .

Domenico Cantone, Vincenzo Nicolò Di Caro, Cristiano Longo, Salvatore Menza, Marianna Nicolosi Asmundo, and Daniele Francesco Santamaria. An OWL Ontology for Linguistic Phenomena with Applications to Gallo-Italic Dialects in Sicily. In Antonis Bikakis, Roberta Ferrario, Stéphane Jean, Béatrice Markhoff, Alessandro Mosca, and Marianna Nicolosi Asmundo, editors, Proceedings of the fourth edition of the International Workshop on Semantic Web and Ontology Design for Cultural Heritage, (SWODCH 2024), Tours, France, Oct 30-31, 2024, volume 3809 of CEUR Workshop Proceedings. CEUR-WS.org, 2024.

Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo, and Daniele Francesco Santamaria. Web ontology representation and reasoning via fragments of set theory.  In Balder ten Cate and Alessandra Mileo, editors, Web Reasoning and Rule Systems - 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings, volume 9209 of Lecture Notes in Computer Science, pages 61–76. Springer, 2015.

Domenico Cantone, Cristiano Longo, and Marianna Nicolosi Asmundo. Herbrand-satisfiability of a quantified set-theoretic fragment. Fundam. Informaticae, 150(1):49–71, 2017.

Domenico Cantone and Cristiano Longo. A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions. Theor. Comput. Sci., 560:307–325, 2014.

Cristiano Longo, Aldo Gangemi, and Domenico Cantone. Representing kinship relations on the semantic web. In Mariano Rodriguez-Muro, Simon Jupp, and Kavitha Srinivas, editors, Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), Montpellier, France, May 26-27, 2013, volume 1080 of CEUR Workshop Proceedings. CEUR-WS.org, 2013.
Domenico Cantone and Cristiano Longo.

A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions. In Marco Faella and Aniello Murano, editors, Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012, volume 96 of EPTCS, pages 224–237, 2012.

Domenico Cantone, Cristiano Longo, and Marianna Nicolosi Asmundo. A decidable quantified fragment of set theory involving ordered pairs with applications to description logics.
In Marc Bezem, editor, Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings, volume 12 of LIPIcs, pages 129–143. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011.

Domenico Cantone, Cristiano Longo, and Antonio Pisasale. Comparing description logics with multi-level syllogistics: the description logic dl. In 6th Workshop on Semantic Web Applications and Perspectives (SWAP), 2010.

Domenico Cantone, Cristiano Longo, and Marianna Nicolosi Asmundo. A decision procedure for a two-sorted extension of multi-level syllogistic with the cartesian product and some map constructs. In Wolfgang Faber and Nicola Leone, editors, Proceedings of the 25th Italian Conference on Computational Logic, Rende, Italy, July 7-9, 2010, volume 598 of CEUR Workshop Proceedings. CEUR-WS.org, 2010.

Cristiano Longo and Lorenzo Sciuto. A lightweight ontology for rating assessments. In Giovanni Semeraro, Eugenio Di Sciascio, Christian Morbidoni, and Heiko Stoermer, editors, Proceedings of the 4th Italian Semantic Web Workshop, Dipartimento di Informatica - Universita’ degli Studi di Bari - Italy, 18-20 December, 2007, volume 314 of CEUR Workshop Proceedings. CEUR-WS.org, 2007.

Cristiano Longo and Paolo Giarrusso. A protocol to preserve a code of conduct. In Yookun Cho, Roger L. Wainwright, Hisham Haddad, Sung Y. Shin, and Yong Wan Koo, editors, Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pages 1579–1585. ACM, 2007.

Giampaolo Bella, Cristiano Longo, and Lawrence C. Paulson. Verifying second-level security protocols. In David A. Basin and Burkhart Wolff, editors, Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12,
2003, Proceedings, volume 2758 of Lecture Notes in Computer Science, pages 352–366. Springer, 2003.

Giampaolo Bella, Cristiano Longo, and Lawrence C. Paulson. Is the verification problem for cryptographic protocols solved? In Bruce Christianson, Bruno Crispo, James A. Malcolm, and Michael Roe, editors, Security Protocols, 11th International Workshop, Cambridge, UK, April 2-4, 2003,
Revised Selected Papers, volume 3364 of Lecture Notes in Computer Science, pages 183–189. Springer, 2003.