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

Two further review comments on S&AS

From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
Date: Tue, 25 Mar 2003 14:24:57 +0100
To: <www-webont-wg@w3.org>
Message-ID: <BHEGLCKMOHGLGNOKPGHDOEFECBAA.jjc@hpl.hp.com>


I have two more comments left over from January

A: Side condition

This
[[
Properties that 1/ are specified as being transitive, 2/ have an inverse
property specified as being transitive, or 3/ have a sub-property (direct or
indirect) or an inverse of such a sub-property specified as being transitive
cannot participate in cardinality restrictions and cannot be specified as
functional or inverse-functional.
]]
is a big improvement but omits the following cases

1:

ObjectProperty( p inverseOf(invp) Functional )
ObjectProperty( invp )
ObjectProperty( q super(invp) Transitive )

2:

ObjectProperty( q Functional )
ObjectProperty( p super(q) inverseOf(invp) )
ObjectProperty( invp )
ObjectProperty( q super(invp) Transitive )

Peter, if you would like me to suggest a minor mod to the text I can work on
it for tomorrow - I can't think of anything off the top of my head.

B: Literal

The following entailment holds according to the direct semantics but not in
OWL Full.

<p> rdf:type owl:DatatypeProperty .
<p> rdfs:range rdfs:Literal .

entails

rdfs:Literal rdf:type rdfs:Datatype .


Suggest, simply prohibit the triple

rdfs:Literal rdf:type rdfs:Datatype .

from OWL DL (in section 4).


(My last recycled comments will be stylistic/editorial and so could be
ignored).

Jeremy
Received on Tuesday, 25 March 2003 08:24:50 GMT

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