Visual Modeling of OWL DL Ontologies Using UML

Abstract

Abstract. This paper introduces a visual, UML-based notation for OWL ontologies. We provide a standard MOF2 compliant metamodel which captures the language primitives offered by OWL DL. Similarly, we invent a UML profile, which allows to visually model OWL ontologies in a notation that is close to the UML notation. This allows to develop ontologies using UML tools. Throughout the paper, the significant differences to some earlier proposals for a visual, UML-based notation for ontologies are discussed.

The Advent of Formal Diagrammatic Reasoning Systems

“…In 2003, the Object Management Group requested a metamodel for the purpose of defining ontologies. Following this proposal, [7] provides a UML-based, diagrammatic representation for OWL DL. In these approaches, the focus is on a graphical representation of DL, however, as often emphasized, reasoning is seen as a distinguishing feature of DL and such reasoning is not supported diagrammatically by that treatment.…”

“…Applications For Euler diagrams, the Visual Modelling Group has developed a diagrammatic theorem prover called Edith. 7 Edith automates the search for Euler diagram proofs using a variety of reasoning rule sets and heuristics [71]. For a given rule set, Edith finds a shortest proof.…”

MDSM: A Model-Driven Approach to Semantic Service Selection for Collaborative Business Processes

“…3. The information model is the set service related ontologies described in the standard metamodel ODM [4,9]) (also called ODMNameSpace), while both its functionality (Functionals) in terms of service signature, that are input and output parameters, and specification, that are preconditions and effects, and non-functional parameters (NonFunctionals) such as price, service name and developer are described in the service profile or BlackBox. The GlasBox includes the description of the internal service process and is not considered in this paper.…”

“…Based on [4,9], our initial version of the information model IM of the PIM4SWS is the description logic SHIN(D) related part of the metamodel ODM written in UML; the metamodel of the PIM4SWS-IM is given in [4]. SHIN(D) is the intersection of the description logics underlying OWL-DL and WSML-DL, that are SHOIN(D), respectively, SHIQ(D).…”

Roadmapping and Navigating in the Ontology Visualization Landscape

“…Numerous visualization methods have been proposed for OWL ontologies and many software tools implementing them appeared in the past decade, ranging from semantic-web-specific approaches to proposals of UML 1 profiles [4,14,16] leveraging on the similarity with software engineering models. However, so far no visualization method has been accepted by the majority of the semantic web community as de facto standard.…”