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] A question Regarding Negation in SWRL

Martin O'Connor martin.oconnor at stanford.edu
Tue Jul 27 08:42:49 PDT 2010


"does not have an owner yet" implies adopting a closed world assumption, 
so is not expressible.

Martin

Matsokis Aristeidis wrote:
>
> Dear All,
>
> When we have a rule like this:
>
> Person(?p)^Car(?c)^hasOwner(?c,?p)->sqwrl:select(?p,?c)
>
> Everything works fine.
>
> However, I ve got no clue how to express the following rule:
>
> Person(?p)^Car(?c)^"NOT"hasOwner(?c,?p=any person)->hasOwner(?c,?p)
>
> I understand that tis is not possible directly.
>
> The idea is that we want each car which does not have owner yet, to 
> have an Owner from the already existing list of persons.
>
> I have seen this: 
> http://protege.cim3.net/cgi-bin/wiki.pl?SWRLLanguageFAQ#nidA3Q but 
> still I have no clue how to express it…
>
> Any tips of how to express this?
>
> Thank you for your time,
>
> Aristeidis
>
> ------------------------------------------------------------------------
>
> _______________________________________________
> protege-owl mailing list
> protege-owl at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-owl
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03
>   




More information about the protege-owl mailing list