Justification oriented proofs in OWL

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6496 LNCS, Issue PART 1, 2010, Pages 354-369

  Horridge, Matthew ^a   Parsia, Bijan ^a   Sattler, Ulrike ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BIRDS; SEMANTIC WEB;

NATURALLY OCCURRING; ONTOLOGY ENGINEERING; WEB ONTOLOGY LANGUAGE;

ONTOLOGY;

EID: 78650875987     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-17746-0_23     Document Type: Conference Paper

References (18)

1. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook (2003)
2. +. In: KR-MED 2008 (2008)
3. Borgida, A., Calvanese, D., Rodriguez, M.: Explanation in DL-Lite. In: DL 2008 (2008)
4. Horridge, M., Parsia, B., Sattler, U.: Laconic and precise justifications in OWL. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol. 5318, pp. 323-338. Springer, Heidelberg (2008)
5. Horridge, M., Parsia, B., Sattler, U.: Lemmas for justifications in OWL. In: DL 2009 (2009)
6. Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: KR 2006 (2006)
7. Huang, X.: Reconstructing proofs at the assertion level. In: Bundy, A. (ed.) CADE 1994. LNCS, vol. 814, pp. 738-752. Springer, Heidelberg (1994)
8. Johnson-Laird, P.N., Byrne, R.M.J.: Deduction. Psychology Press, San Diego (1991)
9. Kalyanpur, A.: Debugging and Repair of OWL Ontologies. PhD thesis, The Graduate School of the University of Maryland (2006)
10. Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all justifications of OWL DL entailments. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudré-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol. 4825, pp. 267-280. Springer, Heidelberg (2007)
11. Kwong, F.K.H.: Practical approach to explaining script Aℒscript C subsumption. Technical report, The University of Manchester (2005)
12. Motik, B., Patel-Schneider, P.F., Parsia, B.: OWL 2 Web Ontology Language structural specification and functional style syntax. W3C Recommendation, W3C - World Wide Web Consortium (October 2009)
13. Motik, B., Shearer, R., Horrocks, I.: Optimized reasoning in description logics using hypertableaux. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol. 4603, pp. 67-83. Springer, Heidelberg (2007)
14. Newstead, S.E., Brandon, P., Handley, S.J., Dennis, I., Evans, J.S.B.: Predicting the Difficult of Complex Logical Reasoning Problems, vol. 12. Psychology Press, San Diego (2006)
15. Plaisted, D.A., Greenbaum, S.: A structure-preserving clause form translation. Journal of Symbolic Computation (1986)
16. Rips, L.J.: The Psychology of Proof. MIT Press, Cambridge (1994)
17. Schlobach, S.: Explaining subsumption by optimal interpolation. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 413-425. Springer, Heidelberg (2004)
18. Strube, G.: The role of cognitive science in knowledge engineering. In: Proc. of Contemporary Knowledge Engineering and Cognition (1992)