Abstract
The OWLGrEd ontology editor allows graphical visualization and authoring of OWL 2.0 ontologies using a compact yet intuitive presentation that combines UML class diagram notation with textual Manchester syntax for expressions. We present an extension mechanism for OWLGrEd that allows adding custom information areas, rules and visual effects to the ontology presentation thus enabling domain specific OWL ontology visualizations. The usage of OWLGrEd and its extensions is demonstrated on ontology engineering examples involving custom annotation visualizations, advanced UML class dia-gram constructs and integrity constraints in semantic database schema design.
K. Cerans, J. Ovcinnikova, and G. Barzdins—Partially supported by European Union via European Regional Development Fund project 2011/0009/2DP/2.1.1.1.0/10/APIA/VIAA/112.
R. Liepins and A. Sprogis—Partially supported by Latvian 2010.-2013. National Research Program Nr.2 project Nr.5.
You have full access to this open access chapter, Download conference paper PDF
Similar content being viewed by others
Keywords
- OWL
- UML/OWL profile
- OWLGrEd
- Domain-specific ontology visualization
- Semantic databases
- Integrity constraints
1 Introduction
Intuitive ontology visualization is a key for their learning, exchange, as well as their use in conceptual modeling and semantic database schema design. A number of tools and approaches exist for rendering and/or editing OWL [1, 2] ontologies in a graphical form, including UML Profile for OWL DL [3], ODM [4], TopBraid Composer [5], Protégé [6] plug-in OWLViz [7], OWLGrEd [8, 9]. The approaches of [3, 4, 8, 9] use UML [10, 11] class diagrams to visualize OWL ontologies. A core principle here is to visualize an independent hierarchy of ontology classes and then structure the data and object property visualizations along the property domain and range classes. Depicting OWL classes as UML classes, OWL object properties as association roles and OWL data properties as attributes allows for easy graphical visualization also of subclass assertions, simple cardinality constraints and inverse-of relations. Further OWL ontology constructions (e.g. class expressions, properties with more than one domain assertion, sub-property relations etc.) are then handled by some auxiliary means in the notation and the editor. The design choice for OWLGrEd is to use textual OWL Manchester syntax [12] for class expressions where the graphical notation is not available or is not desired thus allowing compact and comprehensible presentation of up to medium-sized ontologiesFootnote 1 within a single diagram.
Although UML-style class diagram notation for basic OWL constructs can be successfully used in ontology rendering and authoring, there are further features that would be welcome in a graphical ontology editor. Since annotations in OWL 2.0 [2] may carry substantial model information that just does not fit into the “logical” part of the ontology, it would be important to offer means for domain-specific visualization of annotation assertions via specific textual presentation or graphical effects, e.g. as outlined in [13]. As a special case, a UML-style modeling in OWL would benefit from graphical composition or property derived union notation (modeled semantically as annotation assertions to the respective properties).
With the advent of semantic OWL-based databases, such as StarDog [14], an important issue is rising about incorporating integrity constraints [15, 16], also expressed in OWL syntax, in graphical database schema design. As an example of our technology application we provide a domain-specific ontology visualization profile for axiom-level annotations that separate “proper” (i.e. open-world) OWL axioms from integrity constraints, depicted within the same graphical ontology diagram.
The demonstration shows (i) working with OWLGrEd tool to render and author OWL ontologies (ii) OWLGrEd extension mechanism for creating domain-specific ontology visualization tools and (iii) created domain-specific tools, including OWLGrEd/S for integrity constraint specification, at work.
2 OWLGrEd Notation and Editor
OWLGrEdFootnote 2 provides a complete graphical notation for OWL 2 [2], based on UML class diagrams. We visualize OWL classes as UML classes, data properties as class attributes, object properties as associations, individuals as objects, cardinality restrictions on association domain class as UML cardinalities, etc. We enrich the UML class diagrams with the new extension notations, e.g. (cf. [8, 9]):
-
fields in classes for equivalent class, superclass and disjoint class expressions written in Manchester OWL syntax [12];
-
fields in associations and attributes for equivalent, disjoint and super properties and fields for property characteristics, e.g., functional, transitive, etc.;
-
anonymous classes containing equivalent class expression but no name (we show graphically only those anonymous classes that need to have graphic represen-tation in order to be able to describe other ontology concepts in the diagram);
-
connectors (as lines) for visualizing binary disjoint, equivalent, etc. axioms;
-
boxes with connectors for n-ary disjoint, equivalent, etc. axioms;
-
connectors (lines) for visualizing object property restrictions some, only, exactly, as well as cardinality restrictions.
OWLGrEd provides option to specify class expressions in compact textual form rather than using separate graphical element for each logical item within class expression. If an expression is referenced in multiple places, it can optionally be shown as an anonymous class. An anonymous class is also used as a base for property domain/range specification, if this domain/range is not a named class.
Figure 1 illustrates some basic OWLGrEd constructs on simple mini-University ontology, including different notation options for EquivalentClasses assertion, object property restriction and a comment. The notation is explained in more detail in [8].
The OWGrEd editor offers ontology interoperability (import/export) functionality with Protégé 4.1. ontology editor [6]. The principal OWLGrEd usage tool chains are:
-
ontology authoring (create and edit an ontology in OWLGrEd, then export it to Protégé to analyze and possibly submit it to other ontology processing tools)
-
ontology visualization (an ontology that is imported from Protégé is displayed graphically to obtain a comprehensible visual view on it).
Any combination of these two OWLGrEd usage patterns, including ontology round-trip engineering between OWLGrEd and Protégé are possible, as well.
3 Creating Domain-Specific Ontology Visualizations
Domain-specific ontology visualizations in OWLGrEd ontology editor are defined by means of ontology visualization profiles. Each ontology visualization profile consists of a set of visual item (= abstract field) specifications, where each field comprises:
-
(i)
field type (e.g. textual/boolean(= check box)/combo box field)
-
(ii)
field appearance (e.g. visibility and text font style)
-
(iii)
visual effects on ontology diagram symbols and other fields (e.g. symbol color and shape)
-
(iv)
field semantics (what OWL axioms or axiom annotations a value in the field corresponds to).
For an ontology to be visualized in OWLGrEd in a domain-specific way, the corresponding ontology visualization profile has to be created or imported using OWLGrEd visualization profile plug-in. When the ontology created in such domain-specific extension of OWLGrEd is exported to Protégé ontology editor, the ontology diagram node and edge fields that correspond to profile visual items generate the OWL axioms or axiom annotations, as specified in field semantics description.
Consider an ontology A fragment visualized in a domain-specific way, as in Fig. 2. The graphical notation has a new class field “DB” rendered textually with prefix “{DB:” and suffix “}”, a class field “isImportant” whose value “true” is rendered as orange background and 3D shape of the class symbol, and association role sub-field “isComposition” whose value “true” is rendered as diamond symbol on opposite association end. We desire to have these fields correspond to the following axioms:
AnnotationAssertion(A:DBExpr A:AcademicProgram “XProgram”)
AnnotationAssertion(A:DBExpr A:Course “XCourse”)
AnnotationAssertion(A:isImportant A:Teacher “true”)
AnnotationAssertion(A:isComposition A:includes “true”)
This is achieved by semantics declarations: AnnotationAssertion(:DBExpr $subject $value) for the field “DB”, AnnotationAssertion(:isImportant $subject “true”) for the value “true” in the boolean-typed field “isImportant”, and AnnotationAsser-tion(:isComposition $subject “true”) for the value “true” in “isComposition”.
When an ontology that uses the A:isImportant, A:DBExpr and A:isComposition annotations (or other OWL built-in or user defined annotations whose visual image is foreseen in a loaded ontology visualization profile) is imported into OWLGrEd, the editor is able to create the domain-specific visualization (like Fig. 2) automatically.
4 Integrity Constraints in Semantic Database Schema Design
Using the ontology of Fig. 1 as a schema for semantic database would be problematic due to the standard OWL axiom interpretation in “open-world” sense.Footnote 3 The solution we are offering is to mark explicitly the axioms whose interpretation in the open-world sense is undesirable, as integrity constraints.Footnote 4
The OWLGrEd editor is extended by “integrity constraint” visualization profileFootnote 5 that foresees a possibility to attach a (c)-mark (“c” for constraint) to visual places that can be identified as “holding” the concrete axioms, as in Fig. 3 for mini-University.
In the example, for instance, the axiom ObjectPropertyDomain(A:takes A:Student) is annotated to become ObjectPropertyDomain(Annotation(C:isConstraint “true”) A:takes A:Student) for a suitable namespace C holding the isConstraint annotation property. The visual c-notation placed at the beginning of takes-role link is obtained from a “DomainMode” field under the association role takes. The corresponding semantics specification for the “DomainMode” field causing the considered ObjectPropertyDomain-axiom annotation is Annotation(C:isConstraint “true”).
The considered examples outline the potential of domain-specific ontology visualization using OWLGrEd and invite the reader either to apply the demonstrated ontology visualization profiles, or design his/her own ontology visualization tools.
Notes
- 1.
Please see http://owlgred.lumii.lv/examples for some ontology presentations.
- 2.
- 3.
This interpretation would allow to infer e.g. that a person is a student, if he/she has been entered into the database as taking (instead of teaching) a course, or that a student is enrolled in two academic programs just because of taking courses that belong to both of them.
- 4.
- 5.
The extended editor is available as OWLGrEd/S from http://owlgred.lumii.lv/s.
References
Smith, M.K., Welty, C., McGuiness, D.: OWL Web Ontology Language Guide (2004)
Motik, B., Patel-Schneider, P.F., Parsia, B.: OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax (2009)
Brockmans, S., Volz, R., Eberhart, A., Löffler, P.: Visual modeling of OWL DL ontologies using UML. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 198–213. Springer, Heidelberg (2004)
ODM UML profile for OWL. http://www.omg.org/spec/ODM/1.0/PDF/
TopBraid Composer. http://www.topquadrant.com/products/TB_Composer.html
Protégé 4. http://protege.stanford.edu/
Barzdins, J., Barzdins, G., Cerans, K., Liepins, R., Sprogis, A.: OWLGrEd: a UML style graphical notation and editor for OWL 2. In: Proceedings of OWLED 2010 (2010)
Barzdiņš, J., Barzdiņš, G., Čerans, K., Liepiņš, R., Sprogis, A.: UML style graphical notation and editor for OWL 2. In: Forbrig, P., Günther, H. (eds.) BIR 2010. LNBIP, vol. 64, pp. 102–114. Springer, Heidelberg (2010)
Unified Modeling Language: Infrastructure, version 2.1. OMG Specification ptc/06-04-03. http://www.omg.org/docs/ptc/06-04-03.pdf
Unified Modeling Language: Superstructure, version 2.1. OMG Specification ptc/06-04-02. http://www.omg.org/docs/ptc/06-04-02.pdf
OWL 2 Manchester Syntax. http://www.w3.org/TR/owl2-manchester-syntax/
Barzdins, J., Cerans, K., Liepins, R., Sprogis, A.: Advanced ontology visualization with OWLGrEd. In: Proceedings of OWLED 2011 (2011)
Stardog. http://stardog.com/
Tao, J., Sirin, E., Bao, J., McGuinness, D.: Integrity constraints in OWL. In: Proceedings of AAAI 2010 (2010)
Sirin, E., Smith, M., Vallace, E: Opening, closing worlds – on integrity constraints. In: Proceedings of OWLED 2008 (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cerans, K., Liepins, R., Sprogis, A., Ovcinnikova, J., Barzdins, G. (2015). Domain-Specific OWL Ontology Visualization with OWLGrEd. In: Simperl, E., et al. The Semantic Web: ESWC 2012 Satellite Events. ESWC 2012. Lecture Notes in Computer Science(), vol 7540. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-46641-4_38
Download citation
DOI: https://doi.org/10.1007/978-3-662-46641-4_38
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-46640-7
Online ISBN: 978-3-662-46641-4
eBook Packages: Computer ScienceComputer Science (R0)