Ontology reuse and application

In this paper, we describe an investigation into the reuse and application of an existing ontology for the purpose of specifying and formally developing software for aircraft design. Our goals were to clearly identify the processes involved in the task, and assess the cost-effectiveness of reuse. Our conclusions are that (re)using an ontology is far from an automated process, and instead requires significant effort from the knowledge engineer. We describe and illustrate some intrinsic properties of the ontology translation problem and argue that fully automatic translators are unlikely to be forthcoming in the foreseeable future. Despite the effort involved, our subjective conclusions are that in this case knowledge reuse was cost-effective, and that it would have taken significantly longer to design the knowledge content of this ontology from scratch in our application. Our preliminary results are promising for achieving larger-scale knowledge reuse in the future.

[1]  Richard Fikes,et al.  Tools for Assembling Modular Ontologies in Ontolingua , 1997, AAAI/IAAI.

[2]  Michael R. Genesereth,et al.  Knowledge Interchange Format , 1991, KR.

[3]  M. R. Genesereth,et al.  Knowledge Interchange Format Version 3.0 Reference Manual , 1992, LICS 1992.

[4]  Michael Uschold,et al.  Knowledge level modelling: concepts and terminology , 1998, The Knowledge Engineering Review.

[5]  Benjamin C. Peirce,et al.  Basic Category Theory for Computer Scientists , 1991 .

[6]  Keith E. Williamson,et al.  Formally specifying engineering design rationale , 1997, Proceedings 12th IEEE International Conference Automated Software Engineering.

[7]  Jan L. Top,et al.  Engineering ontologies , 1997, Int. J. Hum. Comput. Stud..

[8]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[9]  Mark R. Cutkosky,et al.  PACT: an experiment in integrating concurrent engineering systems , 1993, Computer.

[10]  Roy L. Crole,et al.  Categories for Types , 1994, Cambridge mathematical textbooks.

[11]  Gregory R. Olsen,et al.  An Ontology for Engineering Mathematics , 1994, KR.

[12]  Peter Clark,et al.  The Neutral Representation Project , 1997 .