- From: Pat Hayes <phayes@ai.uwf.edu>
- Date: Mon, 22 Oct 2001 14:30:31 -0500
- To: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
- Cc: w3c-rdfcore-wg@w3.org
>At 12:43 PM 10/17/01 -0500, Dan Connolly wrote: >>That is: it's essential that the interpretation of >>an RDF document is a function of the document alone, >>and doesn't vary according to the contents of other >>documents. > >I think I agree with the thrust here, but I'd like to clarify >something: it may be that access to another document will provide >more detailed information about what is stated in a document (e.g. >knowing the domain/range of a property from a separate schema may >allow one to make additional inferences about resources used in an >otherwise stand-alone document). > >The key requirement here seems to be that the interpretation of a >document in isolation cannot be invalidated when some external >document is also consulted. (This seems to be a kind of >monotonicity.) > >Thus, I think what you are asking is that the truth under any given >interpretation of some RDF document is invariant; consulting >another document may restrict the interpretations that are >considered to be models. Right, exactly. Thats how the extended MT would work. A datatyped intepretation is an interpretation (of the vocabulary) and a datatyping scheme (of the nodes) which together satisfy some pretty obvious semantic constraints (that the class extension of a datatype name is that datatype, and that every literal occurrence labels a node which is datatyped consistently with the class membership of the literal value.) Then it all works smoothly in the usual way, where the more you know, the smaller the set of typed interpretations gets. Since the typing is applied to nodes, it's impossible for typing in one graph to directly influence that in another (ie except via their mutual constraints on the shared vocabulary used on those node labels.) Pat >#g > > >------------------------------------------------------------ >Graham Klyne MIMEsweeper Group >Strategic Research <http://www.mimesweeper.com> ><Graham.Klyne@MIMEsweeper.com> >------------------------------------------------------------ -- --------------------------------------------------------------------- IHMC (850)434 8903 home 40 South Alcaniz St. (850)202 4416 office Pensacola, FL 32501 (850)202 4440 fax phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes
Received on Monday, 22 October 2001 15:30:42 UTC