Selecting Ontology Entailments for Presentation to Users

Artemis Parvizi, Chris Mellish, Kees van Deemter, Yuan Ren, Jeff Z. Pan


Presenting entailments of axioms in a formal ontology is a non-trivial task. This position paper argues that the problem of selecting entailments for presentation to users is not adequately acknowledged or addressed in the literature or in implemented systems. We analyse the problem and consider some different approaches that can help to address the problem.


  1. Androutsopoulos, I., Lampouras, G., and Galanis, D. (2013). Generating natural language descriptions from owl ontologies: the naturalowl system. Journal of AI Research, 48:671-715.
  2. Appelt, D. E. (1987). Bidirectional grammars and the design of natural language generation systems. In workshop on Theoretical issues in natural language processing, pages 206-212.
  3. Davis, B., Iqbal, A. A., Funk, A., Tablan, V., Bontcheva, K., Cunningham, H., and Handschuh, S. (2008). Roundtrip ontology authoring. Springer.
  4. Denaux, R., Thakker, D., Dimitrova, V., and Cohn, A. G. (2012). Interactive semantic feedback for intuitive ontology authoring. In FOIS, pages 160-173.
  5. Fuchs, N. E., Kaljurand, K., and Kuhn, T. (2008). Attempto controlled english for knowledge representation. In Reasoning Web, pages 104-124. Springer.
  6. Grice, H. P. (1970). Logic and conversation. Harvard Univ.
  7. Grosz, B. J., Weinstein, S., and Joshi, A. K. (1995). Centering: A framework for modeling the local coherence of discourse. Computational linguistics, 21(2):203-225.
  8. Halliday, M. A. and Hasan, R. (1976). Cohesion in English. London: Longman.
  9. Horridge, M. and Bechhofer, S. (2011). The OWL API: A Java API for OWL ontologies. Semantic Web, 2(1):11-21.
  10. Kalyanpur, A., Parsia, B., Sirin, E., Grau, B. C., and Hendler, J. (2006). Swoop: A web ontology editing browser. Journal of Web Semantics, 4(2):144-153.
  11. Lascarides, A. and Asher, N. (2007). Segmented discourse representation theory: Dynamic semantics with discourse structure. In Computing meaning, pages 87- 124. Springer.
  12. Liang, S. F., Stevens, R., Scott, D., and Rector, A. (2011). Automatic verbalisation of snomed classes using ontoverbal. In Artificial Intelligence in Medicine, pages 338-342. Springer.
  13. Mellish, C. and Pan, J. Z. (2008). Natural language directed inference from ontologies. Artificial Intelligence, 172(10):1285-1315.
  14. Power, R. (2014). A formal dialogue model for ontology authoring. In the 50th Anniversary Convention of the AISB.
  15. Ren, Y., Parvizi, A., Mellish, C., Pan, J. Z., van Deemter, K., and Stevens, R. (2014). Towards competency question-driven ontology authoring. In The Semantic Web: Trends and Challenges, pages 752-767. Springer.
  16. Uschold, M., Gruninger, M., et al. (1996). Ontologies: Principles, methods and applications. Knowledge engineering review, 11(2):93-136.
  17. Wolters, M. and Nolle, A. (2013). Clickona: An editor for dl-litea based ontology design. In 26th International Workshop on Description Logics. Ulm, Germany.

Paper Citation

in Harvard Style

Parvizi A., Mellish C., van Deemter K., Ren Y. and Z. Pan J. (2014). Selecting Ontology Entailments for Presentation to Users . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2014) ISBN 978-989-758-049-9, pages 382-387. DOI: 10.5220/0005136203820387

in Bibtex Style

author={Artemis Parvizi and Chris Mellish and Kees van Deemter and Yuan Ren and Jeff Z. Pan},
title={Selecting Ontology Entailments for Presentation to Users},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2014)},

in EndNote Style

JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2014)
TI - Selecting Ontology Entailments for Presentation to Users
SN - 978-989-758-049-9
AU - Parvizi A.
AU - Mellish C.
AU - van Deemter K.
AU - Ren Y.
AU - Z. Pan J.
PY - 2014
SP - 382
EP - 387
DO - 10.5220/0005136203820387