MissingOwl1FullAllDifferentSemanticCondition
From OWL
Revision as of 10:23, 19 October 2009 by Michael Schneider (Talk | contribs)
OWL 1 Full has the following error: It misses a "main" semantic condition for the term owl:AllDifferent (there is only a comprehension condition for this term). The "main" semantic condition should be of the form:
IF s is a sequence of y1 ,..., yn over IR, x ∈ ICEXT(I(owl:AllDifferent)), ( x , s ) ∈ IEXT(I(owl:distinctMembers)) THEN yi ≠ yk for 1 ≤ i ≠ k ≤ n
