list of ICs

advertisement
1. Key Constraints
2. Foreign Key Constraints
3. Functional Dependency
4. Max-cardinality Constraints
Max(C, n, R): {x | #{y | (x, y) ∈ RIP} ≤ n} ⊇ CIC
5. Min-cardinality Constraints
Max(C, n, R): {x | #{y | (x, y) ∈ RIP} ≥ n} ⊇ CIC
6. Functionality Constraints
Func(C,Q): {x | #{y | (x, y) ∈ RIP} ≤ 1} ⊇ CIC
7. Totality Constraints
Total(C,Q): {x | #{y | (x, y) ∈ RIP} = 1} ⊇ CIC
8. SubProperty-chain Constraints
SubPChain(C,p1,. . . ,pn,q) enforces that, for each object o of type C, if there is a chain of
properties p1,. . . ,pn starting from o, then this chain always references a node that is also
directly referenced via property q of o.
9. Singleton Constraints
Single(C) enforces that there is exactly one object of class C.
10. Anti-key Constraints
AntiKey(C,[p1,. . . ,pn]) states that properties p1, . . . , pn do not constitute a key for class
C.
11. Sub-class Constraints
SubC(C,D) : CIC ⊆ DIC
12. Sub-property Constraints
SubP(R,S) : RIP ⊆ SIP
13. Property Domain Constraints
PropD(R, C) : {x | ∃y : (x, y) ∈ RIP } ⊆ CIC
14. Property Range Constraints
PropR(R, C) : {y | ∃x : (x, y) ∈ RIP } ⊆ CIC
15. Non Missing Value Constraints
Property value that is expected to be specified must be given explicitly.
16. Expected Individual Type Constraints
The declared type of a given individual in the instance data must meet the expectation of
the referenced ontologies.
17. Specific Individual Type Constraints
The declared type of a given individual in the instance data must be the most specific one
18. Redundant Individual Type Constraints
An individual cannot be explicitly declared o have both C and C’s superclasss as its type.
19. Uniqueness Constraints
An instance that is expected o be unique cannot has two or more individuals in the data
set.
20. Non-null Value Constraints
An instance of a class or property cannot have the “null” value.
21. User-defined Constraints
Download