Unit Tests for Ontologies

In software engineering, the notion of unit testing was successfully introduced and applied Unit tests are easy manageable tests for small parts of a program – single units They proved especially useful to capture unwanted changes and side effects during the maintenance of a program, and they grow with the evolution of the program. Ontologies behave quite differently than program units As there is no information hiding in ontology engineering, and thus no black box components, at first the idea of unit testing for ontologies seems not applicable In this paper we motivate the need for unit testing, describe the adaptation to the unit testing approach, and give use cases and examples.

[1]  Ljiljana Stojanovic,et al.  Consistent Evolution of OWL Ontologies , 2005, ESWC.

[2]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[3]  Steffen Staab,et al.  On-To-Knowledge Methodology (OTKM) , 2004, Handbook on Ontologies.

[4]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[5]  Deborah L. McGuinness,et al.  Owl web ontology language guide , 2003 .

[6]  Pompeu Casanovas,et al.  Iuriservice II: ontology development and architectural design , 2005, ICAIL '05.

[7]  Enrico Motta,et al.  The Semantic Web - ISWC 2005, 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005, Proceedings , 2005, SEMWEB.

[8]  Pompeu Casanovas,et al.  Law and the Semantic Web: Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications , 2005, Law and the Semantic Web.

[9]  Pompeu Casanovas,et al.  Iuriservice: An Intelligent Frequently Asked Questions System to Assist Newly Appointed Judges , 2003, Law and the Semantic Web.

[10]  Bijan Parsia,et al.  Debugging OWL ontologies , 2005, WWW '05.

[11]  Boris Motik,et al.  On the Properties of Metamodeling in OWL , 2005, J. Log. Comput..

[12]  Kent Beck,et al.  Kent Beck's Guide to Better Smalltalk: SIMPLE SMALLTALK TESTING , 1997 .

[13]  Asunción Gómez-Pérez,et al.  Building a chemical ontology using Methontology and the Ontology Design Environment , 1999, IEEE Intell. Syst..

[14]  Boris Motik,et al.  Closed World Reasoning in the Semantic Web through Epistemic Operators , 2005, OWLED.

[15]  Francesco M. Donini,et al.  Description logics of minimal knowledge and negation as failure , 2002, TOCL.

[16]  Ljiljana Stojanovic,et al.  Methods and tools for ontology evolution , 2004 .

[17]  Frank van Harmelen,et al.  A Framework for Handling Inconsistency in Changing Ontologies , 2005, SEMWEB.

[18]  Pompeu Casanovas,et al.  IURISERVICE II ONTOLOGY DEVELOPMENT , 2005 .

[19]  Pascal Hitzler,et al.  A Metamodel and UML Profile for Rule-Extended OWL DL Ontologies , 2006, ESWC.