Class: sec:IntegrityGoals

BEWARE: The inferred individuals are not (always) correct in Protege 3.1.1/Pellet1.3!

•owl:Thing
        •sec:Goal
                •sec:IntegrityGoals

Equivalent Classes (Necessary and Sufficient Conditions)

sec:Goal
(sec:goalHasRelatedGoal HAS sec:Integrity) OR ({sec:Integrity})

Abstract Syntax

Class(sec:IntegrityGoals complete annotation(rdfs:comment "BEWARE: The inferred individuals are not (always) correct in Protege 3.1.1/Pellet1.3!"^^<http://www.w3.org/2001/XMLSchema#string>)
                                 sec:Goal
                                 unionOf(restriction(sec:goalHasRelatedGoal value(sec:Integrity))
                                         oneOf(sec:Integrity)))

Usage

Class Description/Definition (Necessary Conditions)

sec:IntegrityGoals
Generated with OWLDoc