Class: IntegrityGoals

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

•owl:Thing
        •Goal
                •IntegrityGoals

Equivalent Classes (Necessary and Sufficient Conditions)

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

Abstract Syntax

Class(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>)
                             Goal
                             unionOf(restriction(goalHasRelatedGoal value(Integrity))
                                     oneOf(Integrity)))

Usage

Class Description/Definition (Necessary Conditions)

IntegrityGoals
Generated with OWLDoc