[sc34wg3] TMCL: 4.4.20 UniqueOccurrenceConstraint

[Robert Barta]

Relative to

   http://kill.devc.at/system/files/tmcl.pdf

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
itself.

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] ....

TMQL

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

\rho

--
Austrian Research Centers, Environmental Monitoring Systems
http://www.smart-systems.at/rd/rd_environment_en.html