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] OWL question about asserting individuals

Skeptic 2000 skeptic2000 at hotmail.com
Wed Apr 18 21:11:34 PDT 2007


 
Hi, I'm new to this mailing-list, so I'm not sure if it's the kind of questions that can be asked here.
 
Let's say I have created a class named A, one named B, and X an object property (range and domain is irrelevant).
 
A is then defined with a necessary and sufficient condition: X someValueOf B.
Now I can create an individual from Thing and assert it of being member of A without caring of this restriction. I'm not sure to understand, why fundamentally, individuals asserted types can circumvent class sets of restrictions.
 
Thanks for help.JFL
_________________________________________________________________
Soyez parmi les premiers à essayer Windows Live Mail.
http://ideas.live.com/programpage.aspx?versionId=5d21c51a-b161-4314-9b0e-4911fb2b2e6d
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-owl/attachments/20070419/b6974e2e/attachment.html>


More information about the protege-owl mailing list