r3
type: Ontology
version info: 0.50

ReducedComponent
type: Class
equivalent class: Class
  intersection of: Restriction
    all values from: ReducedElement
    on property: is
  intersection of: Restriction
    on property: is
    cardinality: 1
  intersection of: ConsequentComponent

StructuredItem
type: Class
equivalent class: Restriction
  on property: builder
  cardinality: 1
subclass of: FunctorItem

CodingVariable
type: Class
equivalent class: Restriction
  cardinality: 1
  on property: name
equivalent class: Class
  union of: VariableDeclaration
  union of: VariableReference

AlgebraFunctor
type: Class
subclass of: DomainItem
subclass of: AlgebraicItem
equivalent class: Class
  union of: Operator
  union of: OperatorArgument
equivalent class: Class
  intersection of: Restriction
    on property: of
    all values from: Algebra
  intersection of: Restriction
    on property: of
    cardinality: 1

DomainItem
type: Class
equivalent class: Restriction
  cardinality: 1
  on property: of
subclass of: LanguageType

NecessityComponent
type: Class
equivalent class: Class
  intersection of: Restriction
    all values from: NecessityElement
    on property: is
  intersection of: Restriction
    on property: is
    cardinality: 1
  intersection of: AntecedentComponent
subclass of: LogicalDerivationPart
disjoint with: DenialComponent
disjoint with: ValueComponent

AntecedentComponent
type: Class
disjoint with: ConsequentComponent
equivalent class: Class
  union of: DenialComponent
  union of: ValueComponent
  union of: NecessityComponent
equivalent class: Class
  intersection of: RuleComponent
  intersection of: Restriction
    on property: is
    cardinality: 1
  intersection of: Restriction
    all values from: AntecedentElement
    on property: is

DenialComponent
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: is
    all values from: DenialElement
  intersection of: Restriction
    on property: is
    cardinality: 1
  intersection of: AntecedentComponent
subclass of: IntegrityRulePart
disjoint with: ValueComponent

ValueComponent
type: Class
equivalent class: Class
  intersection of: Restriction
    all values from: ValueElement
    on property: is
  intersection of: Restriction
    on property: is
    cardinality: 1
  intersection of: AntecedentComponent
  intersection of: ReturnComponent
subclass of: Restriction
  all values from: ValueExpression
  on property: equals
subclass of: DeductiveRulePart
subclass of: LogicalDerivationPart

EventComponent
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: is
    all values from: EventElement
  intersection of: Restriction
    on property: is
    cardinality: 1
  intersection of: ReactiveComponent
disjoint with: ActiveComponent
subclass of: ActiveRulePart
subclass of: DeductiveRulePart

AtomicFunctor
type: Class
equivalent class: Class
  intersection of: LanguageFunctor
  intersection of: Restriction
    on property: item
    cardinality: 0

Construction
type: Class
equivalent class: Class
  union of: RuleConstruction
  union of: Expression
equivalent class: Class
  union of: Formula
  union of: RuleSet
equivalent class: Class
  intersection of: Restriction
    on property: is
    all values from: LanguageConstruct
  intersection of: ComplexTerm
  intersection of: Restriction
    on property: is
    cardinality: 1

ReturnComponent
type: Class
equivalent class: Class
  intersection of: Restriction
    all values from: ReturnElement
    on property: is
  intersection of: RuleComponent
  intersection of: Restriction
    on property: is
    cardinality: 1

GroundComplexTerm
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: with
    cardinality: 0
  intersection of: GroundTerm
  intersection of: Restriction
    all values from: GroundPart
    on property: part
  intersection of: ComplexTerm
disjoint with: LiteralValue

LexicalValue
type: Class
disjoint with: LanguageItem
equivalent class: Class
  intersection of: Restriction
    cardinality: 1
    on property: value
  intersection of: LiteralValue

Argument
type: Class
equivalent class: Class
  intersection of: Restriction
    all values from: OperatorArgument
    on property: is
  intersection of: Component
  intersection of: Restriction
    on property: is
    cardinality: 1

Component
type: Class
disjoint with: Parameter
equivalent class: Class
  intersection of: Restriction
    on property: equals
    all values from: ComplexTerm
  intersection of: TermPart
  intersection of: Restriction
    on property: equals
    cardinality: 1
  intersection of: Restriction
    on property: is
    all values from: LanguageComponent
  intersection of: Restriction
    on property: is
    cardinality: 1

ComplexTerm
type: Class
disjoint with: SimpleTerm
subclass of: Restriction
  on property: part
  all values from: TermPart
subclass of: CodingStructure
subclass of: Restriction
  cardinality: 1
  on property: is
subclass of: Term
subclass of: Restriction
  on property: is
  all values from: LanguageFunctor
equivalent class: Class
  union of: SymbolicTerm
  union of: Construction

ConsequentComponent
type: Class
subclass of: LogicalDerivationPart
equivalent class: Class
  intersection of: Restriction
    all values from: ConsequentElement
    on property: is
  intersection of: RuleComponent
  intersection of: Restriction
    cardinality: 1
    on property: is

HiStructureFunctor
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: is
    all values from: HiFunctor
  intersection of: Restriction
    on property: is
    cardinality: 1
  intersection of: HiStructure

CodingValue
type: Class
disjoint with: StructurePart
disjoint with: StructureConstraint
subclass of: CodingResource
subclass of: Restriction
  on property: equals
  cardinality: 0
subclass of: Restriction
  cardinality: 0
  on property: bound-to
equivalent class: Class
  union of: HiTerm
  union of: Term
equivalent class: Class
  union of: SimpleValue
  union of: StructuredValue

StructurePart
type: Class
subclass of: Restriction
  on property: equals
  max cardinality: 1
subclass of: Restriction
  on property: with
  cardinality: 0
subclass of: CodingStructure
subclass of: Restriction
  on property: part
  all values from: StructureParameter
subclass of: CodingResource
equivalent class: Class
  union of: StructureParameter
  union of: StructureComponent

RulePackage
type: Class
subclass of: Restriction
  on property: part
  all values from: RulePackagePart
disjoint with: Rule
equivalent class: Class
  intersection of: Restriction
    on property: is
    cardinality: 1
  intersection of: Restriction
    on property: is
    all values from: RulePackageConstruct
  intersection of: RuleSet

RulePackagePart
type: Class
subclass of: Restriction
  on property: is
  all values from: RulePackageItem
subclass of: Restriction
  cardinality: 1
  on property: is
subclass of: TermPart
equivalent class: Class
  union of: RulePackageMember
  union of: RuleSetParameter

Rule
type: Class
subclass of: Restriction
  on property: part
  all values from: RulePart
equivalent class: Class
  union of: AbstractRule
  union of: NativeRule
equivalent class: Class
  intersection of: Restriction
    cardinality: 1
    on property: is
  intersection of: Restriction
    on property: is
    all values from: RuleConstruct
  intersection of: RuleSet

ConditionComponent
type: Class
subclass of: DeductiveRulePart
subclass of: ProductionRulePart
subclass of: ReactiveReductionPart
equivalent class: Class
  intersection of: Restriction
    on property: is
    all values from: ConditionElement
  intersection of: Restriction
    cardinality: 1
    on property: is
  intersection of: NecessityComponent

ComponentFormula
type: Class
equivalent class: Class
  intersection of: Component
  intersection of: Restriction
    on property: equals
    all values from: Formula
  intersection of: Restriction
    cardinality: 1
    on property: equals

Formula
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: is
    all values from: FormulaConstruct
  intersection of: Restriction
    on property: is
    cardinality: 1
  intersection of: Construction

ComponentRuleConstruction
type: Class
equivalent class: Class
  intersection of: Restriction
    all values from: RuleConstruction
    on property: equals
  intersection of: Component
  intersection of: Restriction
    cardinality: 1
    on property: equals

ActionComponent
type: Class
disjoint with: AlternativeComponent
equivalent class: Class
  intersection of: Restriction
    on property: is
    all values from: ActionElement
  intersection of: ActiveComponent
  intersection of: Restriction
    on property: is
    cardinality: 1
subclass of: ProductionRulePart
subclass of: ReactiveReductionPart

ComposerConstruct
type: Class
subclass of: LanguageConstruct
subclass of: Restriction
  all values from: LanguageComponent
  on property: item
subclass of: Restriction
  min cardinality: 1
  on property: item

StructureComponent
type: Class
equivalent class: Class
  intersection of: StructurePart
  intersection of: Restriction
    on property: equals
    cardinality: 1
subclass of: Restriction
  on property: bound-to
  max cardinality: 1
subclass of: Restriction
  cardinality: 0
  on property: item

AbstractRule
type: Class
equivalent class: Class
  union of: IntegrityRule
  union of: ConditionalRule
equivalent class: Class
  intersection of: Restriction
    on property: is
    cardinality: 1
  intersection of: Restriction
    on property: is
    all values from: AbstractRuleConstruct
  intersection of: Rule
disjoint with: NativeRule
subclass of: Restriction
  all values from: AbstractRulePart
  on property: part
subclass of: Restriction
  on property: part
  some values from: RuleComponent

NativeRule
type: Class
equivalent class: Class
  intersection of: Restriction
    all values from: NativeRuleConstruct
    on property: is
  intersection of: Restriction
    on property: is
    cardinality: 1
  intersection of: Rule
subclass of: Restriction
  on property: part
  some values from: RuleSource
subclass of: Restriction
  on property: part
  all values from: Parameter

CollectionItem
type: Class
subclass of: StructuredItem
subclass of: DefaultedItem
equivalent class: Restriction
  on property: collector
  cardinality: 1

DefaultedItem
type: Class
subclass of: OptionalItem
equivalent class: Restriction
  cardinality: 1
  on property: default

CodingStructure
type: Class
equivalent class: Class
  union of: HiStructure
  union of: TermPart
  union of: ComplexTerm
equivalent class: Class
  union of: StructuredValue
  union of: StructurePart
equivalent class: Restriction
  on property: is
  cardinality: 1

RuleSetParameter
type: Class
subclass of: Restriction
  on property: is
  cardinality: 1
subclass of: Restriction
  on property: is
  all values from: FunctionalParameter
subclass of: RulePackagePart
disjoint with: RulePackageMember

ComponentHiValue
type: Class
equivalent class: Class
  intersection of: Restriction
    cardinality: 1
    on property: equals
  intersection of: Restriction
    all values from: HiValue
    on property: equals
  intersection of: HiStructure

ComponentHiStructure
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: equals
    all values from: HiStructure
  intersection of: Restriction
    cardinality: 1
    on property: equals
  intersection of: HiStructure

LexicalType
type: Class
equivalent class: Class
  intersection of: Restriction
    cardinality: 1
    on property: uri
  intersection of: LiteralType

SymbolicTerm
type: Class
equivalent class: Class
  intersection of: ComplexTerm
  intersection of: Restriction
    all values from: LanguageSymbol
    on property: is
disjoint with: Construction
subclass of: Restriction
  cardinality: 0
  on property: with
subclass of: Restriction
  all values from: Parameter
  on property: part

Parameter
type: Class
equivalent class: Class
  intersection of: TermPart
  intersection of: Restriction
    on property: equals
    cardinality: 0
  intersection of: Restriction
    on property: is
    all values from: LanguageParameter
  intersection of: Restriction
    cardinality: 1
    on property: is

AlternativeComponent
type: Class
equivalent class: Class
  intersection of: Restriction
    all values from: AlternativeElement
    on property: is
  intersection of: Restriction
    on property: is
    cardinality: 1
  intersection of: ActiveComponent
subclass of: ActiveRulePart

SymbolicComponent
type: Class
equivalent class: Class
  intersection of: Component
  intersection of: Restriction
    on property: equals
    cardinality: 1
  intersection of: Restriction
    on property: equals
    all values from: SymbolicTerm

ComponentRuleSet
type: Class
equivalent class: Class
  intersection of: Component
  intersection of: Restriction
    on property: equals
    cardinality: 1
  intersection of: Restriction
    all values from: RuleSet
    on property: equals

Quantification
type: Class
equivalent class: Class
  intersection of: Restriction
    cardinality: 1
    on property: is
  intersection of: Restriction
    all values from: Quantifier
    on property: is
  intersection of: Construction

CollectionFunctor
type: Class
subclass of: LanguageFunctor
subclass of: Restriction
  on property: item
  some values from: RequiredItem
subclass of: Restriction
  cardinality: 1
  on property: collects-to

ComponentExpression
type: Class
equivalent class: Class
  intersection of: Component
  intersection of: Restriction
    on property: equals
    all values from: Expression
  intersection of: Restriction
    cardinality: 1
    on property: equals

StructureParameter
type: Class
equivalent class: Class
  intersection of: StructurePart
  intersection of: Restriction
    on property: equals
    cardinality: 0
  intersection of: Restriction
    cardinality: 1
    on property: bound-to