Re: local value space in Herbrand interpretations

On Tue, 16 Dec 2008 19:34:00 +0000
Axel Polleres <axel.polleres@deri.org> wrote:

> 
> Chris Welty wrote:
> > 
> > 
> > This is a public comment sent by Thomas on Nov 7 that was overlooked.  I 
> > think I understand what he's asking, has anyone thought about this?
> > 
> > -Chris
> > 
> > Thomas Krekeler wrote:
> >> Hello,
> >>
> >> my question is about the value space of rif:local in Herbrand
> >> interpretations.
> 
> I suggest to answer as follows:
> 
> rif:local is a symbol space in RIF, not a datatype. That means it 
> doesn't have a particular value space or lexical-to-value mapping defined.
> 
> Given this, I am unsure about what the question means, but maybe that 
> already gives an answer?

I also am not sure what he wants. My interpretation is that he is
asking about a "preferred way to implement" these things. If so, he has
correctly understood that an obvious way to implement them is to give these
symbols unique names in different documents. He also proposes a way to do so,
and his method is perfectly reasonable.

> BTW: also note that RIF is not restricted to Herbrand interpretations.

Right. But just looking at Herbrand interpretations is enough for his purposes.
So, in short, I think our answer should be just "yes". :-)

michael

 
> Axel
> 
> >> One cannot just us the lexical space as value space since this would
> >> completely drop the idea of being local to a document.
> >> So, the document id should be a part of the Herbrand interpretation of a
> >> rif:local constant.
> >>
> >> Do you have preferences about how to combine the document id and the 
> >> lexical
> >> part of a rif:local constant to a value?
> >>
> >> Thanks!
> >>
> >> Best Regards,
> >> Thomas
> >>
> >>
> >> -- 
> >> Thomas Krekeler
> >> Research & Development
> >> ontoprise GmbH - know how to use Know-how
> >> ------
> >> Ontoprise offers services for companies around Semantic MediaWiki: 
> >> http://www.ontoprise.de/content/e991/e1060/e1684/index_eng.html
> >> ------
> >> An der RaumFabrik 29; 76227 Karlsruhe
> >> Tel.: +49 (0) 721 509 809 64; Fax: +49 (0) 721 509 809 11
> >> eMail: krekeler@ontoprise.de
> >> www: http://www.ontoprise.de
> >> ------
> >> Sitz der Gesellschaft (registered office): Karlsruhe, Germany, 
> >> Amtsgericht
> >> Mannheim, HRB 109540 Geschäftsführer (managing directors): Prof. Dr. 
> >> Juergen
> >> Angele, Dipl.Wi.-Ing. Hans-Peter Schnurr  
> >>
> >>
> >>
> > 
> 
>

Received on Tuesday, 16 December 2008 20:49:34 UTC