Dan Connolly wrote: [...] > In contrast, the N3 {}s do quote their contents, so it > does *not* follow from > > :Lois :believes { Superman a Hero }. ^: ^: > :Superman owl:sameAs ClarkKent. ^: > > that > > :Lois :believes { :ClarkKent a :Hero }. think I'm starting to understand.. was confused because from {:x :y :z} log:implies {:a :b :c}. :a owl:sameAs d. :x :y :z. {?X ?P ?Y. ?X owl:sameAs ?Z} log:implies {?Z ?P ?Y}. it follows that :d :b :c. have to redo my substitution of equals-by-equals and do it probably just for facts only.. -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/Received on Friday, 8 April 2005 22:53:28 GMT
This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:15:23 GMT