Re: Issue: Add hasValue to OWL Lite

> Sorry Ian, but all I've seen from you is pointers to work about 
> computational complexity -- and I just don't see that as a compelling 
> reason not to include an easy to implement, important feature that our 
> users are requesting.

A test case:

s subclassof <rest onProperty p, hasValue x>
owl:Thing subclassof s
q type owl:ObjectProperty
p type owl:InverseFunctionalProperty


q type owl:TransitiveProperty.

(Reason let a and b be two members of owl:Thing,
then a and b are both of type s, hence

a p x
b p x


a sameInstanceAs b

i.e. the universe has cardinality 1).
Hence q is either the empty property or the complete property, and is 

Parka doesn't do this (I assert without looking ...)

Using similar techniques the cardinality of the universe can be fixed as 
any finite number, and then complex reasoning about properties in finite 
sets is needed to work out which properties are transitive, symmetric etc.


Received on Wednesday, 11 December 2002 13:19:56 UTC