RE: RDF and OWL rules

> -----Original Message-----
> From: Stefan Decker [mailto:stefan@isi.edu]
> Sent: Sunday, March 30, 2003 4:44 PM
> To: Geoff Chappell; 'Jos De_Roo'
> Cc: 'RDF Rules'
> Subject: RE: RDF and OWL rules
> 
> Geoff,
> 
> maybe the following paper is useful:
> 
> 
> Benjamin N. Grosof, Ian Horrocks, Raphael Volz, and Stefan Decker.
> Description logic programs: Combining logic programs with description
> logic. In Proc. of the Twelfth International World Wide Web Conference
> (WWW
> 2003), 2003.
>
http://www.cs.man.ac.uk/~horrocks/Publications/download/2003/p815-li.pdf

Thanks, I'll take a look at it. BTW, the url you gave is to a different
paper - looks like the one you meant is at:

http://www.cs.man.ac.uk/~horrocks/Publications/download/2003/p117-grosof
.pdf

Maybe the paper tells me, but have you made any attempts with triple to
axiomatize rdf or owl (to the extent possible)?

> Best,
>          Stefan
>  
> 
rgds,

geoff