W3C home > Mailing lists > Public > public-rif-wg@w3.org > December 2008

Re: local value space in Herbrand interpretations

From: Michael Kifer <kifer@cs.sunysb.edu>
Date: Tue, 16 Dec 2008 13:11:14 -0500
To: Chris Welty <cawelty@gmail.com>
Cc: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
Message-ID: <20081216131114.666d58bf@kiferserv>

> > Do you have preferences about how to combine the document id and the lexical
> > part of a rif:local constant to a value?

Why do we have to specify a preference here? He is talking about an
internal representation in his own implementation.

michael


On Tue, 16 Dec 2008 13:00:46 -0500
Chris Welty <cawelty@gmail.com> 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.
> > 
> > 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 18:12:06 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:34:00 GMT