From: <jos.deroo.jd@belgium.agfa.com>

Date: Tue, 23 Apr 2002 12:09:03 +0200

Message-Id: <OFF27B5633.5E51A278-ONC1256BA4.002AA3E2@bayer-ag.com>

To: phayes@ai.uwf.edu

Cc: connolly@w3.org, las@olin.edu, w3c-rdfcore-wg@w3.org

Date: Tue, 23 Apr 2002 12:09:03 +0200

Message-Id: <OFF27B5633.5E51A278-ONC1256BA4.002AA3E2@bayer-ag.com>

To: phayes@ai.uwf.edu

Cc: connolly@w3.org, las@olin.edu, w3c-rdfcore-wg@w3.org

[...] >[To Jos:] >Shouldnt there be slashes in all these examples, eg shouldnt rule 11b be: > >{ :rule11b . ( ?a / ?b ) :append ?c } log:implies { ( ( ?x / ?a ) >/?b ) :append ( ?x / ?c ) } . > >(If not, please explain the syntax a bit more.) ( :a :b ) is shorthand for _:x rdf:type owl:List . _:x owl:first :a . _:x owl:rest _:y . _:y rdf:type owl:List . _:y owl:first :b . _:y owl:rest owl:nil . ( :a / :b ) is shorthand for _:x rdf:type owl:List . _:x owl:first :a . _:x owl:rest :b . so in { :rule11b . ( ?a ?b ) :append ?c } log:implies { ( ( ?x / ?a ) ?b ) :append ( ?x / ?c ) } . the subject of :append is a list of 2 lists and the object is (the appended) list >I don't follow what kind of assertion append: is supposed to be >making here. (I thought append was a function...maybe I'm stuck in >LISP, or something?) well ( :a / :b ) is like LISP's ( cons :a :b ) or PROLOG's [ :a | :b ] and we've kind of (mis)used the verb :append as a binary relation >( ( ?x / ?a ) ?b ) is a list whose first is (another) list, is that right?? that's right Pat >>{ :rule12a } log:implies { ( ?a ( ?a / ?c ) ) :remove ?c } . >>{ :rule12b . ( ?a ?b ) :remove ?c } log:implies { ( ?a ( ?x / ?b ) ) >>:remove ( ?x / ?c ) } . > >?? How does that 'remove' work, exactly?? the subject of :remove is a list of an item-to-be-removed and a list, the object is the list-with-item-removed it only removes the first occurrence of the item in the list it is supporting the declaration of :sameBagAs e.g. to find out that ( :a :a :b ) :sameBagAs ( :b :a :a ) { <http://www.agfa.com/w3c/euler/owl-rules#rule13b> . { <http://www.agfa.com/w3c/euler/owl-rules#rule12b> . { <http://www.agfa.com/w3c/euler/owl-rules#rule12a> } log:implies {( :a ( :a :a)) :remove ( :a)}} log:implies {( :a ( :b :a :a)) :remove ( :b :a)}. { <http://www.agfa.com/w3c/euler/owl-rules#rule13b> . { <http://www.agfa.com/w3c/euler/owl-rules#rule12b> . { <http://www.agfa.com/w3c/euler/owl-rules#rule12a> } log:implies {( :a ( :a)) :remove ( )}} log:implies {( :a ( :b :a)) :remove ( :b)}. { <http://www.agfa.com/w3c/euler/owl-rules#rule13b> . { <http://www.agfa.com/w3c/euler/owl-rules#rule12a> } log:implies {( :b ( :b)) :remove ( )}. { <http://www.agfa.com/w3c/euler/owl-rules#rule13a> } log:implies {( ) :sameBagAs ( )}} log:implies {( :b) :sameBagAs ( :b)}} log:implies {( :a :b) :sameBagAs ( :b :a)}} log:implies {( :a :a :b) :sameBagAs ( :b :a :a)}. -- JosReceived on Tuesday, 23 April 2002 06:09:59 UTC

*
This archive was generated by hypermail 2.4.0
: Friday, 17 January 2020 20:24:12 UTC
*