Revision of Ontologies to Accommodate Exceptions : a Typicality-based Approach

• Autorzy: Micalizio R. , Pozzato G. L.

Identyfikatory

DOI

10.3233/FI-2018-1699

• 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

The paper presents a methodology to revise a Description Logic knowledge base when exceptions are detected. The approach exploits concepts and results from techniques developed for debugging Description Logic terminologies. Debugging an inconsistent terminology amounts to identifying a minimal subset of axioms responsible for the inconsistency (i.e., an error to be removed by a knowledge engineer). Exception handling, instead, requires to revise the axioms causing an inconsistency so that a new consistent knowledge base is obtained, encompassing the detected exception about an individual x. To this aim, we make use of a nonmonotonic extension of the Description Logic ALC based on the combination of a typicality operator and the well established nonmonotonic mechanism of rational closure, which allows one to deal with prototypical properties and defeasible inheritance.

Słowa kluczowe

EN

description logics; revision; nonmonotonic reasoning; ontologies; typicality; exceptions

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2018
• Tom: Vol. 161, nr 1/2
• Strony: 163--189
• Opis fizyczny: Bibliogr. 47 poz.

Twórcy

autor

Micalizio R.

• Dipartimento di Informatica, Università di Torino, corso Svizzera 185, 10149 Torino, Italy

autor

Pozzato G. L.

• Dipartimento di Informatica, Università di Torino, corso Svizzera 185, 10149 Torino, Italy

Bibliografia

• [1] Micalizio R, Pozzato GL. Typicality-based Revision for Handling Exceptions in Description Logics. In: Fiorentini C, Momigliano A (eds.), Proceedings of the 31st Italian Conference on Computational Logic (CILC 2016), Milano, Italy, June 20-22, 2016, volume 1645 of CEUR Workshop Proceedings. CEURWS.org, 2016 pp. 158-173. URL http://ceur-ws.org/Vol-1645/paper_23.pdf.
• [2] Schlobach S, Cornet R. Explanation of Terminological Reasoning: A Preliminary Report. In: Calvanese D, Giacomo GD, Franconi E (eds.), Proceedings of the International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003, volume 81 of CEUR Workshop Proceedings. CEUR-WS.org, 2003 pp. 1-10. URL http://ceur-ws.org/Vol-81/schlobach.pdf.
• [3] Schlobach S, Cornet R. Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies. In: Gottlob G, Walsh T (eds.), IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003. Morgan Kaufmann, 2003 pp. 355-362. URL http://dl.acm.org/citation.cfm?id=1630659.1630712.
• [4] Schlobach S. Diagnosing Terminologies. In: Veloso MM, Kambhampati S (eds.), Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA. AAAI Press / The MIT Press. 2005 pp. 670-675. ISBN:1-57735-236-X.
• [5] Kalyanpur A, Parsia B, Cuenca-Grau B, Sirin E. Axiom pinpointing: Finding (precise) justifications for arbitrary entailments in SHOIN (owl-dl). Technical report, UMIACS, 2005-66, 2006.
• [6] Kalyanpur A, Parsia B, Sirin E, Grau BC. Repairing Unsatisfiable Concepts in OWL Ontologies. In: Sure Y, Domingue J (eds.), The Semantic Web: Research and Applications, 3rd European Semantic Web Conference, ESWC 2006, Budva, Montenegro, June 11-14, 2006, Proceedings, volume 4011 of Lecture Notes in Computer Science. Springer. 2006 pp. 170-184. ISBN: 3-540-34544-2.
• [7] Parsia B, Sirin E, Kalyanpur A. Debugging OWL ontologies. In: Ellis A, Hagino T (eds.), Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005. ACM. 2005 pp. 633-640. ISBN:1-59593-046-9.
• [8] Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider P. The Description Logic Handbook - Theory, Implementation, and Applications. Cambridge, 2007.
• [9] Qi G, Liu W, Bell DA. A revision-based approach to handling inconsistency in description logics. Artificial Intelligence Review, 2006. 26(1-2):115-128. doi:10.1007/s10462-007-9044-3.
• [10] Schlobach S, Huang Z, Cornet R, van Harmelen F. Debugging Incoherent Terminologies. Journal of Automated Reasoning, 2007. 39(3):317-349. doi:10.1007/s10817-007-9076-z.
• [11] Giordano L, Gliozzi V, Olivetti N, Pozzato GL. Semantic characterization of rational closure: From propositional logic to description logics. Artificial Intelligence, 2015. 226:1-33. URL https://doi.org/10.1016/j.artint.2015.05.001.
• [12] Lehmann D, Magidor M. What does a conditional knowledge base entail? Artificial Intelligence, 1992. 55(1):1-60. URL https://doi.org/10.1016/0004-3702(92)90041-U.
• [13] Benferhat S, Kaci S, Berre DL, Williams M. Weakening conflicting information for iterated revision and knowledge integration. Artificial Intelligence, 2004. 153(1-2):339-371. URL https://doi.org/10.1016/j.artint.2003.08.003.
• [14] Benferhat S, Baida RE. A stratified first order logic approach for access control. International Journal of Intelligent Systems, 2004. 19(9):817-836. doi:10.1002/int.20026.
• [15] Meyer TA, Lee K, Booth R. Knowledge Integration for Description Logics. In: Veloso MM, Kambhampati S (eds.), Proceedings, The 20th National Conference on Artificial Intelligence and the 17th Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA. AAAI Press / The MIT Press. 2005 pp. 645-650. ISBN:1-57735-236-X.
• [16] Huang Z, van Harmelen F, ten Teije A. Reasoning with Inconsistent Ontologies. In: Kaelbling LP, Saffiotti A (eds.), IJCAI-05, Proceedings of the 19th International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005. ISBN 0938075934, 2005 pp. 454-459. URL http://dl.acm.org/citation.cfm?id=1642293.1642366.
• [17] Nguyen HH, Alechina N, Logan B. Axiom Pinpointing Using an Assumption-Based Truth Maintenance System. In: Kazakov Y, Lembo D, Wolter F (eds.), Proceedings of the 2012 International Workshop on Description Logics, DL 2012, Rome, Italy, June 7-10, 2012, volume 846 of CEUR Workshop Proceedings. CEUR-WS.org, 2012 pp. 27/1-27/11. URL http://ceur-ws.org/Vol-846/paper_49.pdf.
• [18] Cóbe R, Wassermann R. Ontology Repair Through Partial Meet Contraction. In: Booth R, Casini G, Klarman S, Richard G, Varzinczak IJ (eds.), Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, DARe 2015, co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 27, 2015., volume 1423 of CEUR Workshop Proceedings. CEUR-WS.org, 2015 pp. 1-7. URL http://ceur-ws.org/Vol-1423/DARe-15_2.pdf.
• [19] Casini G, Meyer TA. Using Defeasible Information to Obtain Coherence. In: Baral C, Delgrande JP, Wolter F (eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016. AAAI Press, 2016 pp. 537-540.
• [20] Hansson SO. A Textbook of Belief Dynamics - Theory Change and Database Updating. Springer Netherlands, 1999. ISBN:978-0-7923-5324-9, 978-90-481-5125-7.
• [21] Micalizio R, Pozzato GL. Revising Description Logic Terminologies to Handle Exceptions: a First Step. In: Giordano L, Gliozzi V, Pozzato GL (eds.), Proceedings of the 29th Italian Conference on Computational Logic (CILC 2014), Torino, Italy, June 16-18, 2014., volume 1195 of CEUR Workshop Proceedings. CEUR-WS.org, 2014 pp. 225-240. URL http://ceur-ws.org/Vol-1195/long15.pdf.
• [22] Benferhat S, Bouraoui Z, Papini O, Würbel E. Prioritized assertional-based removed sets revision of DL-Lite belief bases. Annals of Mathematics and Artificial Intelligence, 2017. 79(1-3):45-75. doi:10.1007/s10472-015-9494-2.
• [23] Flouris G, Plexousakis D, Antoniou G. On Applying the AGM Theory to DLs and OWL. In: Gil Y, Motta E, Benjamins VR, Musen MA (eds.), The Semantic Web - ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings, volume 3729 of Lecture Notes in Computer Science. Springer. 2005 pp. 216-231. ISBN:3-540-29754-5.
• [24] Alchourrón CE, Gärdenfors P, Makinson D. On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. Journal of Symbolic Logic, 1985. 50(2):510-530.
• [25] Kharlamov E, Zheleznyakov D, Calvanese D. Capturing model-based ontology evolution at the instance level: The case of DL-Lite. Journal of Computer and System Sciences, 2013. 79(6):835-872. URL https://doi.org/10.1016/j.jcss.2013.01.006.
• [26] Micalizio R, Pozzato GL. A Typicality-Based Revision to Handle Exceptions in Description Logics. In: Kaminka GA, Fox M, Bouquet P, Hüllermeier E, Dignum V, Dignum F, van Harmelen F (eds.), ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016), volume 285 of Frontiers in Artificial Intelligence and Applications. IOS Press. 2016 pp. 1650-1651. ISBN:978-1-61499-671-2.
• [27] Giordano L, Gliozzi V, Olivetti N, Pozzato GL. ALC+T: a Preferential Extension of Description Logics. Fundamenta Informaticae, 2009. 96:1-32.
• [28] Baader F, Hollunder B. Embedding Defaults into Terminological Knowledge Representation Formalisms. Journal of Automated Reasoning, 1995. 14(1):149-180. doi:10.1007/BF00883932.
• [29] Ke P, Sattler U. Next Steps for Description Logics of Minimal Knowledge and Negation as Failure. In: Baader F, Lutz C, Motik B (eds.), Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008, volume 353 of CEUR Workshop Proceedings. CEURWS. org, 2008 pp. 15/1-15/11. URL http://ceur-ws.org/Vol-353/KeSattler.pdf.
• [30] 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 2010), volume 6341 of Lecture Notes in Artificial Intelligence. Springer, Helsinki, Finland, 2010 pp. 77-90. doi:10.1007/978-3-642-15675-5_9.
• [31] Casini G, Straccia U. Defeasible Inheritance-Based Description Logics. In: Walsh T (ed.), Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011). Morgan Kaufmann, Barcelona, Spain, 2011 pp. 813-818. doi:10.5591/978-1-57735-516-8/IJCAI11-142.
• [32] Donini FM, Nardi D, Rosati R. Description logics of minimal knowledge and negation as failure. ACM Transactions on Computational Logic (ToCL), 2002. 3(2):177-225. doi:10.1145/505372.505373.
• [33] Bonatti PA, Lutz C, Wolter F. The Complexity of Circumscription in DLs. Journal of Artificial Intelligence Research (JAIR), 2009. 35:717-773. doi:10.1613/jair.2763.
• [34] Krisnadhi AA, Sengupta K, Hitzler P. Local Closed World Semantics: Keep it simple, stupid! In: Rosati R, Rudolph S, Zakharyaschev M (eds.), Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, volume 745 of CEUR Workshop Proceedings. CEUR-WS.org, 2011 pp. 11/1-11/11.
• [35] Eiter T, Lukasiewicz T, Schindlauer R, Tompits H. Combining Answer Set Programming with Description Logics for the Semantic Web. In: Dubois D, Welty C, Williams M (eds.), Principles of Knowledge Representation and Reasoning: Proceedings of the 9th International Conference (KR 2004). AAAI Press, Whistler, Canada, 2004 pp. 141-151.
• [36] Motik B, Rosati R. Reconciling Description Logics and rules. Journal of the ACM, 2010. 57(5). doi:10.1145/1754399.1754403.
• [37] Freund M. Preferential Reasoning in the Perspective of Poole Default Logic. Artificial Intelligence, 1998. 98(1-2):209-235. URL https://doi.org/10.1016/S0004-3702(97)00053-2.
• [38] 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.), Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, volume 8761 of Lecture Notes in Computer Science. Springer, 2014 pp. 92-106. doi:10.1007/978-3-319-11558-0_7.
• [39] Bonatti PA, Faella M, Petrova I, Sauro L. A new semantics for overriding in description logics. Artificial Intelligence, 2015. 222:1-48. URL https://doi.org/10.1016/j.artint.2014.12.010.
• [40] Giordano L, Gliozzi V, Olivetti N, Pozzato GL. A NonMonotonic Description Logic for Reasoning About Typicality. Artificial Intelligence, 2013. 195:165-202. URL https://doi.org/10.1016/j.artint.2012.10.004.
• [41] Kraus S, Lehmann D, Magidor M. Nonmonotonic Reasoning, Preferential Models and Cumulative Logics. Artificial Intelligence, 1990. 44(1-2):167-207. URL https://doi.org/10.1016/0004-3702(90)90101-5.
• [42] Baader F, Peñaloza R. Automata-Based Axiom Pinpointing. Journal of Automated Reasoning, 2010. 45(2):91-129. doi:10.1007/s10817-010-9181-2.
• [43] Baader F, Peñaloza R. Axiom Pinpointing in General Tableaux. Journal of Logic and Computation, 2010. 20(1):5-34.
• [44] Horridge M, Parsia B, Sattler U. Laconic and Precise Justifications in OWL. In: Sheth AP, Staab S, Dean M, Paolucci M, Maynard D, Finin TW, Thirunarayan K (eds.), The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings, volume 5318 of Lecture Notes in Computer Science. Springer. 2008 pp. 323-338. ISBN:978-3-540-88563-4.
• [45] Reiter R. A Theory of Diagnosis from First Principles. Artificial Intelligence, 1987. 32 (1):57-96. URL https://doi.org/10.1016/0004-3702(87)90062-2.
• [46] Giordano L, Gliozzi V, Olivetti N, Pozzato GL. Rational Closure in SHIQ. In: Bienvenu M, Ortiz M, Rosati R, Simkus M (eds.), Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014., volume 1193 of CEUR Workshop Proceedings. CEUR-WS.org, 2014 pp. 543-555. arXiv:1406.2023 [cs.AI]. URL http://ceur-ws.org/Vol-1193/paper_20.pdf.
• [47] Giordano L, Gliozzi V. Encoding a Preferential Extension of the Description Logic SROIQ into SROIQ. In: Esposito F, Pivert O, Hacid M, Ras ZW, Ferilli S (eds.), Proceedings of Foundations of Intelligent Systems - 22nd Int. Symposium, ISMIS 2015, Lyon, France, October 21-23, volume 9384 of Lecture Notes in Computer Science. Springer. 2015 pp. 248-258. ISBN:978-3-319-25251-3.

Uwagi

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