- From: Graham Klyne <GK@ninebynine.org>
- Date: Thu, 06 Nov 2003 10:24:21 +0000
- To: Ian Horrocks <horrocks@cs.man.ac.uk>
- Cc: <www-rdf-logic@w3.org>
At 09:45 06/11/03 +0000, Ian Horrocks wrote: > > > 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/ FWIW, I've decided to try an approach based (loosely) on your [1]. My design notes at: http://www.ninebynine.org/RDFNotes/RDF-Datatype-inference.html Thanks for the pointers. #g ------------ Graham Klyne For email: http://www.ninebynine.org/#Contact
Received on Thursday, 6 November 2003 05:55:59 UTC