1 / 21

Extending UML to Support Ontology Engineering

Extending UML to Support Ontology Engineering. Kenneth Baclawski and Mieczylaw K. Kokar Northeastern University Paul A. Kogut, William S. Holmes III and Michael L. Aronson Lockheed Martin Management and Data Systems Lewis Hart -- GRC International Jeffrey Smith -- Mercury Computer

thina
Télécharger la présentation

Extending UML to Support Ontology Engineering

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Extending UML to Support Ontology Engineering Kenneth Baclawski and Mieczylaw K. Kokar Northeastern University Paul A. Kogut, William S. Holmes III and Michael L. Aronson Lockheed Martin Management and Data Systems Lewis Hart -- GRC International Jeffrey Smith -- Mercury Computer Jerzy Letkowski -- Western New England College

  2. Knowledge Representation (KR) • Data representation language for knowledge-based systems • Usually based on logic or networks (directed graphs) • Usually do not rigidly separate meta levels • Enables reasoning and semantic interoperability of agents at run-time • Assumes an open rather than closed world.

  3. Example of a KR Dog Company Person Vehicle type type type type type Toyota 853 Rover Berizon isOwned George owns Ford 243

  4. Ontology • Formal, declarative semantic model • Data (instances) conforming to an ontology are called annotations. • An ontology may include: • Vocabulary terms • Taxonomies • Relations • Constraints, rules and assertions

  5. Example Ontology type ObjectProperty Class Person type Ford 243 type type Company type type Vehicle Dog isOwned subClassOf subClassOf type onProperty OwnedByAtMostOne Toyota 853 type type maxCardinality Berizon 1 Restriction

  6. UML as an ontology language • UML class diagrams can define ontologies. • Constraints such as cardinality constraints can be mapped to UML constructs or to OCL. • Statecharts and Activity Diagrams are useful for service and process related ontologies. • See “UML for Ontology Development” to appear in Knowledge Engineering Review

  7. Example Ontology in UML

  8. Advantages of UML for ontology • Leverages UML tools and experience in ontology development. • Provides profiles, packages and other modularity mechanisms currently lacking in knowledge-based systems. • Supports an established mechanism for specifying the behavior associated with knowledge representations.

  9. Limitations of UML • Does not (yet) have a formal semantics. • Not Web enabled. • Does not support properties (associations) as first-class model elements.

  10. RDF and DAML • The Resource Description Framework (RDF) and DARPA Agent Markup Language (DAML) have been proposed as the basis for the “Semantic Web.” • DAML supports semantic interoperability between Web pages, databases, programs and sensors by autonomous agents at run-time.

  11. Mapping UML to DAML

  12. Example ontology in DAML <Class ID="Company"/> <ObjectProperty ID="isOwned"> <inverseOf> <ObjectProperty ID="owns"/> </inverseOf> </ObjectProperty> <Class ID="Person"/> <Restriction ID="OwnedByAtMostOne"> <maxCardinality>1</maxCardinality> <onProperty rdf:resource="#isOwned"/> </Restriction> <Class ID="Vehicle"> <subClassOf rdf:resource="#OwnedByAtMostOne"/> </Class> <Class ID=”Dog"> <subClassOf rdf:resource="#OwnedByAtMostOne"/> </Class>

  13. First-Class Properties • In KR languages, properties are first-class model elements: they can be defined independently of any associated classes. • UML associations must be defined in the context of the associated classes. • KR properties allow one to define aspects of the ontology that cut across the boundaries of classes.

  14. Why not reify? • Why not model KR properties as classes? • It produces complex, unnatural ontologies. • It puts the burden on the ontology developer to reconcile this limitation of UML. • The resulting mapping from UML to DAML is unbounded (i.e., does not stabilize when applied repeatedly).

  15. MOF Specification of proposal

  16. Property Semantics in OCL • A property is a grouping of Association Ends. • Properties cross-cut Associations: no property may have more than one Association End of an Association. allConnections: Set(AssociationEnd); allPropConnections: Set(Property); self.allConnections->intersection(self.allPropConnections:Set(T)):Set(T); size(#T)<=1

  17. Conclusion • UML is a viable language for specifying ontologies and knowledge representations. • We propose a modest extension of UML to make it more compatible with knowledge-based systems by supporting first-class properties.

  18. Example of a KR Company TreeNode Vehicle type type type type type Toyota 853 Node1 Berizon isOwned Node2 isOwned Ford 243

  19. Example Ontology ObjectProperty Class type Ford 243 type type Company type type Vehicle TreeNode isOwned subClassOf subClassOf type onProperty OwnedByAtMostOne Toyota 853 type Berizon type maxCardinality 1 Restriction

  20. Example Ontology in UML

  21. Example ontology in DAML <Class ID="Company"/> <ObjectProperty ID="isOwned"> <inverseOf> <ObjectProperty ID="owns"/> </inverseOf> </ObjectProperty> <Restriction ID="OwnedByAtMostOne"> <maxCardinality>1</maxCardinality> <onProperty rdf:resource="#isOwned"/> </Restriction> <Class ID="Vehicle"> <subClassOf rdf:resource="#OwnedByAtMostOne"/> </Class> <Class ID="TreeNode"> <subClassOf rdf:resource="#OwnedByAtMostOne"/> </Class>

More Related