Individual-Data Separation Inconsistency
From RIF
| Test Type | PositiveEntailmentTest | ||||||
|---|---|---|---|---|---|---|---|
| Contributor | Jos de Bruijn | ||||||
| Status | Approved | ||||||
| Record | F2F11 | ||||||
| Dialect | BLD | ||||||
| Purpose | Test that violation of separation of the individual and data value domains leads to inconsistency | ||||||
| Description | The rule requires every element, including every concrete data value, to be a member of the class ex:A. However, OWL DL requires every member of ex:A to not be a concrete data value. Therefore, the combination is inconsistent, and an inconsistent condition formula can be derived. | ||||||
| SeeAlso | |||||||
| SpecRef | SWC#Semantics_of_RIF-OWL_DL_Combinations | ||||||
| ImportedDocument |
| ||||||
| Premises |
|
||||||
| Conclusion |
|
