Thomas A. Alspaugh
Under construction.
This page applies specifically to
Protégé 4.1.
What it is
A GUI for description logic, and specifically for ontologies in OWL.
Originally it appears to have been oriented towards RDL,
and perhaps some of the terminology that may seem confusing
is left over from RDL.
Learning Protégé
The Manchester tutorial ...
Baader ...
-
The tutorial says
it's
(contraction of it is
)
where it means its
(possessive pronoun).
-
is now apparently
the first time
and
thereafter.
Property domains and ranges
You can specify domains and ranges of object properties,
but they do not constrain the domains and ranges.
Instead they are used as axioms from which to draw inferences.
Closedness
…
Classification is not complete
for individuals
…
How to …
-
Get back the tabs and views you started with:
-
Get back the tabs you started with
,
then select the tabs you think you started with.
-
Get back the views you started with in a
particular tab
-
Rename something
-
Create or delete a subclass
There are three buttons at the top of the
Class hierarchy view:
To create a subclass:
- Select the Classes tab.
- Select the Class hierarchy view in that tab.
- Select the parent class.
-
Click the
Add subclass
button
.
To create additional subclasses,
it's easiest to create siblings:
- Select a child class.
-
Click the
Add slbling class
button
.
To delete a class,
select it and click the Delete selected classes
button
.
-
Create or delete an object property
There are three buttons at the top of the
Object property hierarchy view:
To create a property:
- Select the Object properties tab.
-
Select the Object property hierarchy
view in that tab.
- Select the parent property.
-
Click the
Add sub-property
button
.
To create additional sub-properties,
it's easiest to create siblings:
- Select a child property.
-
Click the
Add slbling property
button
.
To delete a property,
select it and click the Delete selected properties
button
.
-
Set characteristics of an object property
- Select the Object properties tab.
- Select the object property P in question.
-
Find the Characteristics pane.
-
Choose the desired characteristics:
- Functional: many-to-one.
- Inverse functional: one-to-many
-
Transitive:
if aPb and bPc
then aPc
-
Symmetric: if aPb
then bPa
-
Asymmetric: if aPb
then not bPa
- Reflexive: aPa
-
Irreflexive: It is not the case that aPa for any a
-
Set relationships among subclasses:
-
Make two or more (sub)classes disjoint
-
Define a superclass to be the union of its subclasses
(set up a covering axiom)
References
- Baader+Nutt2003-bdl
-
Franz Baader and Werner Nutt.
Basic description logics.
In Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors,
The description logic handbook: theory, implementation, and applications, pages 47–100,
Cambridge University Press, 2003.
- Horridge2011-pgbo
-
Matthew Horridge et al.
A Practical Guide To Building OWL Ontologies Using Protégé 4 and CO-ODE Tools.
University of Manchester,
Mar. 2011.