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    

[p4-feedback] open and close world assumption

Dave McComb dave.mccomb at
Sat Nov 30 12:52:33 PST 2013

Make sure the two vintage years are different ( use the differentfrom relation between them) this should be sufficient to infer that v1 is not a vintageClass ( create the complement of vintageClass to convince yourself that it's working)

Sent from my iPhone

On Nov 30, 2013, at 6:14 AM, "Ben salem Wided" <zayd.bensalem at<mailto:zayd.bensalem at>> wrote:


I would like to enforce property restrictions in class instances.
For example in the ontology “wine.owl”, the instances of Vintage class have exactly one “hasVintageYear” relationship to class Thing : Vintage Í =1 hasVintageYear.Thing.
I create an instance v1 of Vintage class and I linked it to two instances (i1 and i2) via hasVintageYear property.
I know that reasoners uses open-world assumption so they will deduce that i1 is same as i2, but is there any way to use close-word assumption and to detect inconsistency if v1 don’t have exactly one“hasVintageYear” relationship?

Thanks in advance.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the p4-feedback mailing list