Warning:
This wiki has been archived and is now read-only.

MissingOwl1FullAllDifferentSemanticCondition

From OWL
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
   yi ≠ yk for 1 ≤ i ≠ k ≤ n
Retrieved from "https://www.w3.org/2007/OWL/wiki/index.php?title=MissingOwl1FullAllDifferentSemanticCondition&oldid=26003"