Arbitrary Ranking of Defeasible Subsumption

Casini, Giovanni; Harrison, Michael; Meyer, Thomas; Swan, Reid

Download

Paper published in a book (Scientific congresses, symposiums and conference proceedings)

Arbitrary Ranking of Defeasible Subsumption

Casini, Giovanni; Harrison, Michael; Meyer, Thomas et al.

2019 • In Proceedings of the 32nd International Workshop on Description Logics

Peer reviewed

Permalink
https://hdl.handle.net/10993/39647

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

paper-9.pdf

Publisher postprint (560.6 kB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Keywords :

Description logics; Defeasible Reasoning

Abstract :

[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 :

Computer science

Author, co-author :

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

External co-authors :

yes

Language :

English

Title :

Arbitrary Ranking of Defeasible Subsumption

Publication date :

2019

Event name :

32nd International Workshop on Description Logics (DL 2019)

Event place :

Oslo, Norway

Event date :

18-21 June 2019

Audience :

International

Main work title :

Proceedings of the 32nd International Workshop on Description Logics

Publisher :

CEUR

Collection name :

CEUR Workshop Proceedings, Vol. 2373

Peer reviewed :

Peer reviewed

Focus Area :

Computational Sciences

Additional URL :

http://ceur-ws.org/Vol-2373/

European Projects :

H2020 - 690974 - MIREL - MIREL - MIning and REasoning with Legal texts

Funders :

CE - Commission Européenne [BE]

Available on ORBilu :

since 11 June 2019

Statistics

Number of views

96 (2 by Unilu)

Number of downloads

33 (0 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

Bibliography

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)
Bozzato, L., Eiter, T., Serafini, L.: Enhancing context knowledge repositories with justifiable exceptions. Artificial Intelligence 257, 72-126 (2018)
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)