W3C home > Mailing lists > Public > semantic-web@w3.org > July 2014

Re: Should information be merged from several RDF files?

From: Victor Porton <porton@narod.ru>
Date: Mon, 07 Jul 2014 20:06:23 +0300
To: Pat Hayes <phayes@ihmc.us>
Cc: "semantic-web@w3.org" <semantic-web@w3.org>
Message-Id: <5819651404752783@web8h.yandex.ru>
Finally now I think that I should consider incomplete data in an RDF file as erroneous (and ignore it), even when combined from several files it becomes complete. Below there is an example that, generally, combining several RDF files may lead to a nonsense.

An example supporting this behavior:

# In one RDF file
<http://example.org/example-transformation>
	a :transformer ;
	:source-namespace <http://example.org/ns1> ;
	:target-namespace <http://example.org/ns2> ;
	:precedence <#macro> ;
	:script-data [
		a :xslt ;
		:script-url <http://example.org/scripts/foo.xslt> ;
		:transformer-kind :entire ;
		completeness 0.9 ;
		stability 0.9 ;
		preference 0.9
	] .


# In the second RDF file
<http://example.org/example-transformation>
	a :transformer ;
	:source-namespace <http://example.org/ns1> ;
	:target-namespace <http://example.org/ns2> ;
	:precedence <#macro> ;
	:script-data [
		a :xslt ;
		:script-url <http://example.org/scripts/bar.xslt> ;
		:transformer-kind :entire ;
		completeness 0.9 ;
		stability 0.9 ;
		preference 0.9
	] .

This would make both foo.xslt and bar.xslt associated with http://example.org/example-transformation but this is a nonsense. With a transformation only one :script-data can be associated.

So if we follow open world assumption, after downloading the first RDF it would be OK, but after downloading also the second RDF it would become an error. One thing it's bad for, is that this would complicate program logic (as we would need to remove an already filled data structure which contains info about http://example.org/example-transformation).

To make my program logic non-contradictory, I probably should ignore later loaded data about http://example.org/example-transformation if it was already extracted from an RDF loaded earlier.

It seems that open world assumption makes my program logic contradictory!

06.07.2014, 18:02, "Pat Hayes" <phayes@ihmc.us>:
> On Jul 5, 2014, at 10:07 AM, Victor Porton <porton@narod.ru> wrote:
>> šI work on this project:
>> šhttp://freesoft.portonvictor.org/namespaces.xml
>>
>> šIt involves downloading RDF files from the Web.
>>
>> šWhen a "bundle" (for lack of a better word), that is a set of related RDF triples
>
> I really do not know what you mean by 'related' or 'bundle'. Neither of these terms make RDF sense.
>> š, is incomplete it should be ignored.
>
> That is a very odd rule to use when dealing with RDF. It is a basic aspect of the RDF design that information from various sources can be combined, and that no single source should be assumed to be complete (the 'open world' assumption). So you are using RDF here in a way which, while not formally incorrect, does violate the design presumptions of RDF.
>> šMy question, if a bundle is split into several different RDF files, and each part of it is incomplete, should it nevertheless not be ignored if the union of all parts of the bundle is complete?
>
> I would say, clearly no. Which illustrates why this 'ignore' rule is troublesome.
>
> Pat Hayes
>> šA toy example (A, B1, B2, C be namespaces):
>>
>> šIn one file:
>>
>> š<A> <B1> <C> .
>>
>> šIn an other file:
>>
>> š<A> <B2> <C> .
>>
>> šIf both B1 and B2 properties are required, should this information be ignored (as incomplete bundles)? or should the information from the two files be merged and thus considered complete?
>>
>> š--
>> šVictor Porton - http://portonvictor.org
>
> ------------------------------------------------------------
> IHMC šššššššššššššššššššššššššššššššššššš(850)434 8903 home
> 40 South Alcaniz St. ššššššššššš(850)202 4416 ššoffice
> Pensacola ššššššššššššššššššššššššššš(850)202 4440 ššfax
> FL 32502 ššššššššššššššššššššššššššššš(850)291 0667 ššmobile (preferred)
> phayes@ihmc.us ššššššhttp://www.ihmc.us/users/phayes

--
Victor Porton - http://portonvictor.org
Received on Monday, 7 July 2014 17:06:56 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:42:52 UTC