The Visual Restriction editor is very useful for rapidly expressing simple restrictions on properties of a particular class. But it can also be used more generally to manage restrictions, even those defined against classes in different documents.
Build a library containing the ontology downloaded from http://owl-eclipse.projects.semwebcentral.org/owl/animals, and add it to a project.
Now create a new OWL document called People.owl.
Use the New Class Wizard to create three new classes, Human, Man and Woman.
Use the RDF-XML Editor to add an xmlns alias for the http://owl-eclipse.projects.semwebcentral.org/owl/animals namespace (call it animals), and to
add the following rdfs:subClassOf relationships:
Now switch to the Restriction Editor. Add a new restriction to the Class Man. Notice that the Classes and Properties boxes are populated with the classes from this document (Human, Man, and Woman), but also from those in the animals namespace.
Select animals:hasGender from the Properties box and click finish.
Note that the listed restrictions for Man include not only the new restriction on animals:hasGender, but also all of the inherited restrictions from the animals namespace, including those inherited from Mammal and one that Mammal inherited from Animal.
The italic font on the inherited restrictions indicates that these restrictions are defined in a different document than the current one, and so cannot be edited.
Set the Restriction field to hasValue and the Value field to animals:maleGender. Note that the Value field dialog box is similarly populated with valid values from the included namespace.
The Restriction Editor can also make assertions about Classes defined in other ontologies. Suppose all animals:Animals have at least some animals:Organs. Add a new restriction on animals:Animal with the property animals:madeOf, set the Restriction to someValuesFrom and the Value to animals:Organ.
Notice that the new restriction is added to the Restriction Editor, and that it is also added to the list of restrictions that apply to Man, because of the lineage of that Class.
Editors and Visualizers
Copyright (c) 1999-2004, BBN Technologies, LLC. All rights reserved.
Creating a SWeDE Library
Adding a SWeDE Library to a Project
Creating a new OWL Document
Creating a new Class
Using the RDF-XML Editor
Modifying an existing Restriction
Adding a new Restriction