- From: Jan Grant <Jan.Grant@bristol.ac.uk>
- Date: Tue, 18 Jun 2002 18:59:54 +0100 (BST)
- To: RDFCore Working Group <w3c-rdfcore-wg@w3.org>
Pat indicated at the F2F that entailments "accidentally" drawn would be "harmless". Can someone clear up this example for me? A: <eg:foo1> <rdf:subPropertyOf> <dark:eg:foo2> . <dark:eg:foo2> <rdf:subProperotyOf> <eg:foo3> . <eg:a> <eg:foo1> <eg:b> . B: <eg:foo1> <rdf:subPropertyOf> <dark:eg:foo2> . <dark:eg:foo2> <rdf:subProperotyOf> <eg:foo3> . <eg:a> <dark:eg:foo2> <eg:b> . C: <eg:foo1> <rdf:subPropertyOf> <dark:eg:foo2> . <dark:eg:foo2> <rdf:subProperotyOf> <eg:foo3> . <eg:a> <eg:foo3> <eg:b> . Does A |= C? Does A |= B? B |= C? Awaitening en(light|dark)enment, jan -- jan grant, ILRT, University of Bristol. http://www.ilrt.bris.ac.uk/ Tel +44(0)117 9287088 Fax +44 (0)117 9287112 RFC822 jan.grant@bris.ac.uk stty intr ^m
Received on Tuesday, 18 June 2002 14:00:49 UTC