Re: More on: Should information be merged from several RDF files?

08.07.2014, 05:58, "Pat Hayes" <phayes@ihmc.us>:
> On Jul 7, 2014, at 4:17 PM, Victor Porton <porton@narod.ru> wrote:
>> šI am writing a program.
>>
>> šI read RDF files while executing my program.
>>
>> šAfter each RDF loaded, my program does some actions (and probably terminates).
>>
>> šIt is not predictable which RDF file will be loaded next, because in intervals between loading RDF files my program does some computations and the next loaded RDF file depends on these computation.
>>
>> šAs such, I cannot first load all RDF files and merge information in them. Instead of this I need to load RDF files one-by-one and update my program data structure after reading each RDF file.
>>
>> šIf I would read all RDF files at once I would be able just to merge data from all RDF files. But I cannot do that.
>>
>> šUpon reading each RDF file, I update internal data structures of my program based on RDF triples loaded.
>
> So far, nothing you have said tells us why you are using RDF for this application. RDF is intended for use in transmitting assertional information across the Web, analogously with how HTML is designed to transmit hypertext. Does your application have any relationship to this kind of use?

I use RDF to transmit information about namespaces (for example, how to validate a document of a certain namespace, how to convert from one namespace to the other, etc.)

>> šI cannot base building these internal data structures of my program on the result of set-theoretic union of all RDF triples loaded till the moment. The reason for this is that loading an additional RDF may render my data inconsistent
>
> Two points in response.
>
> First, this notion of 'inconsistent' which you are using is not the RDF notion of consistency. You are therefore, apparently, using some kind semantic extension of RDF. (See http://www.w3.org/TR/2014/REC-rdf11-mt-20140225/#semantic-extensions-and-entailment-regimes ) You might do well to try to describe this extension more precisely before proceeding. (The restriction you describe below is defined in the OWL semantic extension: it is the requirement that the predicate be a functional property.)

It seems that librdf which I am going to use does not support "semantic extensions" like OWL. For this reason (and also for efficiency) I am going to write checking semantics hard-coded as Ada programming code.

You ask me to describe my semantic rules. I am going to write them and add to my draft, but I have not yet accomplish this (not quite trivial) work. So please wait.

--
Victor Porton - http://portonvictor.org

Received on Tuesday, 8 July 2014 12:45:44 UTC