RE: question: datatype reasoning?

My understanding is as follows:

There are many difficult cases
e.g.

<p> range xsd:negativeInteger
<p> range xsd:byte

DL-entails

owl:Thing owl:sameClassAs
  restriction(p, maxCardinality=128 )

There are worse cases when we are considering potential compatible types
that do not have the same primitive base type (e.g. try xsd:float instead of
xsd:byte). Such cases are in need of clarification from XML Schema WG.
Nasty questions that can be asked in OWL DL assuming floats and decimals
share the same underlying real values is how many floats are unsignedLongs
(algorithm is keep increasing the maxCardinality in an entailment like that
above until the entailment does not hold).


I am not sure that there can be an effective OWL DL reasoner that cannot
reason about the cardinalities of sets of individuals, and hence it may also
need the ability to reason about the cardinalities of sets of datatypes (as
in the above example).
OWL Lite is largely rescued from this by restriciting cardinalities to 0 and
1. A complete OWL Lite reasoner would I suspect need to simply know the
intersection lattice of the XML Schema builtin datatypes and which
intersections are empty and singleton.

e.g.

<p> range xsd:nonNegativeInteger
<p> range xsd:nonPositiveInteger

Lite-entails

owl:Thing rdfs:subClassOf
  restriction(p, maxCardinality=1 )

or

<p> range xsd:unsignedByte
<p> range xsd:nonPositiveInteger
<i> rdf:type restriction( p, minCardinality=1 )

Lite-entails

<i> <p> "0"^xsd:int

OWL with user defined datatypes (that we want) is worse.
OWL Full (with or without user defined datatypes) is much worse.

I was planning on adding such tests under the datatypes issue.

see:
http://lists.w3.org/Archives/Public/www-archive/2002Nov/att-0092/02-index
for long discussion of these issues (RDF not OWL)


Jeremy


> -----Original Message-----
> From: www-webont-wg-request@w3.org
> [mailto:www-webont-wg-request@w3.org]On Behalf Of Jim Hendler
> Sent: 24 January 2003 03:26
> To: webont
> Subject: question: datatype reasoning?
>
>
>
> I was asked the following by a colleague, we tried to find the answer
> in the Semantics document, but we couldn't quite work out the
> details.  Question is, does a complete Owl Lite or DL reasoner have
> to do complete datatype reasoning?  i.e. for all the XML schema
> primitive types, does a complete OWL reasoner have to be able to do
> the correct class reasoning, etc -- knowing integers are numbers,
> URIs are strings, etc. and appropriately applying these.
>   If the answer is that an OWL system must do so, do we have any
> implementation evidence to offer in this space?  If we don't expect
> complete datatype reasoning, what level of such do we expect, and
> where will we specify it (document-wise)
>   thanks
>   JH
>
>
>
>
> --
> Professor James Hendler				  hendler@cs.umd.edu
> Director, Semantic Web and Agent Technologies	  301-405-2696
> Maryland Information and Network Dynamics Lab.	  301-405-6707 (Fax)
> Univ of Maryland, College Park, MD 20742	  240-731-3822 (Cell)
> http://www.cs.umd.edu/users/hendler
>
>

Received on Friday, 24 January 2003 03:34:40 UTC