Modularisation of domain ontologies implemented in description logics and related formalisms including OWL

ABSTRACT

Modularity is a key requirement for large ontologies in order to achieve re-use, maintainability, and evolution. Mechanisms for 'normalisation' to achieve analogous aims are standard for databases. However, no similar notion of normalisation has yet emerged for ontologies. This paper proposes initial criteria for a two-step normalisation of ontologies implemented using OWL or related DL based formalisms. For the first - "ontological normalisation" - we accept Welty and Guarino's analysis. For the second - "implementation normalisation" - we propose an approach based on decomposing ("untangling") the ontology into independent disjoint skeleton taxonomies restricted to be simple trees, which can then be recombined using definitions and axioms to represent the relationships between them explicitly.

REFERENCES

• 1: Jon Doyle , Ramesh S. Patil, Two theses of knowledge representation: language restrictions, taxonomic classification, and the utility of representation services, Artificial Intelligence, v.48 n.3, p.261-297, April 1991 [doi>10.1016/0004-3702(91)90029-J]
• 2: Gu, H.H., Perl, Y., Geller, J., Halper, M. and Singh, M. A methodology for partitioning a vocabulary hierarchy into trees. Artificial Intelligence in Medicine, 15 (1999). 77--98.
• 3: Guarino, N. and Welty, C., Towards a methodology for ontology-based model engineering. in ECOOP-2000 Workshop on Model Engineering, (Cannes, France, 2000).
• 4: Haarslev, V. and Moeller, R., Expressive ABox reasoning with number restrictions, role hierarchies, and transitively closed roes. in Pro 7th Int Conf on Knowledge Representation and Reasoning (KR2000), (San Francisco, CA, 2000), Morgan Kaufmann, 273--284.
• 5: Horrocks, I., Using an expressive description logic: FaCT or Fiction. in Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference on Knowledge Representation (KR 98), (San Francisco, CA, 1998), Morgan Kaufmann, 634--647.
• 6: Nowlan, W., Rector, A., Kay, S., Horan, B. and Wilson, A., A Patient Care Workstation Based on a User Centred Design and a Formal Theory of Medical Terminology: PEN&PAD and the SMK Formalism. in Fifteenth Annual Symposium on Computer Applications in Medical Care. SCAMC-91, (Washington DC, 1991), McGraw-Hill, 855--857.
• 7: Rector, A., Bechhofer, S., Goble, C., Horrocks, I., Nowlan, W. and Solomon, W. The GRAIL concept modelling language for medical terminology. Artificial Intelligence in Medicine, 9 (1997). 139--171.
• 8: Rector, A., Solomon, W., Nowlan, W. and Rush, T. A Terminology Server for Medical Language and Medical Information Systems. Methods of Information in Medicine, 34 (1995). 147--157.
• 9: Alan L. Rector , Chris Wroe , Jeremy Rogers , Angus Roberts, Untangling taxonomies and relationships: personal and practical problems in loosely coupled development of large ontologies, Proceedings of the 1st international conference on Knowledge capture, October 22-23, 2001, Victoria, British Columbia, Canada [doi>10.1145/500737.500760]
• 10: Rector, A.L. Clinical Terminology: Why is it so hard? Methods of Information in Medicine, 38 (1999). 239--252.
• 11: Rector, A.L., Zanstra, P.E., Solomon, W.D., Rogers, J.E., Baud, R., Ceusters, W., W Claassen, Kirby, J., Rodrigues, J.-M., Mori, A.R., Haring, E.v.d. and Wagner, J. Reconciling Users' Needs and Formal Requirements: Issues in developing a Re-Usable Ontology for Medicine. IEEE Tran on Information Technology in BioMedicine, 2 (1999). 229--242.
• 12: Francis H. Roger , P. Gronroos , R. R. O'Moore , R. Tervo-Pellikka, Medical Informatics Europe, 1985, Springer-Verlag New York, Inc., Secaucus, NJ, 1985
• 13: Rogers, J.E., Price, C., Rector, A.L., Solomon, W.D. and Smejko, N. Validating clinical terminology structures: Integration and cross-validation of Read Thesaurus and GALEN. Journal of the American Medical Informatics Association (1998). 845--849.
• 14: Rosse, C., Shapiro, I.G. and Brinkley, J.F. The Digital Anatomist foundational model: Principles for defining and structuring its concept domain. Journal of the American Medical Informatics Association (1998). 820--824.
• 15: Solomon, W., Wroe, C., Rogers, J.E. and Rector, A. A reference terminology for drugs. Journal of the American Medical Informatics Association (1999). 152--155.
• 16: Spackman, K.A., Campbell, K.E. and Cote, R.A. SNOMED-RT: A reference Terminology for Health Care. Journal of the American Medical Informatics Association (JAMIA) (1997). 640--644.
• 17: Uschold, M. and Gruninger, M. Ontologies: principles, methods and applications. Knowledge Engineering Review, 11 (1996).
• 18: Raphael Volz , Daniel Oberle , Rudi Studer, Views for light-weight Web ontologies, Proceedings of the 2003 ACM symposium on Applied computing, March 09-12, 2003, Melbourne, Florida [doi>10.1145/952532.952760]
• 19: Christopher Welty , Nicola Guarino, Supporting ontological analysis of taxonomic relationships, Data & Knowledge Engineering, v.39 n.1, p.51-74, October 2001 [doi>10.1016/S0169-023X(01)00030-1]
• 20: Wroe, C. and Cimino, J., Using openGALEN techniques to develop the HL7 drug formulation vocabulary. in American Medical Informatics Association Fall Symposium(AMIA-2001), (2001), 766--770.
• 21: Wroe, C., Stevens, R., Goble, C.A. and Ashburner, M., An Evolutionary Methodology To Migrate The Gene Ontology To A Description Logic Environment Using DAML+OIL. in Pro 8th Pacific Symposium on Biocomputing (PSB), (Hawaii, 2003), 624--635.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.4 Knowledge Representation Formalisms and Methods

General Terms:
Design

Keywords:
OWL, description logics, ontologies, semantic web