Extending UML to support ontology engineering for the semantic web

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2185, Issue , 2001, Pages 342-360

  Baclawski, Kenneth ^b   Kokar, Mieczyslaw K ^b   Kogut, Paul A ^a   Hart, Lewis ^e   Smith, Jeffrey ^c   Holmes Iii, William S ^a   Letkowski, Jerzy ^d   Aronson, Michael L ^a  

^a LOCKHEED MARTIN   (United States)

^b NORTHEASTERN UNIVERSITY   (United States)

^c Mercury Computer   (United States)

^d WESTERN NEW ENGLAND UNIVERSITY   (United States)

^e GRC International   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION LANGUAGES; KNOWLEDGE REPRESENTATION; MARKUP LANGUAGES; ONTOLOGY; SEMANTIC WEB;

DARPA AGENT MARKUP LANGUAGES; DECLARATIVE SEMANTICS; INTEGRATION OF KNOWLEDGE; KNOWLEDGE REPRESENTATION LANGUAGE; ONTOLOGY DEVELOPMENT; ONTOLOGY ENGINEERING; RESEARCH AND DEVELOPMENT; WORLD WIDE WEB CONSORTIUMS;

UNIFIED MODELING LANGUAGE;

EID: 84948978962     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45441-1_26     Document Type: Conference Paper

References (21)

1. R. Abbott. Program design by informal english descriptions. Comm. ACM, 26(11), 1983
2. T. Berners-Lee, J. Hendler, and O. Lassila. The semantic web. Scientific American, May 2001
3. G. Booch, I. Jacobsen, and J. Rumbaugh. OMG Unified Modeling Language Specification, March 2000. Available at www.omg.org/technology/documents/formal/-unifiedmodelinglanguage.htm
4. S. Cranefield. Networked knowledge representation and exchange using uml and rdf. J. of Digital information, 1(8), February 2001
5. 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
6. M. Genesereth. Knowledge interchange format draft proposed american national standard (dpans) ncits.t2/98-004, 1998. Available at logic.stanford.edu/kif/dpans.html
7. Object Management Group. Meta Object Facility (MOF) Specification, Version 1.3, April 2000. Available at www.omg.org/technology/documents/formal/-meta.htm
8. 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
9. J. Heflin, J. Hendler, and S. Luke. SHOE: A knowledge representation language for Internet applications. Technical Report www.cs.umd.edu/projects/plus/SHOE, Institute for Advanced Studies, University of Maryland, 2000
10. J. Hendler and D. McGuinness. The DARPA Agent Markup Language. IEEE Intelligent Systems, 15, No. 6:67-73, 2000
11. D. McGuinness. Ontologies and online commerce. IEEE Intelligent Systems, Vol. 16, No. 1:8-14, 2001
12. 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
13. E. Miller, R. Swick, D. Brickley, and B. McBride. Semantic web activity page, April 2001. Available at www.w3.org/2001/sw/
14. Resource Description Framework (RDF) Model and Syntax Specification. www.w3.org/tr/rec-rdf-syntax, Feburary 1999
15. DAML+OIL Design Rationale. www.cs.man.ac.uk/horrocks/Slides/index.html, 2001
16. DARPA Agent Markup Language Web Site. www.daml.org, 2001
17. J. Smith. UML Formalization and Transformation. PhD thesis, Northeastern University, Boston, MA, December 1999
18. 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
19. J. Smith, M. Kokar, K. Baclawski, and S. DeLoach. UML formalization and transformation. In ECOOP, 2000
20. J. Sowa, editor. Knowledge Representation: Logical, Philosophical, and Computational Foundations. PWS Publishing, 2000
21. DAML+OIL Specification. www.daml.org/2001/03/daml+oil-index.html, 2001.