ASP Based Generation of Information Terms for Constructive EL

• Autorzy: Bozzato L.

Identyfikatory

DOI

10.3233/FI-2018-1694

• Konferencja: Italian Conference on Computational Logic (Convegno Italiano di Logica Computazionale, CILC 2016) (31; 20-22.07.2016; Università degli Studi di Milano-Bicocca, Italy)
• Języki publikacji: EN

Abstrakty

EN

Constructive description logics define interpretations of description logics under different constructive semantics. These logics have been mostly studied from the point of view of their formal properties: limited practical approaches have been shown for their use in knowledge representation and Semantic Web languages and tools (which, on the other hand, constitute the distinctive applications of description logics). In this paper we demonstrate a solution to address this aspect: from the theoretical point of view, we first introduce an information terms semantics for the minimal description logic EL and we establish formal results linking this constructive semantics to answer set semantics. Using these results, on the practical side, we then present a prototype managing one aspect of such semantics (the generation of information terms of a knowledge base) using OWL-EL ontologies and "off the shelf” tools.

Słowa kluczowe

EN

constructive description logics; information terms semantics; answer set programming

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2018
• Tom: Vol. 161, nr 1/2
• Strony: 29--51
• Opis fizyczny: Bibliogr. 30 poz., rys.

Twórcy

autor

Bozzato L.

• Fondazione Bruno Kessler, Via Sommarive 18, 38123 Trento, Italy

Bibliografia

• [1] Bozzato L, Ferrari M, Fiorentini C, Fiorino G. A decidable constructive description logic. In: JELIA 2010. vol. 6341 of Lecture Notes in Computer Science. Springer; 2010. pp. 51-63. doi:10.1007/978-3-642-15675-5_7.
• [2] Ferrari M, Fiorentini C, Fiorino G. BCDL: basic constructive description logic. J of Automated Reasoning. 2010;44(4):371-399. doi:10.1007/s10817-009-9160-7.
• [3] Mendler M, Scheele S. Towards Constructive DL for Abstraction and Refinement. J Autom Reasoning. 2010;44(3):207-243. doi:10.1007/s10817-009-9151-8.
• [4] Odintsov SP, Wansing H. Inconsistency-tolerant description logic. Part II: A tableau algorithm for CALCC. J of Applied Logic. 2008;6(3):343-360. doi:10.1016/j.jal.2007.06.001.
• [5] Mendler M, Scheele S. Towards a Type System for Semantic Streams. In: SR2009 - Stream Reasoning Workshop (ESWC 2009). vol. 466 of CEUR-WP. CEUR-WS.org; 2009. pp. 1-15. https://arxiv.org/ftp/arxiv/papers/1409/1409.2366.pdf.
• [6] Haeusler EH, de Paiva V, Rademaker A. Intuitionistic Description Logic and Legal Reasoning. In: DEXA 2011 Workshops. IEEE Computer Society; 2011. pp. 345-349. doi:10.1109/DEXA.2011.46.
• [7] Hilia M, Chibani A, Djouani K, Amirat Y. Semantic Service Composition Framework for Multidomain Ubiquitous Computing Applications. In: ICSOC 2012. vol. 7636 of Lecture Notes in Computer Science. Springer; 2012. pp. 450-467. doi:10.1007/978-3-642-34321-6_30.
• [8] Bozzato L, Ferrari M. Composition of Semantic Web Services in a Constructive Description Logic. In: RR2010. vol. 6333 of Lecture Notes in Computer Science. Springer; 2010. pp. 223-226. doi:10.1007/978-3-642-15918-3_19.
• [9] Baader F. Terminological Cycles in a Description Logic with Existential Restrictions. In: IJCAI-03. Morgan Kaufmann; 2003. pp. 325-330. URL http://dl.acm.org/citation.cfm?id=1630659.1630707.
• [10] Motik B, Fokoue A, Horrocks I, Wu Z, Lutz C, Grau BC. OWL 2Web Ontology Language Profiles. W3C; 2009. URL http://www.w3.org/TR/2009/REC-owl2-profiles-20091027.
• [11] Ornaghi M, Benini M, Ferrari M, Fiorentini C, Momigliano A. A Constructive Modeling Language for Object Oriented Information Systems. Electr Notes Theor Comput Sci. 2006;153(1):55-75. URL https://doi.org/10.1016/j.entcs.2005.08.006.
• [12] Ferrari M, Fiorentini C, Momigliano A, Ornaghi M. Snapshot generation in a constructive object-oriented modeling language. In: LOPSTR 2007, Selected Papers. vol. 4915 of Lecture Notes in Computer Science. Springer; 2008. pp. 169-184. doi:10.1007/978-3-540-78769-3_12.
• [13] Fiorentini C, Momigliano A, Ornaghi M, Poernomo I. A Constructive Approach to Testing Model Transformations. In: ICMT 2010. vol. 6142 of Lecture Notes in Computer Science. Springer; 2010. pp. 77-92. doi:10.1007/978-3-642-13688-7_6.
• [14] Fiorentini C, Ornaghi M. Answer Set Semantics vs. Information Term Semantics. In: ASP 2007: Answer Set Programming, Advances in Theory and Implementation; 2007.
• [15] Bozzato L, Ferrari M, Villa P. Actions Over a Constructive Semantics for Description Logics. Fundam Inform. 2009;96(3):253-269. doi:10.3233/FI-2009-178.
• [16] Bozzato L, Ferrari M, Fiorentini C, Fiorino G. A constructive semantics for ALC. In: DL 2007. vol. 250 of CEUR-WP. CEUR-WS.org; 2007. pp. 219-226. http://ceur-ws.org/Vol-250/paper_45.pdf.
• [17] Brachman RJ, McGuinness DL, Patel-Schneider PF, Resnick LA, Borgida A. Living with CLASSIC: When and How to Use a KL-ONE-Like Language. In: Principles of Semantic Networks. Morgan Kaufmann; 1991. pp. 401-456. URL https://doi.org/10.1016/B978-1-4832-0771-1.50022-9.
• [18] Miglioli P, Moscato U, Ornaghi M, Usberti G. A Constructivism Based on Classical Truth. Notre Dame Journal of Formal Logic. 1989;30(1):67-90.
• [19] Troelstra AS. From Constructivism to Computer Science. Theoretical Computer Science. 1999;211(1-2):233-252. URL https://doi.org/10.1016/S0304-3975(97)00172-2.
• [20] Lipton J, O’Donnell MJ. Some Intuitions Behind Realizability Semantics for Constructive Logic: Tableaux and Läuchli Countermodels. Ann Pure Appl Logic. 1996;81(1-3):187-239. doi:10.1016/0168-0072(96)00002-4.
• [21] Lifschitz V, Tang LR, Turner H. Nested Expressions in Logic Programs. Ann Math Artif Intell. 1999;25(3-4):369-389. doi:10.1023/A:1018978005636.
• [22] Gelfond M, Lifschitz V. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing. 1991;9:365-385. doi:10.1007/BF03037169.
• [23] Pearce D, Sarsakov V, Schaub T, Tompits H, Woltran S. A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. In: ICLP 2002. vol. 2401 of Lecture Notes in Computer Science. Springer; 2002. pp. 405-420. doi:10.1007/3-540-45619-8_28.
• [24] Eiter T, Ianni G, Krennwallner T. Answer Set Programming: A Primer. In: Reasoning Web 2009. vol. 5689 of Lecture Notes in Computer Science. Springer; 2009. pp. 40-110. doi:10.1007/978-3-642-03754-2_2.
• [25] Leone N, Pfeifer G, Faber W, Eiter T, Gottlob G, Perri S, et al. The DLV system for knowledge representation and reasoning. ACM Trans Comput Log. 2006;7(3):499-562. doi:10.1145/1149114.1149117.
• [26] Calimeri F, Cozza S, Ianni G, Leone N. Enhancing ASP by Functions: Decidable Classes and Implementation Techniques. In: AAAI 2010. AAAI Press; 2010. pp. 1-5. https://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1563/2276.
• [27] Krötzsch M. Efficient Inferencing for OWL EL. In: JELIA 2010. vol. 6341 of Lecture Notes in Computer Science. Springer; 2010. pp. 234-246. doi:10.1007/978-3-642-15675-5_21.
• [28] Alviano M, Faber W, Leone N, Manna M. Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues. TPLP. 2012;12(4-5):701-718. doi:10.1017/S1471068412000257.
• [29] Bozzato L, Eiter T, Serafini L. Contextualized Knowledge Repositories with Justifiable Exceptions. In: DL2014. vol. 1193 of CEUR-WP. CEUR-WS.org; 2014. pp. 112-123. URL http://ceur-ws.org/Vol-1193/paper_74.pdf.
• [30] Ricca F. The DLV Java Wrapper. In: AGP-2003; 2003. pp. 263-274. URL: URL http://dblp.uni-trier.de/db/conf/agp/agp2003.html#Ricca03.

Uwagi

Opracowanie rekordu w ramach umowy 509/P-DUN/2018 ze środków MNiSW przeznaczonych na działalność upowszechniającą naukę (2018).