Skip to main content
Top

2017 | OriginalPaper | Chapter

Using Insights from Psychology and Language to Improve How People Reason with Description Logics

Authors : Paul Warren, Paul Mulholland, Trevor Collins, Enrico Motta

Published in: The Semantic Web

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Inspired by insights from theories of human reasoning and language, we propose additions to the Manchester OWL Syntax to improve comprehensibility. These additions cover: functional and inverse functional properties, negated conjunction, the definition of exceptions, and existential and universal restrictions. By means of an empirical study, we demonstrate the effectiveness of a number of these additions, in particular: the use of solely to clarify the uniqueness of the object in a functional property; the replacement of and with intersection in conjunction, which was particularly beneficial in negated conjunction; the use of except as a substitute for and not; and the replacement of some with including and only with noneOrOnly, which helped in certain situations to clarify the nature of these restrictions.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Footnotes
1
conj: A and B; excl disj: not A and B, A and not B; incl disj: A and B, not A and B, A and not B.
 
2
 
3
An alternative would have been to use a non-parametric test. Hopkins et al. (2009) note that a transformation to reduce skewness followed by a parametric test provides greater statistical power at small sample sizes than does a non-parametric test.
 
Literature
go back to reference Blake, A., Stapleton, G., Rodgers, P., Cheek, L., Howse, J.: Does the orientation of an Euler diagram affect user comprehension? In: DMS, pp. 185–190 (2012) Blake, A., Stapleton, G., Rodgers, P., Cheek, L., Howse, J.: Does the orientation of an Euler diagram affect user comprehension? In: DMS, pp. 185–190 (2012)
go back to reference Grice, H.P.: Logic and conversation. In: Cole, P., Morgan, J.L. (eds.) Syntax and Semantics: Speech Acts, vol. 3, pp. 41–58. New York, Academic Press (1975) Grice, H.P.: Logic and conversation. In: Cole, P., Morgan, J.L. (eds.) Syntax and Semantics: Speech Acts, vol. 3, pp. 41–58. New York, Academic Press (1975)
go back to reference Halford, G.S., Andrews, G.: The development of deductive reasoning: how important is complexity? Think. Reason. 10(2), 123–145 (2004)CrossRef Halford, G.S., Andrews, G.: The development of deductive reasoning: how important is complexity? Think. Reason. 10(2), 123–145 (2004)CrossRef
go back to reference Hopkins, W., Marshall, S., Batterham, A., Hanin, J.: Progressive statistics for studies in sports medicine and exercise science. Med. Sci. Sports Exerc. 41(1), 3 (2009)CrossRef Hopkins, W., Marshall, S., Batterham, A., Hanin, J.: Progressive statistics for studies in sports medicine and exercise science. Med. Sci. Sports Exerc. 41(1), 3 (2009)CrossRef
go back to reference Horridge, M., Bail, S., Parsia, B., Sattler, U.: The cognitive complexity of OWL justifications. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011. LNCS, vol. 7031, pp. 241–256. Springer, Heidelberg (2011). doi:10.1007/978-3-642-25073-6_16CrossRef Horridge, M., Bail, S., Parsia, B., Sattler, U.: The cognitive complexity of OWL justifications. In: Aroyo, L., Welty, C., Alani, H., Taylor, J., Bernstein, A., Kagal, L., Noy, N., Blomqvist, E. (eds.) ISWC 2011. LNCS, vol. 7031, pp. 241–256. Springer, Heidelberg (2011). doi:10.​1007/​978-3-642-25073-6_​16CrossRef
go back to reference Horridge, M., Drummond, N., Goodwin, J., Rector, A., Stevens, R., Wang, H.H.: The manchester owl syntax. In: OWL: Experiences and Directions (2006) Horridge, M., Drummond, N., Goodwin, J., Rector, A., Stevens, R., Wang, H.H.: The manchester owl syntax. In: OWL: Experiences and Directions (2006)
go back to reference Johnson-Laird, P.N.: Against logical form. Psychologica Belgica 50(3), 193–221 (2010)CrossRef Johnson-Laird, P.N.: Against logical form. Psychologica Belgica 50(3), 193–221 (2010)CrossRef
go back to reference Johnson-Laird, P.N., Byrne, R.M., Schaeken, W.: Propositional reasoning by model. Psychol. Rev. 99(3), 418 (1992)CrossRef Johnson-Laird, P.N., Byrne, R.M., Schaeken, W.: Propositional reasoning by model. Psychol. Rev. 99(3), 418 (1992)CrossRef
go back to reference Mendonça, E.A., Cimino, J.J., Campbell, K.E., Spackman, K.A.: Reproducibility of interpreting ‘and’ and ‘or’ in terminology systems. In: Proceedings of the AMIA Symposium, p. 790. American Medical Informatics Association (1998) Mendonça, E.A., Cimino, J.J., Campbell, K.E., Spackman, K.A.: Reproducibility of interpreting ‘and’ and ‘or’ in terminology systems. In: Proceedings of the AMIA Symposium, p. 790. American Medical Informatics Association (1998)
go back to reference Nguyen, T.A.T., Power, R., Piwek, P., Williams, S.: Measuring the understandability of deduction rules for OWL. In: Presented at the First International Workshop on Debugging Ontologies and Ontology Mappings, Galway, Ireland (2012) Nguyen, T.A.T., Power, R., Piwek, P., Williams, S.: Measuring the understandability of deduction rules for OWL. In: Presented at the First International Workshop on Debugging Ontologies and Ontology Mappings, Galway, Ireland (2012)
go back to reference R Core Team (2014): R: A language and environment for statistical computing. R Foundation for Statistical Computing, Vienna, Austria (2013). ISBN 3-900051-07-0 R Core Team (2014): R: A language and environment for statistical computing. R Foundation for Statistical Computing, Vienna, Austria (2013). ISBN 3-900051-07-0
go back to reference Rector, A. et al.: OWL pizzas: practical experience of teaching OWL-DL: common errors and common patterns. In: Motta, E., Shadbolt, N.R., Stutt, A., Gibbins, N. (eds.) Engineering Knowledge in the Age of the Semantic Web, EKAW 2004. LNCS, vol. 3257, pp. 63–81. Springer, Berlin (2004)CrossRef Rector, A. et al.: OWL pizzas: practical experience of teaching OWL-DL: common errors and common patterns. In: Motta, E., Shadbolt, N.R., Stutt, A., Gibbins, N. (eds.) Engineering Knowledge in the Age of the Semantic Web, EKAW 2004. LNCS, vol. 3257, pp. 63–81. Springer, Berlin (2004)CrossRef
go back to reference Rector, A.L.: Defaults, context, and knowledge: alternatives for OWL-indexed knowledge bases. In: Pacific Symposium on Biocomputing, pp. 226–237 (2003) Rector, A.L.: Defaults, context, and knowledge: alternatives for OWL-indexed knowledge bases. In: Pacific Symposium on Biocomputing, pp. 226–237 (2003)
go back to reference Warren, P., Mulholland, P., Collins, T., Motta, E.: Making sense of description logics. In: Proceedings of the 11th International Conference on Semantic Systems, pp. 49–56. ACM (2015) Warren, P., Mulholland, P., Collins, T., Motta, E.: Making sense of description logics. In: Proceedings of the 11th International Conference on Semantic Systems, pp. 49–56. ACM (2015)
go back to reference Warren, P., Mulholland, P., Collins, T., Motta, E.: The usability of description logics. In: Presutti, V., d’Amato, C., Gandon, F., d’Aquin, M., Staab, S., Tordai, A. (eds.) ESWC 2014. LNCS, vol. 8465, pp. 550–564. Springer, Cham (2014). doi:10.1007/978-3-319-07443-6_37CrossRef Warren, P., Mulholland, P., Collins, T., Motta, E.: The usability of description logics. In: Presutti, V., d’Amato, C., Gandon, F., d’Aquin, M., Staab, S., Tordai, A. (eds.) ESWC 2014. LNCS, vol. 8465, pp. 550–564. Springer, Cham (2014). doi:10.​1007/​978-3-319-07443-6_​37CrossRef
Metadata
Title
Using Insights from Psychology and Language to Improve How People Reason with Description Logics
Authors
Paul Warren
Paul Mulholland
Trevor Collins
Enrico Motta
Copyright Year
2017
DOI
https://doi.org/10.1007/978-3-319-58068-5_29