Search Mailing List Archives
[protege-owl] Mapping Class level constraints to subclasses
nick.drummond at cs.manchester.ac.uk
Tue Mar 3 07:03:18 PST 2009
Let me see if I've interpreted your question correctly.
classA has two subclasses A#1 and A#2
classB has several subclasses B#1, B#2 etc
"All classAs are related to at least one classB via property hasMember"
classA -> hasMember some classB
Now you want to say that instances of A#1 (for example) are MORE
SPECIFICALLY only related to B#1s or B#2s.
A#1 -> hasMember only (B#1 or B#2)
Or "all A#1s have at least one member from B#1 or B#2 and no other classes"
This is fine and there is no conflict with the restriction inherited
2009/3/3 babar shahzad <babarathotmail at yahoo.com>:
> Hi every one,
> I have a question: how a class level restriction/relation propagate to a subclass.
> ->A # 1
> ->A # 2
> ->B # 1
> ->B # 2
> ->B # 3
> ' classA hasMember ∋classB ' is a class level relation/constraint.
> Now ' class A # 1 comprise of B # 1 & B # 2 '
> How can we insert this condition in protege ?
> Do we add a universal quantifier explicitly for A # 1 ?
> Babar Shahzad Chaudary,
> Deptt of Information Processing
> University of Oulu, Finland.
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
More information about the protege-owl