>Pat, > >we have tried to summarize that >at http://www.agfa.com/w3c/euler/rdfd-theory.n3 >is that making sense ??? Is that 'a' in the first triple in the antecedent shorthand for rdf:type?? If so that seems to all make sense, except the first triple in the antecedents ought to be ?d a rdf:DataType . Ie d is in the class of datatypes. dType is the datatyping property. Of course this doesn't actually state the literal-interpretation rules, but I don't think you can say those in RDF. I'd prefer to state the second rule consequent as ?d rdfs:subPropertyOf rdf:value . but I can see that would give you a much longer inference path. Your version ought to work, though, in every case I can think of :-) Pat PS On a different topic, did Ora contact you about the closure rules? He has some startling statistics on how redundant they are. -- --------------------------------------------------------------------- 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/~phayesReceived on Wednesday, 6 February 2002 18:58:50 EST
This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:45:06 EDT