ABox abduction in the description logic ALC

Journal of Automated Reasoning

Volumn 46, Issue 1, 2011, Pages 43-80

  Klarman, Szymon ^a   Endriss, Ulle ^b   Schlobach, Stefan ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

Abduction; Description logic; Non standard reasoning services; Resolution; Semantic tableaux

Indexed keywords

ABDUCTION; DESCRIPTION LOGIC; NON-STANDARD REASONING SERVICES; RESOLUTION; SEMANTIC TABLEAUX;

BIOMINERALIZATION; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION; ONTOLOGY; SEMANTIC WEB; SEMANTICS; STANDARDS;

DATA DESCRIPTION;

EID: 79851515935     PISSN: 01687433     EISSN: 15730670     Source Type: Journal    
DOI: 10.1007/s10817-010-9168-z     Document Type: Article

References (41)

1. Aliseda-Llera, A.: Seeking Explanations: Abduction in Logic, Philosophy of Science and Artificial Intelligence. PhD thesis, ILLC Disertation Series, University of Amsterdam (1997)
2. PB Andrews 1981 Theorem proving via general matings J. ACM 28 2 193 214 0456.68119 10.1145/322248.322249
3. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)
4. Baader, F., Nutt, W.: Basic description logics. In: Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.) The Description Logic Handbook: Theory, Implementation, and Applications, pp. 47-100. Cambridge University Press (2003)
5. Bachmair, L., Ganzinger, H.: Resolution theorem proving. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 1-82. Elsevier Science Publishers B.V. (2001)
6. Bada, M., Mungall, C., Hunter, L.: A call for an abductive reasoning feature in OWL-reasoning tools toward ontology quality control. In: Proceedings of the 5th International Workshop OWL: Experiences and Directions 2008 (OWLED'08 Karlsruhe) (2008)
7. W Bibel 1981 On matrices with connections J. ACM 28 4 633 645 0468.68097 10.1145/322276.322277 677077 (Pubitemid 12514077)
8. Bienvenu, M.: Complexity of abduction in the EL family of lightweight description logics. In: Proceedings of KR2008, 11th International Conference on Principles of Knowledge Representation and Reasoning (2008)
9. Blackburn, P., van Benthem, J.: Modal logic: a semantic perspective. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic, pp. 1-82. Elsevier (2006)
10. Colucci, S., Noia, T.D., Sciascio, E.D., Donini, F.M., Mongiello, M.: A uniform tableaux-based approach to concept abduction and contraction in ALN. In: Proceedings of the 2004 International Workshop on Description Logics (DL2004) (2004)
11. Cox, P.T., Pietrzykowski, T.: Causes for events: their computation and applications. In: Proceedings of the 8th International Conference on Automated Deduction, pp. 608-621 (1986)
12. Elsenbroich, C.: Instinct for Detection. PhD thesis, Department of Computer Science, King's College London (2005)
13. Elsenbroich, C., Kutz, O., Sattler, U.: A case for abductive reasoning over ontologies. In: Grau, B.C., Hitzler, P., Shankey, C., Wallace, E. (eds.) Proceedings of the OWLED'06 workshop on OWL: Experiences and Directions 2006, vol. 216 (2006)
14. Endriss, U., Mancarella, P., Sadri, F., Terreni, G., Toni, F.: The CIFF proof procedure for abductive logic programming with constraints. In: Alferes, J.J., Leite, J. (eds.) Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA-2004). LNAI, vol. 3229, pp. 31-43. Springer-Verlag (2004) (Pubitemid 41049924)
15. Espinosa Peraldi, S., Kaya, A., Melzer, S., Möller, R., Wessel, M.: Multimedia interpretation as abduction. In: International Workshop on Description Logics (DL-2007) (2007)
16. Flach, P., Kakas, A. (eds.): Abduction and Induction: Essays on their relation and integration. Kluwer Academic Publishers (2000)
17. Gabbay, D.M.: Elementary Logics: A Procedural Perspective. Prentice Hall Europe, UK (1998)
18. Gabbay, D.M., Olivetti, N.: Goal-directed proof theory. Applied Logic Series, vol. 21. Kluwer Academic Publishers (2000)
19. DM Gabbay J Woods 2006 Advice on abductive logic Log. J. IGPL 14 2 182 219 10.1093/jigpal/jzk014 2244770 (Pubitemid 44592745)
20. Haarslev, V., Möller, R.: RACER system description. In: Goré, R., Leitsch, A., Nipkow, T. (eds.) International Joint Conference on Automated Reasoning, IJCAR'2001, pp. 701-705 (2001)
21. Hähnle, R.: Tableaux and related methods. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 101-178. Elsevier Science Publishers B.V. (2001)
22. R Hähnle N Murray E Rosenthal 2004 Linearity and regularity with negation normal form Theor. Comp. Sci. 328 4 325 354 1071.68091 10.1016/j.tcs.2004.09.001
23. Horridge, M., Parsia, B., Sattler, U.: Laconic and precise justifications in OWL. In: The International Semantic Web Conference 2008 (ISWC 08) (2008)
24. Horrocks, I.: The FaCT system. In: de Swart, H. (ed.) Proceedings of the 2nd Int. Conf. on Analytic Tableaux and Related Methods (TABLEAUX'98). Lecture Notes in Artificial Intelligence, vol. 1397, pp. 307-312. Springer (1998) (Pubitemid 128067850)
25. Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning, pp. 57-67 (2006)
26. I Horrocks PF Patel-Schneider F van Harmelen 2003 From SHIQ and RDF to OWL: The making of a web ontology language Journal of Web Semantics 1 1 7 26 (Pubitemid 44914724)
27. AC Kakas RA Kowalski F Toni 1992 Abductive logic programming J. Log. Comput. 2 6 719 770 0778.68081 10.1093/logcom/2.6.719 1218974
28. Kalyanpur, A., Parsia, B., Grau, B.C.: Beyond asserted axioms: Fine-grain justifications for OWL-DL entailments. In: Proceedings of the International Workshop on Description Logics DL'06, (2006)
29. Y Kazakov B Motik 2008 A resolution-based decision procedure for SHOIQ J. Autom. Reason. 40 2-3 89 116 1137.68056 10.1007/s10817-007-9090-1 2418642
30. Klarman, S.: ABox Abduction in Description Logic. Master's thesis, ILLC, University of Amsterdam. http://www.illc.uva.nl/Publications/ResearchReports/ MoL-2008-03.text.pdf (2008)
31. Loveland, D.W.: Automated theorem proving: a logical basis. Fundamental Studies in Computer Science, vol. 6. North-Holland Publishing (1978)
32. MC Mayer F Pirri 1993 First order abduction via tableau and sequent calculi Bull. IGPL 1 1 99 117 0807.03005 10.1093/jigpal/1.1.99 1330526
33. MC Mayer F Pirri 1995 Propositional abduction in modal logic Journal of the Interest Group in Pure and Applied Logics 3 6 907 919 0847.03010 1365220
34. Möller, R., Neumann, B.: Ontology-based reasoning techniques for multimedia interpretation and retrieval. In: Kompatsiaris, Y., Hobson, P. (eds.) Semantic Multimedia and Ontologies: Theory and Applications. Springer (2008)
35. Motik, B., Shearer, R., Horrocks, I.: Optimized reasoning in description logics using hypertableaux. In: Pfenning, F. (ed.) Proceedings of the 21st Conference on Automated Deduction (CADE-21), vol. 4603, pp. 67-83 (2007) (Pubitemid 47545104)
36. G Paul 1993 Approaches to abductive reasoning: an overview Artif. Intell. Rev. 7 2 109 152 10.1007/BF00849080
37. WVO Quine 1959 On cores and prime implicants of truth functions Am. Math. Mon. 66 9 755 760 0201.32203 10.2307/2310460 108439
38. Schild, K.: A correspondence theory for terminological logics: preliminary report. In: Proceedings of IJCAI-91, 12th International Joint Conference on Artificial Intelligence, pp. 466-471. Sidney, AU (1991)
39. S Schlobach Z Huang R Cornet F van Harmelen 2007 Debugging incoherent terminologies J. Autom. Reason. 33 3 317 349 10.1007/s10817-007-9076-z (Pubitemid 47340920)
40. Schurz, G.: Models of Abductive Reasoning. TPD Preprint 1, University of Düsseldorf (2002)
41. Tammet, T.: Resolution Methods for Decision Problems and Finite-Model Building. PhD thesis, Göteborg University (1992)