Re: Semantic Review

> There is no such thing as the empty property in OWL.

Uhh?

How about

ObjectProperty(<eg:empty>,range(Nothing))
ObjectProperty(<eg:x>,Functional)


This entails:

SubPropertyOf(<eg:empty>,<eg:x>)
ObjectProperty(<eg:empty>,Transitive).

but I take the first document to be legal OWL DL.

Jeremy

Received on Tuesday, 31 December 2002 15:08:05 UTC