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

Rim Touhami rim.touhami at gmail.com
Sat Nov 30 16:30:52 PST 2013


Yes, it is right that I could have a vintage wine without knowing the
vintage year but if I would enforce this (for other situations) I can use
SPARQL queries? This is what you mean?

Thanks.


2013/12/1 Dave McComb <dave.mccomb at semanticarts.com>

> 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>
> 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?
>
> Thanks
>
>
> 2013/11/30 Dave McComb <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>
>> wrote:
>>
>> Hi,
>>
>>
>> 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.
>>
>> <ATT00001.c>
>>
>>
>> _______________________________________________
>> p4-feedback mailing list
>> p4-feedback at lists.stanford.edu
>> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>>
>>
> <ATT00001.c>
>
>
> _______________________________________________
> p4-feedback mailing list
> p4-feedback at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/p4-feedback/attachments/20131201/f56dbaab/attachment.html>


More information about the p4-feedback mailing list