The cognitive complexity of OWL justifications

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

Volumn 7031 LNCS, Issue PART 1, 2011, Pages 241-256

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

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COGNITIVE COMPLEXITY; EXPERIMENTAL PROTOCOLS; MODEL VALIDATION; NATURALLY OCCURRING; OWL ONTOLOGIES; TEST DATA;

EXPERIMENTS; INTERNET PROTOCOLS; ONTOLOGY; SEMANTICS; USER INTERFACES;

SEMANTIC WEB;

EID: 80055052242     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-25073-6_16     Document Type: Conference Paper

References (17)

1. Borgida, A., Calvanese, D., Rodriguez-Muro, M.: Explanation in the DL-lite family of description logics. In: Chung, S. (ed.) OTM 2008, Part II. LNCS, vol. 5332, pp. 1440-1457. Springer, Heidelberg (2008)
2. Davis, M.: Obvious logical inferences. In: IJCAI-1981 (1981)
3. Horridge, M., Parsia, B.: From justifications towards proofs for ontology engineering. In: KR-2010 (2010)
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. Horridge, M., Parsia, B., Sattler, U.: Justification Oriented Proofs in OWL. In: Patel- Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol. 6496, pp. 354-369. Springer, Heidelberg (2010)
7. Johnson-Laird, P.N., Byrne, R.M.J.: Deduction. Psychology Press (1991)
8. Kalyanpur, A., Parsia, B., Sirin, E., Cuenca-Grau, B.: Repairing Unsatisfiable Concepts in OWL Ontologies. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 170-184. Springer, Heidelberg (2006) (Pubitemid 44071158)
9. Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.: Debugging unsatisfiable classes in OWL ontologies. Journal of Web Semantics 3(4) (2005)
10. Kazakov, Y.: RIQ and SROIQ are harder than SHOIQ. In: KR 2008. AAAI Press (2008)
11. Lam, S.C.J.: Methods for Resolving Inconsistencie In Ontologies. PhD thesis, Department of Computer Science, Aberdeen (2007)
12. Lewis, C.H.: Using the thinking-aloud method in cognitive interface design. Research report RC-9265, IBM (1982)
13. Newstead, S., Brandon, P., Handley, S., Dennis, I., Evans, J.S.B.: Predicting the difficulty of complex logical reasoning problems, vol. 12. Psychology Press (2006)
14. Parsons, L.M., Osherson, D.: New evidence for distinct right and left brain systems for deductive versus probabilistic reasoning. Cerebral Cortex 11(10), 954-965 (2001)
15. Rips, L.J.: The Psychology of Proof. MIT Press, Cambridge (1994)
16. Roussey, C., Corcho, O., Vilches-Blázquez, L.: A catalogue of OWL ontology antipatterns. In: Proc. of K-CAP-2009, pp. 205-206 (2009)
17. Strube, G.: The role of cognitive science in knowledge engineering. In: Contemporary Knowledge Engineering and Cognition (1992)