NonTerminalState¶
A NonTerminalState has child States (a.k.a., sub-states) that are either conjuctive or disjunctive. Each child may be a TerminalState or NonTerminalState; eventually a TerminalState is reached. A State cannot be both non-terminal and terminal.
IRI: https://w3id.org/citydata/part1/v1/NonTerminalState
Diagram¶
Specializations of NonTerminalState¶
| Class | Description |
|---|---|
| Conjunctive State | A type of NonTerminalState that is defined by the conjunction of its child States. |
| Disjunctive State | A type of NonTerminalState that is defined by the disjunction of its child States. A State cannot be both conjunctive and disjunctive. |
Formalization for NonTerminalState¶
| Property | Constraint |
|---|---|
| hasDecomp | min 2 |
| hasDecomp | min 2 State |
| hasSubstate | only State |
| hasSubstate | only State |
| disjointWith | TerminalState |
| subClassOf | State |