An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,×

• Autorzy: Cantone Domenico , Nicolosi-Asmundo Marianna , Santamaria Daniele Francesco

Identyfikatory

DOI

10.3233/FI-2021-2009

• Języki publikacji: EN

Abstrakty

EN

We present a KE-tableau-based implementation of a reasoner for a decidable fragment of (stratified) set theory expressing the description logic 𝒟ℒ〈4LQS^R,×〉(D ) (𝒟 ℒ_D^4,×, for short). Our application solves the main TBox and ABox reasoning problems for 𝒟 ℒ _D^4,×. In particular, it solves the consistency and the classification problems for 𝒟 ℒ_D^4,× -knowledge bases represented in set-theoretic terms, and a generalization of the Conjunctive Query Answering problem in which conjunctive queries with variables of three sorts are admitted. The reasoner, which extends and improves a previous version, is implemented in C++. It supports 𝒟 ℒ _D^4,×-knowledge bases serialized in the OWL/XML format and it admits also rules expressed in SWRL (Semantic Web Rule Language).

Słowa kluczowe

EN

reasoners for description logics; consistency problems; classification problems; conjunctive query answering problem; KE-tableau systems; semantic web; automated reasoning; computable set theory

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2021
• Tom: Vol. 178, nr 4
• Strony: 315--346
• Opis fizyczny: Bibliogr. 33 poz., rys., tab., wykr.

Twórcy

autor

Cantone Domenico

• Department of Mathematics and Computer Science, University of Catania, Italy

autor

Nicolosi-Asmundo Marianna

• Department of Mathematics and Computer Science, University of Catania, Italy

autor

Santamaria Daniele Francesco

• Department of Mathematics and Computer Science, University of Catania, Italy

Bibliografia

• [1] Cantone D, Nicolosi-Asmundo M, Santamaria DF. A set-based reasoner for the description logic DL4xD. In: Cristiá M, Delahaye D, Dubois C (eds.), Proceedings of the 3rd International Workshop on Sets and Tools (SETS 2018), Southampton, June 5, 2018, volume 2199. CEUR Workshop Proceedings, 2018 pp. 52-66. ISSN:1613-0073.
• [2] Cantone D, Ferro A, Omodeo EG. Computable Set Theory. Number 6 in International Series of Monographs on Computer Science, Oxford Science Publications. Clarendon Press, Oxford, UK, 1989. ISBN:978-1-4419-2905-1.
• [3] Cantone D, Omodeo EG, Policriti A. Set Theory for Computing: From Decision Procedures to Declarative Programming With Sets. Monographs in Computer Science. Springer-Verlag, New York, NY, USA, 2001. doi:10.1007/978-1-4757-3452-2.
• [4] Schwartz JT, Cantone D, Omodeo EG. Computational Logic and Set Theory: Applying Formalized Logic to Analysis. Texts in Computer Science. Springer-Verlag New York, Inc., 2011. ISBN:978-0-85729-808-9.
• [5] Cantone D, Ursino P. An Introduction to the Technique of Formative Processes in Set Theory. Springer International Publishing, 2018. ISBN:978-3-319-74778-1.
• [6] Cristiá M, Rossi G. A Decision Procedure for Restricted Intensional Sets. In: CADE, Lecture Notes in Computer Science, Vol. 10395. Springer, 2017 pp. 185-201. doi:10.1007/978-3-319-63046-5\_12.
• [7] Cristiá M, Rossi G. Programming in Java with Restricted Intensional Sets. In: Proc. of SETS@ABZ 2018, Southampton, UK, June 5, CEUR-WS, vol. 2199. 2018 pp. 17-31. URL http://ceur-ws.org/Vol-2199/paper2.pdf.
• [8] Lutz C, Baader F, Horrocks I, Sattler U. An Introduction to Description Logic. Cambridge University Press, 2017. doi:10.1017/9781139025355.
• [9] Giordano L, Policriti A. Power (Set) ALC. In: Proc. of ICTCS 2018, Urbino, Italy, September 18-20. 2018 pp. 162-173. URL http://ceur-ws.org/Vol-2243/paper15.pdf.
• [10] Cantone D, Nicolosi-Asmundo M. On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic. Fundamenta Informaticae, 2013. 124(4):427-448. URL http://ceur-ws.org/Vol-810/paper-l05.pdf.
• [11] Cantone D, Longo C, Nicolosi-Asmundo M, Santamaria DF. Web Ontology Representation and Reasoning via Fragments of Set Theory. In: Web Reasoning and Rule Systems - 9th Int. Conf., RR 2015, Berlin, August 4-5, 2015, pp. 61-76 doi:10.1007/978-3-319-22002-4\_6.
• [12] Cantone D, Nicolosi-Asmundo M, Santamaria DF. Conjunctive Query Answering via a Fragment of Set Theory. In: Proc. of ICTCS 2016, Lecce, September 7-9, CEUR-WS, Vol. 1720. 2016 pp. 23-35. URL http://ceur-ws.org/Vol-1720/full2.pdf.
• [13] Schaub T, Thielscher M. Skeptical query-answering in Constrained Default Logic. In: Gabbay DM, Ohlbach HJ (eds.), Practical Reasoning. Springer Berlin Heidelberg, 1996 pp. 567-581. ISBN:978-3-540-68454-1.
• [14] Cantone D, Nicolosi-Asmundo M, Santamaria DF. A Set-Theoretic Approach to ABox Reasoning Services. 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. Springer, 2017 pp. 87-102. ISBN:978-3-319-61252-2.
• [15] Cantone D, Nicolosi-Asmundo M, Santamaria DF. A set-theoretic approach to reasoning services for the description logic DL4xD. Fundamenta Informaticae, 2020. (176):349-384. doi:10.3233/FI-2020-1977.
• [16] Krötzsch M. OWL 2 Profiles: An Introduction to Lightweight Ontology Languages. In: Eiter T, Krennwallner T (eds.), Reasoning Web. Semantic Technologies for Advanced Query Answering: 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings, pp. 112-183. Springer Berlin Heidelberg, Berlin, Heidelberg, 2012. ISBN:978-3-642-33158-9.
• [17] Santamaria DF. A Set-Theoretical Representation for OWL 2 Profiles. LAP Lambert Academic Publishing, 2015. ISBN:978-3-659-68797-6.
• [18] Cantone D, Nicolosi-Asmundo M, Santamaria DF, Trapani F. Ontoceramic: An OWL Ontology for Ceramics Classification. In: Proc. of CILC 2015, Genova, Italy, July 1-3, CEUR-WS, vol. 1459. 2015 pp. 122-127. URL http://ceur-ws.org/Vol-1459/paper5.pdf.
• [19] Cantale C, Cantone D, Nicolosi-Asmundo M, Santamaria DF. Distant reading through ontologies: The Case study of Catania’s Benedictines monastery. JLIS.it: Italian Journal of Library, Archives, and Information Science, 2017. 8(3):205-219. doi:10.4403/jlis.it-12342.
• [20] Horrocks I, Kutz O, Sattler U. The Even More Irresistible SROIQ. In: Doherty P, Mylopoulos J, Welty CA (eds.), Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006. AAAI Press, 2006 pp. 57-67. URL https://www.aaai.org/Papers/KR/2006/KR06-009.pdf.
• [21] (W3C) WWWC. SWRL: A Semantic Web Rule Language Combining OWL and RuleML., 2004. URL http://www.w3.org/Submission/SWRL/.
• [22] Cantone D, Nicolosi-Asmundo M, Santamaria DF. A C++ reasoner for the description logic DL4xD. In: Della Monica D, Murano A, Rubin S, Sauro L (eds.), Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic, volume 1949. CEUR Workshop Proceedings, ISSN 1613-0073, 2017 pp. 276-280. URL http://ceur-ws.org/Vol-1949/CILCpaper03.pdf.
• [23] D’Agostino M, Mondadori M. The taming of the cut. Classical refutations with analytic cut. Journal of Logic and Computation, 1994. 4:285-319. doi:10.1.1.55.9450.
• [24] Smullyan RM. First-order Logic. Dover books on advanced Math. Dover, 1995. ISBN:9780486683706.
• [25] D’Agostino M. Tableau Methods for Classical Propositional Logic. In: D’Agostino M, Gabbay DM, Hähnle R, Posegga J (eds.), Handbook of Tableau Methods, pp. 45-123. Springer, 1999. ISBN:978-0-7923-5627-1.
• [26] Glimm B, Horrocks I, Motik B, Stoilos G, Wang Z. Hermi T: An OWL 2 Reasoner. Journal of Automated Reasoning, 2014. 53(3):245-269. doi:10.1007/s10817-014-9305-1.
• [27] Sirin E, Parsia B, Grau B, Katz AKY. Pellet: a practical OWL-DL reasoner. Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 2007. 5(2):51-53. doi:10.1016/j.websem.2007.03.004.
• [28] Tsarkov D, Horrocks I. FaCT++ Description Logic Reasoner: System Description. In: Furbach U, Shankar N (eds.), Automated Reasoning. Springer Berlin Heidelberg, Berlin, Heidelberg, 2006 pp. 292-297. ISBN:978-3-540-37188-5.
• [29] Motik B, Horrocks I. OWL Datatypes: Design and Implementation. In: Proc. of ISWC 2008, Karlsruhe, Germany, October 26-30, Lecture Notes in Computer Science Vol. 5318. Springer, 2008 pp. 307-322. doi:10.1007/978-3-540-88564-1_20.
• [30] Doerr M. The CIDOC CRM An Ontological Approach to Semantic Interoperability of Metadata. AI Magazine, 2003. 24(3):75-92. doi:10.1609/aimag.v24i3.1720.
• [31] Giunchiglia F, Sebastiani R. A SAT-Based Decision Procedure for ALC. In: Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning, KR’96. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1996 p. 304314. ISBN:1558604219.
• [32] OpenLink Software. Virtuoso. URL https://virtuoso.openlinksw.com.
• [33] World Wide Web Consortium (W3C). SPARQL Query Language for RDF. URL https://www.w3.org/TR/rdf-sparql-query/.

Uwagi

Opracowanie rekordu ze środków MNiSW, umowa Nr 461252 w ramach programu "Społeczna odpowiedzialność nauki" - moduł: Popularyzacja nauki i promocja sportu (2021).