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

Re: Proposed Test: oneof/inverse

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Thu, 24 Jul 2003 14:33:46 +0100
Message-ID: <3F1FE03A.8090600@hplb.hpl.hp.com>
To: Sean Bechhofer <seanb@cs.man.ac.uk>
CC: www-webont-wg@w3.org

I have added this -
   only changes are:
      addng the standard copyright and some metadata to the RDF file
      deleting xmlns:dc and xmlns:xsd which are not used.

thanks
(Sorry I missed it earlier)

Jeremy


Sean Bechhofer wrote:

> I'd like to propose the following test that exercises the interaction of
> one-of and inverse. A spy point is defined that everything in the domain
> is related to. A restriction on the spy using an inverse property then
> restricts the cardinality of the domain to being 2, which leads to the
> unsatisfiability of "Unsatisfiable".
> 
> [Namespaces:
>   rdf   = http://www.w3.org/1999/02/22-rdf-syntax-ns#
>   xsd   = http://www.w3.org/2001/XMLSchema#
>   rdfs  = http://www.w3.org/2000/01/rdf-schema#
>   owl   = http://www.w3.org/2002/07/owl#
>   a     = http://oiled.man.example.net/test#
> ]
> 
> Ontology(
> 
>  Class(a:Unsatisfiable partial
>   restriction(a:r minCardinality(3)))
>  Class(owl:Thing partial
>   restriction(a:p someValuesFrom oneOf(a:spy)))
> 
>  ObjectProperty(a:invP)
>  ObjectProperty(a:p
>   inverseOf(a:invP))
>  ObjectProperty(a:r)
> 
>  Individual(_:x
>   type(a:Unsatisfiable))
> 
>  Individual(a:spy
>   type(restriction(a:invP maxCardinality(2)))
>   type(owl:Thing))
> 
> )
> 
> Manifest and RDF version attached (as proposed 035 in the dl tests).
> 
> Cheers,
> 
> 	Sean
> 
> 
> 
Received on Thursday, 24 July 2003 09:34:53 GMT

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