Article

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

Author:

Alan L. RectorAuthors Info & Claims

K-CAP '03: Proceedings of the 2nd international conference on Knowledge capture

Pages 121 - 128

https://doi.org/10.1145/945645.945664

Published: 23 October 2003 Publication History

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]

Doyle, J. and Patil, R. Two theses of knowledge representation: Language restrictions, taxonomic classification and the utility of representation services. Artificial Intelligence, 48 (1991). 261--297.

Digital Library

[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]

Rector, A., Wroe, C., Rogers, J. and Roberts, A., Untangling taxonomies and relationships: Personal and practical problems in loosely coupled development of large ontologies. in Proceedings of the First International Conference on Knowledge Capture (K-CAP 2001), (Victoria, BC, Canada, 2001), ACM, 139--146.

Digital Library

[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.

Digital Library

[12]

Rogers, J. and Rector, A., The GALEN ontology. in Medical Informatics Europe (MIE 96), (Copenhagen, 1996), IOS Press, 174--178.

Digital Library

[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]

Volz, r., Oberle, D. and Studer, R., Views for light-weight web ontologies. in ACM Symp on Applied Computing (SAC-2003), (Melbourne, Florida, 2003).

Digital Library

[19]

Welty, C. and Guarino, N. Supporting ontological analysis of taxonomic relationships. Data and Knowledge Engineering, 39 (2001). 51--74.

Digital Library

[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.

Cited By

Toro SAnagnostopoulos ABello SBlumberg KCameron RCarmody LDiehl ADooley DDuncan WFey PGaudet PHarris NJoachimiak MKiani LLubiana TMunoz-Torres MO‘Neil SOsumi-Sutherland DPuig-Barbe AReese JReiser LRobb SRuemping TSeager JSid EStefancsik RWeber MWood VHaendel MMungall C(2024)Dynamic Retrieval Augmented Generation of Ontologies using Artificial Intelligence (DRAGON-AI)Journal of Biomedical Semantics10.1186/s13326-024-00320-315:1Online publication date: 17-Oct-2024
https://doi.org/10.1186/s13326-024-00320-3
Svátek VZamazal ONguyen VIvánek JKľuka JVacura M(2023)Focused categorization power of ontologies: General framework and study on simple existential concept expressionsSemantic Web10.3233/SW-23340114:6(1209-1253)Online publication date: 13-Dec-2023
https://doi.org/10.3233/SW-233401
Rus T(2022)Computer Integration within Problem Solving ProcessJournal of Software Engineering and Applications10.4236/jsea.2022.15400415:04(75-102)Online publication date: 2022
https://doi.org/10.4236/jsea.2022.154004
Show More Cited By

Index Terms

Modularisation of domain ontologies implemented in description logics and related formalisms including OWL
1. Computing methodologies
  1. Artificial intelligence
    1. Knowledge representation and reasoning
2. Theory of computation
  1. Logic

Recommendations

Paraconsistent OWL and related logics
Selected papers presented at the Fourth International Conference on Web Reasoning and Rule Systems RR 2010

The Web Ontology Language OWL is currently the most prominent formalism for representing ontologies in Semantic Web applications. OWL is based on description logics, and automated reasoners are used to infer knowledge implicitly present in OWL ...
OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web
WWW '05: Proceedings of the 14th international conference on World Wide Web

The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creators of the languages had hoped for. OWL has a number of problems in the ...
Incremental Classification of Description Logics Ontologies

The development of ontologies involves continuous but relatively small modifications. However, existing ontology reasoners do not take advantage of the similarities between different versions of an ontology. In this paper, we propose a collection of ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

K-CAP '03: Proceedings of the 2nd international conference on Knowledge capture

October 2003

198 pages

ISBN:1581135831

DOI:10.1145/945645

Conference Chairs:
John Gennari
University of Washington
,
Bruce Porter
University of Texas at Austin
,
General Chair:
Yolanda Gil
USC/Information Sciences Institute

Copyright © 2003 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGAI: ACM Special Interest Group on Artificial Intelligence

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 October 2003

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

K-CAP03

Sponsor:

SIGAI

K-CAP03: International Conference on Knowledge Capture 2003

October 23 - 25, 2003

FL, Sanibel Island, USA

Acceptance Rates

Overall Acceptance Rate 55 of 198 submissions, 28%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

108
Total Citations
View Citations
1,479
Total Downloads

Downloads (Last 12 months)5
Downloads (Last 6 weeks)0

Reflects downloads up to 14 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Toro SAnagnostopoulos ABello SBlumberg KCameron RCarmody LDiehl ADooley DDuncan WFey PGaudet PHarris NJoachimiak MKiani LLubiana TMunoz-Torres MO‘Neil SOsumi-Sutherland DPuig-Barbe AReese JReiser LRobb SRuemping TSeager JSid EStefancsik RWeber MWood VHaendel MMungall C(2024)Dynamic Retrieval Augmented Generation of Ontologies using Artificial Intelligence (DRAGON-AI)Journal of Biomedical Semantics10.1186/s13326-024-00320-315:1Online publication date: 17-Oct-2024
https://doi.org/10.1186/s13326-024-00320-3
Svátek VZamazal ONguyen VIvánek JKľuka JVacura M(2023)Focused categorization power of ontologies: General framework and study on simple existential concept expressionsSemantic Web10.3233/SW-23340114:6(1209-1253)Online publication date: 13-Dec-2023
https://doi.org/10.3233/SW-233401
Rus T(2022)Computer Integration within Problem Solving ProcessJournal of Software Engineering and Applications10.4236/jsea.2022.15400415:04(75-102)Online publication date: 2022
https://doi.org/10.4236/jsea.2022.154004
Bravo MGonzález-Villarreal DReyes-Ortiz JSánchez-Martínez L(2022)Modularization Method to Reuse Medical Knowledge GraphsApplied Sciences10.3390/app12221181612:22(11816)Online publication date: 21-Nov-2022
https://doi.org/10.3390/app122211816
Del-Pinto WSchmidt RGao Y(2022)Extracting Subontologies from SNOMED CTThe Semantic Web: ESWC 2022 Satellite Events10.1007/978-3-031-11609-4_43(291-294)Online publication date: 20-Jul-2022
https://doi.org/10.1007/978-3-031-11609-4_43
Babenko VShostak IDanova MFeoktystova O(2021)Creation of Ontological Knowledge Bases in the Semantic Web by Analyzing Table StructuresSemantic IoT: Theory and Applications10.1007/978-3-030-64619-6_9(207-228)Online publication date: 13-Apr-2021
https://doi.org/10.1007/978-3-030-64619-6_9
Haifa DAmeni YMahmoud N(2020)Accomplishment of Multimedia Ontology for the Tunisian Archaeology FieldProceedings of Fifth International Congress on Information and Communication Technology10.1007/978-981-15-5859-7_5(64-72)Online publication date: 1-Oct-2020
https://doi.org/10.1007/978-981-15-5859-7_5
Haifa DAmeni YMahmoud N(2020)Multimedia Ontology of the Tunisian Archaeology FieldAdvanced Intelligent Systems for Sustainable Development (AI2SD’2019)10.1007/978-3-030-36674-2_33(321-330)Online publication date: 6-Feb-2020
https://doi.org/10.1007/978-3-030-36674-2_33
Bravo Contreras MHoyos Reyes LReyes Ortiz J(2019)Methodology for ontology design and constructionContaduría y Administración10.22201/fca.24488410e.2020.236864:4(134)Online publication date: 19-Mar-2019
https://doi.org/10.22201/fca.24488410e.2020.2368
Haifa DAmeni YMahmoud N(2019)Towards a Multimedia Ontology for Tunisian Archaeology Field2019 7th International conference on ICT & Accessibility (ICTA)10.1109/ICTA49490.2019.9144900(1-6)Online publication date: Dec-2019
https://doi.org/10.1109/ICTA49490.2019.9144900
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents