| An Object-Oriented Class |
| •owl:Thing |
| •OOSoftwareComponent |
| •OOClass |
| OOSoftwareComponent |
| extendedBy ONLY OOClass |
| packageMemberOf ONLY OOPackage |
| implementsInterface ONLY OOInterface |
| encodesRequirement ONLY Requirement |
| hasTest ONLY IntegrationTest |
| hasTest ONLY UnitTest |
| hasMethod ONLY OOMethod |
| extends ONLY OOClass |
Class(OOClass partial OOSoftwareComponent
restriction(extendedBy allValuesFrom(OOClass))
restriction(packageMemberOf allValuesFrom(OOPackage))
restriction(implementsInterface allValuesFrom(OOInterface))
restriction(encodesRequirement allValuesFrom(Requirement))
restriction(hasTest allValuesFrom(IntegrationTest))
restriction(hasTest allValuesFrom(UnitTest))
restriction(hasMethod allValuesFrom(OOMethod))
restriction(extends allValuesFrom(OOClass)))
DisjointClasses(OOClass OOInterface
OOMethod
OOMethodSignature
OOPackage
OOProgram)