Class: sec:OOProgram

An Object-Oriented software program.

•owl:Thing

•sec:OOSoftwareComponent

•sec:OOProgram

Super Classes

sec:OOSoftwareComponent

sec:hasPackage ONLY sec:OOPackage

Disjoint Classes

sec:OOClass, sec:OOInterface, sec:OOMethod, sec:OOMethodSignature, sec:OOPackage

Individuals

JRDF

Abstract Syntax

Class(sec:OOProgram partial sec:OOSoftwareComponent
                           restriction(sec:hasPackage allValuesFrom(sec:OOPackage)))

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

Usage

Class Description/Definition (Necessary Conditions)

sec:OOPackage

Domain of

sec:hasPackage

Generated with OWLDoc