Abstract
There is rapidly growing momentum for web enabled agents that reason about and dynamically integrate the appropriate knowledge and services at run-time. The World Wide Web Consortium and the DARPA Agent Markup Language (DAML) program have been actively involved in furthering this trend. The dynamic integration of knowledge and services depends on the existence of explicit declarative semantic models (ontologies). DAML is an emerging language for specifying machine-readable ontologies on the web. DAML was designed to support tractable reasoning.
We have been developing tools for developing ontologies in the Unified Modeling Language (UML) and generating DAML. This allows the many mature UML tools, models and expertise to be applied to knowledge representation systems, not only for visualizing complex ontologies but also for managing the ontology development process. Furthermore, UML has many features, such as profiles, global modularity and extension mechanisms that have yet to be considered in DAML.
Our paper identifies the similarities and differences (with examples) between UML and DAML. To reconcile these differences, we propose a modest extension to the UML infrastructure for one of the most problematic differences. This is the DAML concept of property which is a first-class modeling element in DAML, while UML associations are not. For example, a DAML property can have more than one domain class. Our proposal is backward-compatible with existing UML models while enhancing its viability for ontology modeling.
While we have focused on DAML in our research and development activities, the same issues apply to many of the knowledge representation languages. This is especially the case for semantic network and concept graph approaches to knowledge representations.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
R. Abbott. Program design by informal english descriptions. Comm. ACM, 26(11), 1983.
T. Berners-Lee, J. Hendler, and O. Lassila. The semantic web. Scientific American, May 2001.
G. Booch, I. Jacobsen, and J. Rumbaugh. OMG Unified Modeling Language Specification, March 2000. Available at http://www.omg.org/technology/documents/formal/-unified_modeling_language.htm.
S. Cranefield. Networked knowledge representation and exchange using uml and rdf. J. of Digital information, 1(8), February 2001.
S. Decker, D. Brickley, J. Saarela, and J. Angele. A query and inference service for RDF. In QL’98-The Query Language Workshop. W3C, 1998.
M. Genesereth. Knowledge interchange format draft proposed american national standard (dpans) ncits.t2/98-004, 1998. Available at http://logic.stanford.edu/kif/dpans.html.
Object Management Group. Meta Object Facility (MOF) Specification, Version 1.3, April 2000. Available at http://www.omg.org/technology/documents/formal/-meta.htm.
J. Heflin, J. Hendler, and S. Luke. Coping with changing ontologies in a distributed environment. In AAAI-99 Workshop on Ontology Management. MIT Press, 1999.
J. Heflin, J. Hendler, and S. Luke. SHOE: A knowledge representation language for Internet applications. Technical Report http://www.cs.umd.edu/projects/plus/SHOE, Institute for Advanced Studies, University of Maryland, 2000.
J. Hendler and D. McGuinness. The DARPA Agent Markup Language. IEEE Intelligent Systems, 15, No. 6:67–73, 2000.
D. McGuinness. Ontologies and online commerce. IEEE Intelligent Systems, Vol. 16, No. 1:8–14, 2001.
D. L. McGuinness, R. Fikes, J. Rice, and S. Wilde. An environment for merging and testing large ontologies. In Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000), 2000.
E. Miller, R. Swick, D. Brickley, and B. McBride. Semantic web activity page, April 2001. Available at http://www.w3.org/2001/sw/.
Resource Description Framework (RDF) Model and Syntax Specification. http://www.w3.org/tr/rec-rdf-syntax, Feburary 1999.
DAML+OIL Design Rationale. http://www.cs.man.ac.uk/horrocks/Slides/index.html, 2001.
DARPA Agent Markup Language Web Site. http://www.daml.org, 2001.
J. Smith. UML Formalization and Transformation. PhD thesis, Northeastern University, Boston, MA, December 1999.
J. Smith, M. Kokar, and K. Baclawski. Formal verification of UML diagrams: A first step towards code generation. In Eighth OOPSLA Workshop on Behavioral Semantics, pages 206–220, November 1999.
J. Smith, M. Kokar, K. Baclawski, and S. DeLoach. UML formalization and transformation. In ECOOP, 2000.
J. Sowa, editor. Knowledge Representation: Logical, Philosophical, and Computational Foundations. PWS Publishing, 2000.
DAML+OIL Specification. http://www.daml.org/2001/03/daml+oil-index.html, 2001.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Baclawski, K. et al. (2001). Extending UML to Support Ontology Engineering for the Semantic Web. In: Gogolla, M., Kobryn, C. (eds) ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools. UML 2001. Lecture Notes in Computer Science, vol 2185. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45441-1_26
Download citation
DOI: https://doi.org/10.1007/3-540-45441-1_26
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42667-7
Online ISBN: 978-3-540-45441-0
eBook Packages: Springer Book Archive