introduce "disjoint with"
Open
type:feature
- Dominant language
- C#
- Stars
- 10
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
Description
In OWL all classes is in the same level should be declared as disjoint with the other classes.
eg: BHoM Column and BHoM room are both rdfs:sublass of BHoM:Obejct so we need to make these disjoint from each other.
Why:
Because of OWA ( open-world assumption) the assumption that the truth value of a statement may be true irrespective of whether or not it is known to be true.
`Statement: "Mary" "is a citizen of" "France" `
`Question: Is Paul a citizen of France?`
`"Closed world" answer: No.`
`"Open world" answer: Unknown.`
Contributor guide
Assessment
This issue has not been assessed yet.