[sc34wg3] TMCL: 4.4.20 UniqueOccurrenceConstraint
rho at devc.at
Fri Feb 15 08:35:38 EST 2008
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