Warning:
This wiki has been archived and is now read-only.
OWL Combination Vocabulary Separation Inconsistency 1
From RIF
| Test Type | PositiveEntailmentTest | ||||||
|---|---|---|---|---|---|---|---|
| Contributor | Jos de Bruijn | ||||||
| Status | Approved | ||||||
| Record | F2F11 | ||||||
| Dialect | Core | ||||||
| Purpose | Test that violation of separation of the (individual and data value) vocabulary leads to inconsistency | ||||||
| Description | The same constant cannot be both an individual and a data value; this leads to inconsistency, and thus "a"="b" is entailed. | ||||||
| SeeAlso | OWL_Combination_Vocabulary_Separation_Inconsistency_2 | ||||||
| SpecRef | SWC#Semantics_of_RIF-OWL_DL_Combinations | ||||||
| ImportedDocument |
| ||||||
| Premises |
|
||||||
| Conclusion |
|