W3C home > Mailing lists > Public > www-webont-wg@w3.org > September 2002

TEST, SEM: domain and range

From: Jeremy Carroll <jjc@hpl.hp.com>
Date: Wed, 25 Sep 2002 12:35:14 +0200
To: www-webont-wg@w3.org
Message-Id: <200209251235.14480.jjc@hpl.hp.com>

I am wondering whether to add the flurry of examples we have had on this topic 
to the test repository under issue 5.3 semantic layering


"Jeremy's entailment"
eg:prop rdfs:range eg:A .
eg:A rdfs:subClassOf eg:B .


eg:prop rdfs:range eg:B .

"Jonathan's example"
foo rdfs:range bar .
foo rdfs:range baz .


foo rdfs:range _:x
_:x owl:intersectionOf (bar baz) .

"Ian's equivalence"
2 entailments (both ways)
 P range A could be re-written as:

Thing subClassOf Restriction (onProperty P) (allValuesFrom A)

I guess that once we have resolved 5.3 then it will be clear which of these 
are entailments and which are non-entailments.

For now, the descriptions would just link into our e-mail archieve.

Any objections to doing so?

Received on Wednesday, 25 September 2002 06:37:13 UTC

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