Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[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.
    <owl:someValuesFrom rdf:resource="#MozzarellaTopping"/>
      <owl:ObjectProperty rdf:about="#hasTopping"/>

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.

-----Original Message-----
From: protege-owl-bounces at
[mailto:protege-owl-bounces at] On Behalf Of ozg
Sent: Tuesday, May 27, 2008 1:51 PM
To: protege-owl at
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
restriction. Right?
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

protege-owl mailing list
protege-owl at

Instructions for unsubscribing: 

More information about the protege-owl mailing list