Search Mailing List Archives
[p4-feedback] open and close world assumption
dave.mccomb at semanticarts.com
Sat Nov 30 15:26:58 PST 2013
Not really/ not easily. For the same reason I know you have a birthday without knowing what it is, you could have a vintage wine without knowing the vintage year.
In spark you could create a query to give wins without a vintage ( but they are not provably non vintage)
Sent from my iPad
On Nov 30, 2013, at 1:31 PM, "Ben salem Wided" <zayd.bensalem at gmail.com<mailto:zayd.bensalem at gmail.com>> wrote:
Thank you for your reply,
Yes it work when I used the differentfrom relation between instances!
But I would like also to detect inconsistency when v1 have no vintage year. In other words, I would detect or prevent that a vintage is added to the KB without the vintage year information.
It is not real with Open Word Assumption but I would know is there a manner to enforce this in OWL?
2013/11/30 Dave McComb <dave.mccomb at semanticarts.com<mailto:dave.mccomb at semanticarts.com>>
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 gmail.com<mailto:zayd.bensalem at gmail.com>> 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.
p4-feedback mailing list
p4-feedback at lists.stanford.edu<mailto:p4-feedback at lists.stanford.edu>
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the p4-feedback