[sc34wg3] TMCL: 4.4.20 UniqueOccurrenceConstraint

Robert Barta rho at devc.at
Fri Feb 15 08:35:38 EST 2008

Relative to


4.4.20 UniqueOccurrenceConstraint

The intro

    A uniqueoccurrence constraint defines a way to constraint that
    occurrences of a given type with the same value can only be
    present on one topic in a given map.

is somehow contradictory in itself.

If an occurrence value is _functional_ (aka owl:FunctionalProperty),
then it cannot be the 'same' of anything else. Even not the same of

typo: two dots again

typo: ... to express [that] the email occurrence ....

typo: the comment in the example is just bogus

typo: emailaddress <-> email

typo: ....to constrain[t] ....


every $t in // $$topicType
   every $o in $t / $$occurrenceType
      count ( $o \ $$occurrenceType ) == 1


Austrian Research Centers, Environmental Monitoring Systems

More information about the sc34wg3 mailing list