Class: sec:OOPackage

An Object-Oriented package of classes.

•owl:Thing
        •sec:OOSoftwareComponent
                •sec:OOPackage

Super Classes

sec:OOSoftwareComponent
sec:packageOf ONLY sec:OOProgram
sec:hasPackageMember ONLY (sec:OOClass OR sec:OOInterface)
sec:hasTest ONLY sec:IntegrationTest

Disjoint Classes

sec:OOClass, sec:OOInterface, sec:OOMethod, sec:OOMethodSignature, sec:OOProgram

Individuals

org.jrdf.sparql

Abstract Syntax

Class(sec:OOPackage partial sec:OOSoftwareComponent
                           restriction(sec:packageOf allValuesFrom(sec:OOProgram))
                           restriction(sec:hasPackageMember allValuesFrom(unionOf(sec:OOClass
                                                                                  sec:OOInterface)))
                           restriction(sec:hasTest allValuesFrom(sec:IntegrationTest)))

DisjointClasses(sec:OOPackage sec:OOClass
                              sec:OOInterface
                              sec:OOMethod
                              sec:OOMethodSignature
                              sec:OOProgram)

Usage

Class Description/Definition (Necessary Conditions)

sec:OOClass, sec:OOInterface, sec:OOProgram

Domain of

sec:hasPackageMember, sec:packageOf
Generated with OWLDoc