Two further review comments on S&AS

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 UTC