Reasoner Performance on Ontologies for Operations

Scott Bell, Jim Carciofini, Mark Boddy, Pete Bonasso

Abstract

While creating a software suite of ontology tools for operations, we encountered several reasoner performance scaling issues. This paper describes the symptoms, the diagnosis, and the mitigation strategies used.

References

  1. Dentler, K., Cornet, R., ten Teije, A., and de Keizer, N. (2011). Comparison of reasoners for large ontologies in the OWL 2 EL profile. Semantic Web, 2(2):71-87.
  2. Horrocks, I., Patel-Schneider, P. F., Boley, H., Tabet, S., Grosof, B., and Dean, M. (2004). SWRL: A semantic web rule language combining OWL and RuleML. W3c member submission, World Wide Web Consortium.
  3. Kang, Y.-B., Li, Y.-F., and Krishnaswamy, S. (2012). Predicting reasoning performance using ontology metrics. In The Semantic Web-ISWC 2012, pages 198-214. Springer.
  4. Kang, Y.-B., Pan, J. Z., Krishnaswamy, S., Sawangphol, W., and Li, Y.-F. (2014). How long will it take? accurate prediction of ontology reasoning performance.
  5. Riboni, D. and Bettini, C. (2011). OWL 2 modeling and reasoning with complex human activities. Pervasive and Mobile Computing, 7(3):379-395.
  6. S. Bell, R. B., Boddy, M., Kortenkamp, D., and Schreckenghost, D. (2013). PRONTOE: A case study for developing ontologies for operations. In International Conference on Knowledge Engineering and Ontology Development, Vilamoura, Portugal.
  7. Shearer, R., Motik, B., and Horrocks, I. (2008). HermiT: A highly-efficient OWL reasoner. In Ruttenberg, A., Sattler, U., and Dolbear, C., editors, Proc. of the 5th Int. Workshop on OWL: Experiences and Directions (OWLED 2008 EU), Karlsruhe, Germany.
  8. Sirin, E., Parsia, B., Grau, B. C., Kalyanpur, A., and Katz, Y. (2007). Pellet: A practical owl-dl reasoner. Web Semant., 5(2):51-53.
  9. W3C OWL Working Group (27 October 2009). OWL 2 Web Ontology Language: Document Overview. W3C Recommendation. http://www.w3.org/TR/owl2-overview.
Download


Paper Citation


in Harvard Style

Bell S., Carciofini J., Boddy M. and Bonasso P. (2014). Reasoner Performance on Ontologies for Operations . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2014) ISBN 978-989-758-049-9, pages 304-311. DOI: 10.5220/0005082703040311


in Bibtex Style

@conference{keod14,
author={Scott Bell and Jim Carciofini and Mark Boddy and Pete Bonasso},
title={Reasoner Performance on Ontologies for Operations},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2014)},
year={2014},
pages={304-311},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005082703040311},
isbn={978-989-758-049-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2014)
TI - Reasoner Performance on Ontologies for Operations
SN - 978-989-758-049-9
AU - Bell S.
AU - Carciofini J.
AU - Boddy M.
AU - Bonasso P.
PY - 2014
SP - 304
EP - 311
DO - 10.5220/0005082703040311