Search Mailing List Archives
[protege-owl] How to make a restriction for "A HasPrerequisite (X and Y and Z)" expression
Pitonyak, Andrew D
PitonyakA at BATTELLE.ORG
Tue May 27 11:14:12 PDT 2008
I can not answer your question, but consider the following:
In the Pizza ontology, they have different types of pizza. Some of the
pizzas require that all of a specific topping be used. In their case,
each of the listed toppings must be used, and only the listed toppings
may be used. You only require that each toping must be used (rather than
Each topping is given its own restriction, which creates an anonymous
class of all individuals that use a specific toping (see Listing 1). The
named pizza is listed as a subclass of the anonymous class, which
implies that it must use the MozzarellaTopping. In other words, there
exists a hasTopping property with the value MozzarellaTopping.
Listing 1. Anonymous class with hasTopping set to MozzarellaTopping.
You do not need to use an anonymous class, you can merely list the
Provide an entry for every value that you desire the property to have.
This forces the property to have specific values, but it does not limit
the property to have only these values.
Finally, you can declare your specific class to be a subclass of the
classes that specify the needed classes.
From: protege-owl-bounces at lists.stanford.edu
[mailto:protege-owl-bounces at lists.stanford.edu] On Behalf Of ozg
Sent: Tuesday, May 27, 2008 1:51 PM
To: protege-owl at lists.stanford.edu
Subject: [protege-owl] How to make a restriction for "A HasPrerequisite
(X and Y and Z)" expression
I'm new and developing an university education ontology.
I added every lecture as a class to the ontology. And I defined a
"HasPrerequisite" meaning some lectures can have 1 or more
If someone wants to take a lecture he/she must have passed from all of
prerequisite lectures. I defined HasPrerequisite property from lecture
lecture. And by making restrictions I adapt the property for each
My question is:
If a lecture has only 1 prerequisite lecture, I define a hasValue
But if a lecture has many prerequisites I can't use hasValue with
anding(intersecting) them. A person can take a lecture if the person
all of the prerequisite lectures. How can I define such a restriction?
"LectureA HasPrerequisite (LectureX and LectureY and LectureZ)"
By making hasValue restrictions for all of the prerequisites one by one.
Or and'ing them and using maybe allValuesFrom restriction.
How can I accomplish this?
Thanks in advance.
View this message in context:
Sent from the Protege - OWL mailing list archive at Nabble.com.
protege-owl mailing list
protege-owl at lists.stanford.edu
Instructions for unsubscribing:
More information about the protege-owl