> > >Maybe the paper tells me, but have you made any attempts with triple to >axiomatize rdf or owl (to the extent possible)? Thanks for the correction! The paper contains a number of LP(=Prolog-style)-axioms. We haven't written them down as Triple rules yet - I still need to do it. Best, Stefan > > Best, > > Stefan > > > > >rgds, > >geoff -- http://www.isi.edu/~stefanReceived on Tuesday, 1 April 2003 01:39:04 GMT
This archive was generated by hypermail 2.2.0 + w3c-0.30 : Friday, 25 March 2005 11:20:48 GMT