- From: pat hayes <phayes@ai.uwf.edu>
- Date: Wed, 16 May 2001 21:24:22 -0500
- To: "Jonathan Borden" <jborden@mediaone.net>
- Cc: www-rdf-logic@w3.org
>Pat, > > > > > > >I agree that there currently exists alot of fuzziness in this regard. I >am > > >in the process of trying to clean this up by providing a (hopefully) >logical > > >framework. http://www.rddl.org/SchemaAlgebra is a work in progress > > >addressing some of these issues. > > > > Great. Thanks for the pointers and exposition. I will try to digest them. > >Hopefully you have a robust digestive system. I am certain there are >syntactic issues in the way that I have written the formulae but hopefully >they are intelligable enough for you to understand what I am trying to >represent :-) > > > > > > >'(says 'Jon '(isColor 'sky 'blue)) > > > > > >what is the problem with access to structure? > > > > Ah, but now you have changed the quotation rules (if I follow you). > > This seems to be quotation as in LISP, where it really means > > something different: the quote mark is a tag to prevent evaluation. > >yes. I was specifically assuming the existence of something like an 'eval' >mechanism. > > > > > So it has no semantics at all? I doubt if that is really what you > > mean, since then it would have no point to it, as far as I can see. > > Certainly the RDF literature seems to *want* RDF to actually mean > > something. > >I think the analogy is to LISP where the underlying datatype is a list, and >from this we can build structures that represent knowledge. 'abstract >syntax' is very apropos. In this case RDF triples are identical to car-cdr >register pairs. It is the structures that are built on top of triples that I >expect to be semantically interesting. This viewpoint may not be shared by >all in the RDF community, but nonetheless. This crossed with a longer reply to you in response to your request for suggestions. Obviously we are on the same wavelength. I agree entirely with what you say here. Must rush, dinner calls. Pat --------------------------------------------------------------------- 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 Wednesday, 16 May 2001 22:24:30 UTC