- From: Jeff Z. Pan <pan@cs.man.ac.uk>
- Date: Sun, 2 Nov 2003 14:19:46 -0000
- To: "Graham Klyne" <gk@ninebynine.org>
- Cc: <www-rdf-logic@w3.org>
Graham, [...] > Does anyone have any examples of using OWL to perform RDF-datatype->related inferencing? In addition to RDF datatype, OWL supports enumerated datatypes, i.e. you can use the oneOf operator to construct a datatype by explicitly specifying all of its members. E.g. an e-shop has a promotion for all the shoes with size 5,6,7, and reasons that all such shoes have 20% discount. Such kind of shoes can be defined as a class as follows: Class(ex:FiveToSevenShoes complete ex:Shoes restriction(ex:size allValuesFrom (oneOf ("5"^^xsd:integer,"6"^^xsd:integer,"7"^^xsd:integer)) minCardinality(1) maxCardinality(1) ) ) Accordingly, the billing system gives 20% discount to all the instances of the FiveToSevenShoes class. > I'm thinking of datatypes, such as numbers, for which additional properties > are used to define additional relations, such as addition over numbers. [...] As Ian mentioned in his email, since current version of OWL doesn't support n-ary datatype predicate, you can't use datatype predicates such as addition with OWL now. > Behind this question, I'm trying to see if there's a way to abstract the > rules of datatype properties away from particular application > domain. (i.e. using just RDF statements, and not rules, to express ideas > like the example above, appealing only to application-independent rules > defined on datatyped values.) Currently I'm not seeing any way to do this, > but before I give up I wanted to see how OWL (as the major thrust for Sweb > inference) deals with such issues. I think datatype groups [1] might be something that you are looking for. Regards, Jeff -- Jeff Z. Pan ( http://DL-Web.man.ac.uk/ ) Computer Science Dept., The University of Manchester [1] http://www.cs.man.ac.uk/~horrocks/Publications/download/2003/PaHo03a.p df > > #g > > > ------------ > Graham Klyne > For email: > http://www.ninebynine.org/#Contact > >
Received on Sunday, 2 November 2003 09:08:42 UTC