Class: OOInterface

An Object-Oriented Interface.

•owl:Thing
        •OOSoftwareComponent
                •OOInterface

Super Classes

OOSoftwareComponent
packageMemberOf ONLY OOPackage
hasMethodSignature ONLY OOMethodSignature
extendedBy ONLY OOInterface
extends ONLY OOInterface

Disjoint Classes

OOClass, OOMethod, OOMethodSignature, OOPackage, OOProgram

Abstract Syntax

Class(OOInterface partial OOSoftwareComponent
                         restriction(packageMemberOf allValuesFrom(OOPackage))
                         restriction(hasMethodSignature allValuesFrom(OOMethodSignature))
                         restriction(extendedBy allValuesFrom(OOInterface))
                         restriction(extends allValuesFrom(OOInterface)))

DisjointClasses(OOInterface OOClass
                            OOMethod
                            OOMethodSignature
                            OOPackage
                            OOProgram)

Usage

Class Description/Definition (Necessary Conditions)

OOClass, OOInterface, OOPackage

Domain of

interfaceImplementedBy
Generated with OWLDoc