[en] In this paper we propose an algorithm that generalises existing procedures for the implementation of defeasible reasoning in the framework of Description Logics (DLs). One of the well-known approaches
to defeasible reasoning, the so-called KLM approach, is based on constructing specific rankings of defeasible information, and using these rankings to determine priorities in case of conflicting information. Here we propose a procedure that allows us to input any possible ranking of
the defeasible concept inclusions contained in the knowledge base. We analyse and investigate the forms of defeasible reasoning obtained when conclusions drawn are obtained using these rankings.
Disciplines :
Sciences informatiques
Auteur, co-auteur :
CASINI, Giovanni ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Harrison, Michael; University of Cape Town > Computer Science
Meyer, Thomas; University of Cape Town > Computer Science
Swan, Reid; University of Cape Town > Computer Science
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Arbitrary Ranking of Defeasible Subsumption
Date de publication/diffusion :
2019
Nom de la manifestation :
32nd International Workshop on Description Logics (DL 2019)
Lieu de la manifestation :
Oslo, Norvège
Date de la manifestation :
18-21 June 2019
Manifestation à portée :
International
Titre de l'ouvrage principal :
Proceedings of the 32nd International Workshop on Description Logics
Baader, F., Hollunder, B.: How to prefer more specific defaults in terminological default logic. In: Bajcsy, R. (ed.) Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI). pp. 669-675. Morgan Kaufmann Publishers (1993)
Baader, F., Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms. Journal of Automated Reasoning 14(1), 149-180 (1995)
Bonatti, P., Faella, M., Petrova, I., Sauro, L.: A new semantics for overriding in description logics. Artificial Intelligence 222, 1-48 (2015)
Bonatti, P., Faella, M., Sauro, L.: Defeasible inclusions in low-complexity DLs. Journal of Artificial Intelligence Research 42, 719-764 (2011)
Bonatti, P., Lutz, C., Wolter, F.: The complexity of circumscription in description logic. Journal of Artificial Intelligence Research 35, 717-773 (2009)
Bonatti, P., Sauro, L.: On the logical properties of the nonmonotonic description logic DLN. Artificial Intelligence 248, 85-111 (2017)
Britz, K., Casini, G., Meyer, T., Moodley, K., Sattler, U., Varzinczak, I.: Theoretical foundations of defeasible description logics. Tech. rep. (2019), http://ijv.ovh/common/papers/DefeasibleDL.pdf
Britz, K., Casini, G., Meyer, T., Varzinczak, I.: Preferential role restrictions. In: Proceedings of the 26th International Workshop on Description Logics. pp. 93-106 (2013)
Britz, K., Heidema, J., Meyer, T.: Semantic preferential subsumption. In: Lang, J., Brewka, G. (eds.) Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR). pp. 476-484. AAAI Press/MIT Press (2008)
Britz, K., Heidema, J., Meyer, T.: Modelling object typicality in description logics. In: Nicholson, A., Li, X. (eds.) Proceedings of the 22nd Australasian Joint Conference on Artificial Intelligence. pp. 506-516. No. 5866 in LNAI, Springer (2009)
Britz, K., Meyer, T., Varzinczak, I.: Semantic foundation for preferential description logics. In: Wang, D., Reynolds, M. (eds.) Proceedings of the 24th Australasian Joint Conference on Artificial Intelligence. pp. 491-500. No. 7106 in LNAI, Springer (2011)
Britz, K., Varzinczak, I.: Introducing role defeasibility in description logics. In: Michael, L., Kakas, A. (eds.) Proceedings of the 15th European Conference on Logics in Artificial Intelligence (JELIA). pp. 174-189. No. 10021 in LNCS, Springer (2016)
Casini, G., Meyer, T., Moodley, K., Sattler, U., Varzinczak, I.: Introducing defeasibility into OWL ontologies. In: Arenas, M., Corcho, O., Simperl, E., Strohmaier, M., d'Aquin, M., Srinivas, K., Groth, P., Dumontier, M., Heflin, J., Thirunarayan, K., Staab, S. (eds.) Proceedings of the 14th International Semantic Web Conference (ISWC). pp. 409-426. No. 9367 in LNCS, Springer (2015)
Casini, G., Meyer, T., Moodley, K., Varzinczak, I.: Nonmonotonic reasoning in description logics: Rational closure for the ABox. In: Proceedings of the 26th International Workshop on Description Logics. pp. 600-615 (2013)
Casini, G., Meyer, T., Moodley, K., Varzinczak, I.: Towards practical defeasible reasoning for description logics. In: Proceedings of the 26th International Workshop on Description Logics. pp. 587-599 (2013)
Casini, G., Meyer, T., Varzinczak, I.: Taking defeasible entailment beyond rational closure. In: Proceedings of the 16th European Conference on Logics in Artificial Intelligence (JELIA). LNCS, Springer (forthcoming)
Casini, G., Straccia, U.: Rational closure for defeasible description logics. In: Janhunen, T., Niemelä, I. (eds.) Proceedings of the 12th European Conference on Logics in Artificial Intelligence (JELIA). pp. 77-90. No. 6341 in LNCS, Springer-Verlag (2010)
Casini, G., Straccia, U.: Lexicographic closure for defeasible description logics. In: Proceedings of the 8th Australasian Ontology Workshop (AOW). vol. 969, pp. 4-15. CEUR Workshop Proceedings (2012)
Casini, G., Straccia, U.: Defeasible inheritance-based description logics. Journal of Artificial Intelligence Research (JAIR) 48, 415-473 (2013)
Casini, G., Meyer, T., Moodley, K., Nortje, R.: Relevant closure: A new form of defeasible reasoning for description logics. In: Fermé, E., Leite, J. (eds.) Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA). pp. 92-106 (2014)
Casini, G., Straccia, U.: Defeasible inheritance-based description logics. In: Walsh, T. (ed.) Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI). pp. 813-818 (2011)
Casini, G., Straccia, U., Meyer, T.: A polynomial time subsumption algorithm for nominal safe ELO↓ under rational closure. Information Sciences (2018). https://doi.org/10.1016/j.ins.2018.09.037
Donini, F., Nardi, D., Rosati, R.: Description logics of minimal knowledge and negation as failure. ACM Transactions on Computational Logic 3(2), 177-225 (2002)
Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.: Reasoning about typicality in preferential description logics. In: Hölldobler, S., Lutz, C., Wansing, H. (eds.) Proceedings of the 11th European Conference on Logics in Artificial Intelligence (JELIA). pp. 192-205. No. 5293 in LNAI, Springer (2008)
Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.: A non-monotonic description logic for reasoning about typicality. Artificial Intelligence 195, 165-202 (2013)
Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.: Semantic characterization of rational closure: From propositional logic to description logics. Artificial Intelligence 226, 1-33 (2015)
Giordano, L., Dupré, D.T.: Defeasible reasoning in SROEL: from rational entailment to rational closure. Fundam. Inform. 161(1-2), 135-161 (2018)
Giordano, L., Gliozzi, V., Olivetti, N.: Towards a rational closure for expressive description logics: the case of SHIQ. Fundam. Inform. 159(1-2), 95-122 (2018)
Governatori, G.: Defeasible description logics. In: Antoniou, G., Boley, H. (eds.) Rules and Rule Markup Languages for the Semantic Web. pp. 98-112. No. 3323 in LNCS, Springer (2004)
Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: Proceedings of the 12th International Conference on World Wide Web (WWW). pp. 48-57. ACM (2003)
Heymans, S., Vermeir, D.: A defeasible ontology language. In: Meersman, R., Tari, Z. (eds.) CoopIS/DOA/ODBASE. pp. 1033-1046. No. 2519 in LNCS, Springer (2002)
Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44, 167-207 (1990)
Lehmann, D., Magidor, M.: What does a conditional knowledge base entail? Artificial Intelligence 55, 1-60 (1992)
Lutz, C.: The complexity of conjunctive query answering in expressive description logics. Automated Reasoning pp. 179-193 (2008)
Padgham, L., Zhang, T.: A terminological logic with defaults: A definition and an application. In: Bajcsy, R. (ed.) Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI). pp. 662-668. Morgan Kaufmann Publishers (1993)
Pensel, M., Turhan, A.Y.: Including quantification in defeasible reasoning for the description logic EL↓. In: Balduccini, M., Janhunen, T. (eds.) Proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR). pp. 78-84. No. 10377 in LNCS, Springer (2017)
Pensel, M., Turhan, A.: Reasoning in the defeasible description logic EL↓ - computing standard inferences under rational and relevant semantics. Int. J. Approx. Reasoning 103, 28-70 (2018)
Qi, G., Pan, J., Ji, Q.: Extending description logics with uncertainty reasoning in possibilistic logic. In: Mellouli, K. (ed.) Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty. pp. 828-839. No. 4724 in LNAI, Springer (2007)
Quantz, J., Royer, V.: A preference semantics for defaults in terminological logics. In: Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR). pp. 294-305 (1992)
Quantz, J., Ryan, M.: Preferential default description logics. Tech. rep., TU Berlin (1993), www.tu-berlin.de/fileadmin/fg53/KIT-Reports/r110.pdf
Schmidt-Schauß, M., Smolka, G.: Attributive concept descriptions with complements. Artificial intelligence 48(1), 1-26 (1991)
Sengupta, K., Alfa Krisnadhi, A., Hitzler, P.: Local closed world semantics: Grounded circumscription for OWL. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) Proceedings of the 10th International Semantic Web Conference (ISWC). pp. 617-632. No. 7031 in LNCS, Springer (2011)
Straccia, U.: Default inheritance reasoning in hybrid KL-ONE-style logics. In: Bajcsy, R. (ed.) Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI). pp. 676-681. Morgan Kaufmann Publishers (1993)
Varzinczak, I.: A note on a description logic of concept and role typicality for defeasible reasoning over ontologies. Logica Universalis 12(3-4), 297-325 (2018)
