Warning:
This wiki has been archived and is now read-only.
OWL Combination Vocabulary Separation Inconsistency 2
From RIF
| Test Type | PositiveEntailmentTest | ||||||
|---|---|---|---|---|---|---|---|
| Contributor | Jos de Bruijn | ||||||
| Status | Approved | ||||||
| Record | F2F11 | ||||||
| Dialect | Core | ||||||
| Purpose | Test that violation of separation of the (object and datatype value property) vocabulary leads to inconsistency | ||||||
| Description | The same property cannot have both individuals and data values in its range. In particular, since ex:hasChild is an owl:ObjectProperty, there may be no concrete data values (e.g., strings) in its range. Since in this case, there is a data value ("John") in its range, the combination is inconsistent, and an inconsistent atom ("a"="b") is derived. | ||||||
| SeeAlso | OWL_Combination_Vocabulary_Separation_Inconsistency_1 | ||||||
| SpecRef | SWC#Semantics_of_RIF-OWL_DL_Combinations | ||||||
| ImportedDocument |
| ||||||
| Premises |
|
||||||
| Conclusion |
|