MissingOwl1FullAllDifferentSemanticCondition

From OWL
Revision as of 10:23, 19 October 2009 by Michael Schneider (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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
   yiyk for 1 ≤ ikn