Szs OWL
model defined in the file /meta/proof_statuses.owl
http://modelhub.iws.cs.ovgu.de/meta/proof_statuses
Currently we display all axioms, self-defined and imported ones.
Click here to display only the self-defined axioms.
| Name | Text | |
|---|---|---|
| Ax1 | EquivalentClasses: Label, danger or default or info or primary or success or warning | |
| Ax2 | Class: ASS SubClassOf: NOS | |
| Ax3 | Class: ASS SubClassOf: hasLabel some primary | |
| Ax4 | Class: Ass SubClassOf: NSo | |
| Ax5 | Class: Ass SubClassOf: hasLabel some info | |
| Ax6 | Class: CAX SubClassOf: CTH | |
| Ax7 | Class: CAX SubClassOf: THM | |
| Ax8 | Class: CAX SubClassOf: hasLabel some warning | |
| Ax9 | Class: CEQ SubClassOf: CSA | |
| Ax10 | Class: CEQ SubClassOf: hasLabel some danger | |
| Ax11 | Class: CRf SubClassOf: Ref | |
| Ax12 | Class: CRf SubClassOf: hasLabel some info | |
| Ax13 | Class: CSA SubClassOf: ECS | |
| Ax14 | Class: CSA SubClassOf: hasLabel some danger | |
| Ax15 | Class: CSP SubClassOf: SUC | |
| Ax16 | Class: CSP SubClassOf: hasLabel some success | |
| Ax17 | Class: CTH SubClassOf: CSP | |
| Ax18 | Class: CTH SubClassOf: hasLabel some danger | |
| Ax19 | Class: CUP SubClassOf: SUC | |
| Ax20 | Class: CUP SubClassOf: hasLabel some success | |
| Ax21 | Class: DIn SubClassOf: Int | |
| Ax22 | Class: DIn SubClassOf: hasLabel some info | |
| Ax23 | Class: DMo SubClassOf: DIn | |
| Ax24 | Class: DMo SubClassOf: Mod | |
| Ax25 | Class: DMo SubClassOf: hasLabel some info |