RE: Examples of OWL used for datatype inferencing?

Geoff,

Thanks for the comments. We will take them into consideration in our
next revision of the document.

Ian

On November 2, Geoff Chappell writes:
> 
> FYI, Looks like the rdf examples are broken in the second doc you
> referenced. I believe e.g:
> 
> 	<owlr:argument1 rdf:about="#_y" />
> 
> should be:
> 
> 	<owlr:argument1 rdf:resource="#_y" />
> 
> Also, IMHO, might be a good idea to follow usual conventions wrt
> capitalization of class names - e.g. use <owlr:ClassAtom> instead of
> <owlr:classAtom>.
> 
> It's nice to see some movement on the rules front.
> 
> regards,
> 
> Geoff Chappell
> 
> > -----Original Message-----
> > From: www-rdf-logic-request@w3.org
> [mailto:www-rdf-logic-request@w3.org]
> > On Behalf Of Ian Horrocks
> > Sent: Sunday, November 02, 2003 5:44 AM
> > To: Graham Klyne
> > Cc: www-rdf-logic@w3.org
> > Subject: Re: Examples of OWL used for datatype inferencing?
> > 
> > 
> > OWL's datatype support is currently fairly rudimentry and does not
> > include any means of expressing the kinds of knowledge you
> > describe. One way to do so, while still maintaining decidability (for
> > OWL DL at least) would be to extend the language with n-ary datatype
> > predicates (see, e.g., [1]). Another way would be to include
> > arithmetic built-ins in an expressive extension such as horn rules
> > (see, e.g., [2]), but this would almost certainly make the language
> > undecidable.
> > 
> > Ian
> > 
> > [1]
> >
> http://www.cs.man.ac.uk/~horrocks/Publications/download/2003/PaHo03a.pdf
> > [2] http://www.cs.man.ac.uk/~horrocks/DAML/Rules/
> > 
> >

Received on Thursday, 6 November 2003 04:48:08 UTC