COMPARATION OF OWL ONTOLOGIES REASONERS - Testing Cases with Pellet and Jena

José R. Hilera, Luis Fernández-Sanz, Adela Díez

Abstract

This article describes the results of an evaluation process of four OWL reasoners: Pellet and other three included in Jena framework (OWL Default, OWL Mini, and OWL Micro). A simple ontology about programming languages has been used for the validation process carried out by reasoners and a Java program has been developed for testing different cases: reasoning over the original ontology model and testing different possible inference situations.

References

  1. Pellet, 2011. Pellet: OWL 2 Reasoner for Java, Clark & Parsia. http://clarkparsia.com/pellet.
  2. Reynolds, D., 2010. Jena 2 Inference support, souceforge. http://jena.sourceforge.net/inference/index.html.
Download


Paper Citation


in Harvard Style

R. Hilera J., Fernández-Sanz L. and Díez A. (2011). COMPARATION OF OWL ONTOLOGIES REASONERS - Testing Cases with Pellet and Jena . In Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT, ISBN 978-989-8425-77-5, pages 419-422. DOI: 10.5220/0003471404190422


in Bibtex Style

@conference{icsoft11,
author={José R. Hilera and Luis Fernández-Sanz and Adela Díez},
title={COMPARATION OF OWL ONTOLOGIES REASONERS - Testing Cases with Pellet and Jena},
booktitle={Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,},
year={2011},
pages={419-422},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003471404190422},
isbn={978-989-8425-77-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Software and Database Technologies - Volume 2: ICSOFT,
TI - COMPARATION OF OWL ONTOLOGIES REASONERS - Testing Cases with Pellet and Jena
SN - 978-989-8425-77-5
AU - R. Hilera J.
AU - Fernández-Sanz L.
AU - Díez A.
PY - 2011
SP - 419
EP - 422
DO - 10.5220/0003471404190422