Dark triples, current closure / entailment rules, can someone clarify?

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