Class: sec:_ProgramFile

•owl:Thing
        •sec:NaryRelation
                •sec:HasAsset
                        •sec:_ProgramFile

Equivalent Classes (Necessary and Sufficient Conditions)

sec:hasAsset ONLY sec:ProgramFile
sec:HasAsset

Abstract Syntax

Class(sec:_ProgramFile complete restriction(sec:hasAsset allValuesFrom(sec:ProgramFile))
                               sec:HasAsset)

Usage

Class Description/Definition (Necessary Conditions)

sec:_ProgramFile, sec:CodeSigning
Generated with OWLDoc