W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > June 2002

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

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>
Message-ID: <Pine.GSO.4.44.0206181855380.9042-100000@mail.ilrt.bris.ac.uk>

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 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:49:20 EDT