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

TEST: datatypes and cardinality

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Fri, 28 Feb 2003 10:30:08 +0100
To: www-webont-wg@w3.org
Message-Id: <200302281030.08544.jjc@hpl.hp.com>

(Mainly for Ian)
At the telecon last night we suggested that finite datatypes were somehow 
harder than infinite ones.
I tried building a test case, but it ended up in OWL Full - I filed it under 
issue 5.1

To get the finiteness of the datatype to interact with the domain of discourse 
I seemed to require an InverseFunctional DatatypeProperty.

DatatypeProperty( p, range(xsd:byte), InverseFunctional )
ObjectProperty( q, inverse(invQ) )
Individual( spy, type( restriction( invQ, cardinality=127 ) ) )
   Restriction( p, someValuesFrom(xsd:unsignedInt) )
   Restriction( p, hasValue( spy ) )

(This is consistent, changing the 127 to 128 is not).

Can anyone show me how to get a similar affect in OWL DL?
(I might need to move this test into the extra credit section)

Received on Friday, 28 February 2003 04:29:24 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:56:51 UTC