- 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>
> > 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 UTC