W3C home > Mailing lists > Public > www-webont-wg@w3.org > February 2003

Re: TEST: datatypes and cardinality

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Fri, 28 Feb 2003 13:23:46 +0000
Message-ID: <3E5F62E2.1010007@hpl.hp.com>
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
CC: www-webont-wg@w3.org



Peter F. Patel-Schneider wrote:


> 
> DatatypeProperty( p range(xsd:byte) )
> 
> Class( bad cardinality(p 257 ) )
> 
> Inidividual( john type(bad) )
> 
> is a contradiction.
> 


I have added that test and:

2, DL, Consistent:

DatatypeProperty( p range(xsd:byte) )
Individual( john type(restriction(p 256 )) )

3, DL, Inconsistent:

DatatypeProperty( p range(xsd:byte) range(xsd:unsignedInt) )
Individual( john type(restriction(p 129 )) )

4, DL, Entailment:

DatatypeProperty( p range(xsd:byte) range(xsd:unsignedInt) )
Individual( john type(restriction(p 128 )) )

=>
Individual( john value(p 5) )

5, DL, NonEntailment

DatatypeProperty( p range(xsd:byte) range(xsd:unsignedInt) )
Individual( john type(restriction(p 127 )) )
=>
Individual( john value(p 5) )

6, Lite Entailment


DatatypeProperty( p range(xsd:byte) )
=>
DatatypeProperty( p range(xsd:short) )

7, Lite nonentailment

DatatypeProperty( p range(xsd:short) )
=>
DatatypeProperty( p range(xsd:unsignedByte) )

8, Lite entailment

DatatypeProperty( p range(xsd:short) range(xsd:unsignedInt))
=>
DatatypeProperty( p range(xsd:unsignedShort) )

9, Lite entailment


DatatypeProperty( p range(xsd:nonNegativeInteger)
                     range(xsd:nonPositiveInteger))
=>
DatatypeProperty( p range(xsd:short) )

10, Lite entailment

DatatypeProperty( p range(xsd:nonNegativeInteger))
Individual(john type(restriction( p
                     someValueFrom(xsd:nonPositiveInteger))))
=>
Indiviudal(john, value(p 0))


Tests 9 and 10 involve infinite integer datatypes and so might be excluded 
from the minimal requirements for a consistency checker.

These are found in:
http://www.w3.org/2002/03owlt/editors-draft/snapshot#proposedIssue-I5.8-Datatypes

Jeremy
Received on Friday, 28 February 2003 08:24:09 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:57 GMT