Re: Examples of OWL used for datatype inferencing?

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