Qualitative Reasoning Ingredients Ontology
type: Ontology
comment: A Qualitative Reasoning Ingredients Ontology
version info: Version 2
label: Qualitatief Redeneren Ingredienten Ontologie @nl

Qualitative Modeling Ingredient
type: Class
comment: Qualitative Modeling Ingredients are either Basic Building Blocks or Aggregates.
union of: Basic Building Block
union of: Aggregate
subclass of: Restriction
  on property: has xposition on screen
  max cardinality: 1
subclass of: Restriction
  on property: has yposition on screen
  max cardinality: 1
subclass of: Restriction
  on property: is hidden on screen
  max cardinality: 1

Basic Building Block
type: Class
comment: Basic Building Blocks are single model ingredients.
subclass of: Qualitative Modeling Ingredient
disjoint with: Aggregate

Aggregate
type: Class
comment: Aggregates are composed out of multiple Basic Building Blocks.
subclass of: Qualitative Modeling Ingredient
disjoint with: Basic Building Block
subclass of: Restriction
  on property: hasEditSizeHeight
  max cardinality: 1
subclass of: Restriction
  on property: hasEditSizeWidth
  max cardinality: 1
subclass of: Restriction
  on property: hasDisplayOriginX
  max cardinality: 1
subclass of: Restriction
  on property: hasDisplayOriginY
  max cardinality: 1
subclass of: Restriction
  on property: isActive
  max cardinality: 1

Structural Ingredient
type: Class
comment: Structural Ingredients describe the structure of a modeled system.
subclass of: Basic Building Block
disjoint with: Assumption
disjoint with: Behavioural Building Block
disjoint with: Identity

Identity
type: Class
comment: An identity indicates that two model ingredients are the same individual.
subclass of: Basic Building Block
disjoint with: Structural Ingredient
disjoint with: Behavioural Building Block
disjoint with: Assumption

Assumption
type: Class
comment: An assumption is an assertion that something is true
subclass of: Restriction
  on property: isAssumptionRegarding
  max cardinality: 1
subclass of: Restriction
  on property: isAssumptionRegarding
  all values from: Class
    union of: Entity
    union of: Agent
subclass of: Basic Building Block
disjoint with: Structural Ingredient
disjoint with: Behavioural Building Block
disjoint with: Identity

Behavioural Building Block
type: Class
comment: Behavioural ingredients describe the behavioural aspects of a modeled system.
subclass of: Basic Building Block
disjoint with: Assumption
disjoint with: Structural Ingredient
disjoint with: Identity

Dependency
type: Class
comment: Dependencies describe the behavioural relations between behavioural ingredients.
subclass of: Behavioural Building Block
disjoint with: Derivative
disjoint with: Magnitude
disjoint with: Qualitative Value
disjoint with: Quantity
disjoint with: Quantity Space
disjoint with: QuantityAssumption

Mathematical
type: Class
comment: Mathematical dependencies describe the mathematical relations between behavioural ingredients.
subclass of: Dependency
disjoint with: Correspondence
disjoint with: Causal Dependency

Entity
type: Class
comment: Entities are the structural ingredients a system is composed of.
subclass of: Structural Ingredient
disjoint with: Agent
disjoint with: Configuration
disjoint with: Attribute
disjoint with: Attribute Value
subclass of: Restriction
  on property: hasAttribute
  all values from: Attribute
subclass of: Restriction
  on property: hasQuantity
  all values from: Quantity
subclass of: Restriction
  on property: hasConfiguration
  all values from: Class
    intersection of: Configuration
    intersection of: Restriction
      on property: hasConfigurationTarget
      some values from: Class
        union of: Entity
        union of: Agent

Agent
type: Class
comment: Agents are not part of the inherent structure of the system, but can influence the system.
subclass of: Structural Ingredient
disjoint with: Entity
disjoint with: Configuration
disjoint with: Attribute
disjoint with: Attribute Value
subclass of: Restriction
  on property: hasAttribute
  all values from: Attribute
subclass of: Restriction
  on property: hasQuantity
  all values from: Quantity
subclass of: Restriction
  on property: hasConfiguration
  all values from: Class
    intersection of: Configuration
    intersection of: Restriction
      on property: hasConfigurationTarget
      some values from: Class
        union of: Entity
        union of: Agent

Configuration
type: Class
comment: Configurations describe the relations between structural ingredients.
subclass of: Structural Ingredient
disjoint with: Agent
disjoint with: Entity
disjoint with: Attribute
disjoint with: Attribute Value
subclass of: Restriction
  on property: hasConfigurationTarget
  cardinality: 1

Attribute
type: Class
comment: Attributes describe the properties of entities and agents.
subclass of: Structural Ingredient
disjoint with: Agent
disjoint with: Configuration
disjoint with: Entity
disjoint with: Attribute Value
subclass of: Restriction
  on property: hasAttributeValue
  all values from: Attribute Value
subclass of: Restriction
  on property: hasAttributeValue
  cardinality: 1

Attribute Value
type: Class
comment: AttributeValues are the possible values of attributes.
subclass of: Structural Ingredient
disjoint with: Agent
disjoint with: Configuration
disjoint with: Attribute
disjoint with: Entity

Quantity
type: Class
comment: Quantities are the changable features of an entity of agent.
subclass of: Behavioural Building Block
disjoint with: Magnitude
disjoint with: Derivative
disjoint with: Quantity Space
disjoint with: Qualitative Value
disjoint with: Dependency
disjoint with: QuantityAssumption
subclass of: Restriction
  on property: hasMagnitude
  cardinality: 1
subclass of: Restriction
  on property: hasMagnitude
  all values from: Magnitude
subclass of: Restriction
  on property: hasDerivative
  cardinality: 1
subclass of: Restriction
  on property: hasDerivative
  all values from: Derivative
subclass of: Restriction
  on property: hasQuantityAssumption
  all values from: QuantityAssumption
subclass of: Restriction
  on property: hasCausalDependency
  all values from: Class
    intersection of: Class
      union of: Influence
      union of: Proportionality
    intersection of: Restriction
      on property: hasCausalDependencyTarget
      all values from: Quantity
    intersection of: Restriction
      on property: hasCausalDependencyTarget
      cardinality: 1

Magnitude
type: Class
comment: The magnitude is the zero-derivative of a quantity. A value can be assigned to it so it can be compared to other quantities.
subclass of: Behavioural Building Block
disjoint with: Quantity
disjoint with: Derivative
disjoint with: Quantity Space
disjoint with: Qualitative Value
disjoint with: Dependency
disjoint with: QuantityAssumption
subclass of: Restriction
  on property: hasQuantitySpace
  cardinality: 1
subclass of: Restriction
  on property: hasQuantitySpace
  all values from: Quantity Space
subclass of: Restriction
  on property: hasInequality
  all values from: Class
    intersection of: Inequality
    intersection of: Restriction
      on property: hasInequalityTarget
      all values from: MagnitudeItem
subclass of: Restriction
  on property: isLeftHandSideOf
  all values from: Class
    intersection of: Operator
    intersection of: Restriction
      on property: hasRightHandSide
      all values from: MagnitudeItem
    intersection of: Restriction
      on property: hasInequality
      all values from: Class
        intersection of: Inequality
        intersection of: Restriction

Derivative
type: Class
comment: The derivative is the first derivative of a quantity, indicating if the quantity is increasing, decreasing or stable. A value can be assigned to it so it can be compared to other quantities.
subclass of: Behavioural Building Block
disjoint with: Magnitude
disjoint with: Quantity
disjoint with: Quantity Space
disjoint with: Qualitative Value
disjoint with: Dependency
disjoint with: QuantityAssumption
subclass of: Restriction
  on property: hasQuantitySpace
  cardinality: 1
subclass of: Restriction
  on property: hasQuantitySpace
  all values from: Quantity Space
subclass of: Restriction
  on property: hasInequality
  all values from: Class
    intersection of: Inequality
    intersection of: Restriction
      on property: hasInequalityTarget
      all values from: DerivativeItem
subclass of: Restriction
  on property: isLeftHandSideOf
  all values from: Class
    intersection of: Operator
    intersection of: Restriction
      on property: hasRightHandSide
      all values from: DerivativeItem
    intersection of: Restriction
      on property: hasInequality
      all values from: Class
        intersection of: Inequality
        intersection of: Restriction

Quantity Space
type: Class
comment: A quantity space is a list of possible values the magnitude or derivative of a quantity can become.
subclass of: Behavioural Building Block
disjoint with: Magnitude
disjoint with: Derivative
disjoint with: Quantity
disjoint with: Qualitative Value
disjoint with: Dependency
disjoint with: QuantityAssumption
subclass of: Restriction
  on property: containsQualitativeValue
  min cardinality: 1
subclass of: Restriction
  on property: containsQualitativeValue
  all values from: Qualitative Value
subclass of: Restriction
  on property: hasCorrespondence
  all values from: Class
    intersection of: Quantity Space Correspondence
    intersection of: Restriction
      on property: hasCorrespondenceTarget
      all values from: Quantity Space
    intersection of: Restriction
      on property: hasCorrespondenceTarget
      cardinality: 1

Qualitative Value
type: Class
comment: A qualitative value is either a point or interval which can become the value of the magnitude or derivative of a quantity.
subclass of: Behavioural Building Block
disjoint with: Magnitude
disjoint with: Derivative
disjoint with: Quantity
disjoint with: Quantity Space
disjoint with: Dependency
disjoint with: QuantityAssumption
subclass of: Restriction
  on property: hasCorrespondence
  all values from: Class
    intersection of: Value Correspondence
    intersection of: Restriction
      on property: hasCorrespondenceTarget
      all values from: Qualitative Value
    intersection of: Restriction
      on property: hasCorrespondenceTarget
      cardinality: 1

Point
type: Class
comment: A point is a qualitative value.
subclass of: Qualitative Value
disjoint with: Point

Point
type: Class
comment: An interval is a qualitative value.
subclass of: Qualitative Value
disjoint with: Point
subclass of: Restriction
  on property: hasInequality
  all values from: Class
    intersection of: Inequality
    intersection of: Restriction
      on property: hasInequalityTarget
      min cardinality: 1
    intersection of: Restriction
      on property: hasInequalityTarget
      all values from: Point

Causal Dependency
type: Class
comment: Causal dependencies are dependencies indicate which quantities are proportional, and which ones influence each other.
subclass of: Dependency
disjoint with: Correspondence
disjoint with: Mathematical

Proportionality
type: Class
comment: Proportionalities indicate which quantity changes if the other changes.
subclass of: Causal Dependency
disjoint with: Influence

Positive Proportionality
type: Class
comment: A positive proportionality indicates that the target quantity increases if the origin quantity increases, and decreases if the origin quantity descreases.
subclass of: Proportionality
disjoint with: Negative Proportionality

Negative Proportionality
type: Class
comment: A negative proportionality indicates that the target quantity decreases if the origin quantity increases, and increases if the origin quantity decreases.
subclass of: Proportionality
disjoint with: Positive Proportionality

Influence
type: Class
comment: Influences indicate that the target quantity changes if magnitude of the origin quantity is not zero.
subclass of: Causal Dependency
disjoint with: Proportionality

Positive Influence
type: Class
comment: A positive influence indicates that the target quantity increases if the magnitude of the origin quantity is greater than zero, and decreases if it less than zero.
subclass of: Influence
disjoint with: Negative Influence

Negative Influence
type: Class
comment: A negative influence indicates that the target quantity decreases if the magnitude of the origin quantity is greater than zero, and increases if it less than zero.
subclass of: Influence
disjoint with: Positive Influence

Correspondence
type: Class
comment: Correspondences specify that values occur simultaniously.
subclass of: Dependency
subclass of: Restriction
  on property: isDirected
  max cardinality: 1
subclass of: Restriction
  on property: isInverted
  max cardinality: 1
disjoint with: Mathematical
disjoint with: Causal Dependency

Value Correspondence
type: Class
comment: A Value Correspondence specifies that two values occur simultaniously.
subclass of: Correspondence
disjoint with: Quantity Space Correspondence
disjoint with: Full Correspondence

Quantity Space Correspondence
type: Class
comment: Quantity Space Correspondences are used to denote that the values of two quantity spaces correspond to each other.
subclass of: Correspondence
disjoint with: Value Correspondence
disjoint with: Full Correspondence

Full Correspondence
type: Class
comment: Full Correspondences indicate that both the quantity spaces of the magnitudes as the quantity spaces of the derivatives correspond to eachother.
subclass of: Correspondence
disjoint with: Value Correspondence
disjoint with: Quantity Space Correspondence

Inequality
type: Class
comment: Inequalities are used to indicate the difference or equality between values.
subclass of: Mathematical
disjoint with: Operator
disjoint with: hasValue

Smaller Than
type: Class
comment: A smaller than relation indicates that the origin value is smaller than the target value.
subclass of: Inequality
disjoint with: Smaller Or Equal To
disjoint with: Equal To
disjoint with: Greater Or Equal To
disjoint with: Greater Than

Smaller Or Equal To
type: Class
comment: A smaller or equal to relation indicates that the origin value is smaller or equal to the target value.
subclass of: Inequality
disjoint with: Smaller Than
disjoint with: Equal To
disjoint with: Greater Or Equal To
disjoint with: Greater Than

Equal To
type: Class
comment: An equality relation indicates that the origin value is equal to the target value.
subclass of: Inequality
disjoint with: Smaller Than
disjoint with: Smaller Or Equal To
disjoint with: Greater Or Equal To
disjoint with: Greater Than

Greater Or Equal To
type: Class
comment: A greater or equal to relation indicates that the origin value is greater or equal to the target value.
subclass of: Inequality
disjoint with: Smaller Than
disjoint with: Smaller Or Equal To
disjoint with: Equal To
disjoint with: Greater Than

Greater Than
type: Class
comment: A greater than relation indicates that the origin value is greater than the target value.
subclass of: Inequality
disjoint with: Smaller Than
disjoint with: Smaller Or Equal To
disjoint with: Equal To
disjoint with: Greater Or Equal To

hasValue
type: Class
comment: hasValue relations indicate a magnitude or derivative have a certain value.
subclass of: Mathematical
disjoint with: Operator
disjoint with: Inequality
subclass of: Restriction
  on property: hasValueTarget
  all values from: Qualitative Value

Operator
type: Class
comment: Operator is the set of addition and substraction relations. The relation itself can have multiple inequality relations.
subclass of: Mathematical
disjoint with: Inequality
disjoint with: hasValue
subclass of: Restriction
  on property: hasLeftHandSide
  cardinality: 1
subclass of: Restriction
  on property: hasRightHandSide
  cardinality: 1

Plus
type: Class
comment: Plus is addition of the origin and target value and can have multiple inequalities.
subclass of: Operator
disjoint with: Minus

Minus
type: Class
comment: Minus is substraction of the origin and target value and can have multiple inequalities.
subclass of: Operator
disjoint with: Plus

Model Fragment
type: Class
comment: A model fragment describe parts of the structure and behaviour of a system and is composed of multiple basic building blocks.
subclass of: Aggregate
disjoint with: Scenario
subclass of: Restriction
  on property: hasCondition
  all values from: Class
    union of: Structural Ingredient
    union of: Behavioural Building Block
    union of: Assumption
    union of: Inequality
    union of: Operator
    union of: Identity
    union of: Model Fragment
subclass of: Restriction
  on property: hasConsequence
  all values from: Class
    union of: Entity
    union of: Configuration
    union of: Attribute
    union of: Attribute Value
    union of: Behavioural Building Block
    union of: Dependency
    union of: Identity

Static Fragment
type: Class
comment: A static fragment is a model fragment without influences or agents.
disjoint with: Process Fragment
disjoint with: Agent Fragment
subclass of: Model Fragment
equivalent class: Class
  intersection of: Model Fragment
  intersection of: Class
    complement of: Restriction
      on property: hasConsequence
      some values from: Influence
  intersection of: Class
    complement of: Restriction
      on property: hasCondition
      some values from: Agent
  intersection of: Class
    complement of: Restriction
      on property: hasConsequence
      some values from: Entity
  intersection of: Class
    complement of: Restriction
      on property: hasConsequence
      some values from: Configuration
  intersection of: Class
    complement of: Restriction
      on property: hasConsequence
      some values from: Agent

Process Fragment
type: Class
comment: A process fragment is a model fragment which models a process, but does not contain agents.
disjoint with: Static Fragment
disjoint with: Agent Fragment
subclass of: Model Fragment
equivalent class: Class
  intersection of: Model Fragment
  intersection of: Restriction
    on property: hasConsequence
    some values from: Influence
  intersection of: Class
    complement of: Restriction
      on property: hasCondition
      some values from: Agent

Agent Fragment
type: Class
comment: An agent fragment is a model fragment which contains an agent.
disjoint with: Process Fragment
disjoint with: Static Fragment
subclass of: Model Fragment
equivalent class: Class
  intersection of: Model Fragment
  intersection of: Restriction
    on property: hasCondition
    some values from: Agent

Scenario
type: Class
comment: A scenario describes a situation of the system which becomes the startnode of the stategraph.
subclass of: Aggregate
disjoint with: Model Fragment
subclass of: Restriction
  on property: hasFact
  all values from: Class
    union of: Structural Ingredient
    union of: Behavioural Building Block
    union of: Assumption
    union of: Inequality
    union of: Operator
    union of: Magnitude
    union of: Derivative
    union of: Qualitative Value

Generate all values
type: QuantityAssumption
comment: Generate all the possible values for this quantity.

Contant
type: QuantityAssumption
comment: This quantity remains constant.

Exogenous None
type: QuantityAssumption
comment: No exogenous influence

Exogenous Decrease
type: QuantityAssumption
comment: An exogenous influence causes the quantity to decrease

Exogenous Steady
type: QuantityAssumption
comment: An exogenous influence causes the quantity to remain stable

Exogenous Increase
type: QuantityAssumption
comment: An exogenous influence causes the quantity to increase

Exogenous Sinusoidal
type: QuantityAssumption
comment: An exogenous influence causes the quantity to makes sinusoidal

Exogenous Parabola (Positive)
type: QuantityAssumption
comment: An exogenous influence causes the quantity to increase and then decrease

Exogenous Parabola (Negative)
type: QuantityAssumption
comment: An exogenous influence causes the quantity to decrease and then increase

Exogenous Random
type: QuantityAssumption
comment: An exogenous influences causes the quantity to change randomly

hasSimulationPrefcw assumption
type: DatatypeProperty
comment: Assume unknown influences to be zero

hasSimulationPreffree maxmin derivative
type: DatatypeProperty
comment: Apply quantity space constraints on extreme values (inverse this value)

hasSimulationPreffree zero derivative
type: DatatypeProperty
comment: Apply quantity space constraints on zero as extreme value (negated value)

hasSimulationPrefequal qspace points
type: DatatypeProperty
comment: Assume equal quantity spaces have equal points

hasSimulationPrefvalue branching
type: DatatypeProperty
comment: Generate all values for calculated quantities

hasSimulationPreffast path
type: DatatypeProperty
comment: Apply Fastest Path Heuristic

hasSimulationPreforder using correspondences
type: DatatypeProperty
comment: 'Apply correspondences in ordering'

hasSimulationPrefepsilon ordering
type: DatatypeProperty
comment: Apply epsilon ordering

hasSimulationPrefepsilon merging
type: DatatypeProperty
comment: Apply epsilon merging of immediate terminations

hasSimulationPrefepsilon derivative constraints
type: DatatypeProperty
comment: Apply epsilon derivative continuity constraints

hasSimulationPrefremove inactive quantities
type: DatatypeProperty
comment: Remove inactive quantities after transition

hasSimulationPrefreasoning assumptions
type: DatatypeProperty
comment: Allow reasoning assumptions

hasSimulationPrefassume conditional derivatives
type: DatatypeProperty
comment: Allow reasoning assumptions on derivatives

hasSimulationPrefsecond order derivatives
type: DatatypeProperty
comment: Calculate 2nd order derivatives

hasSimulationPrefderivative terminations
type: DatatypeProperty
comment: Generate derivative terminations (based on 2nd order derivatives)

hasSimulationPrefsecond order continuity
type: DatatypeProperty
comment: Apply 2nd order derivative continuity constraints

hasSimulationPrefapply continuity d inequalities
type: DatatypeProperty
comment: Apply continuity on derivative inequalities

hasSimulationPreforder using equalities
type: DatatypeProperty
comment: Use constants in ordering

hasSimulationPrefequal intervals
type: DatatypeProperty
comment: Assume equal length intervals

hasSimulationPrefsolve extra combinations
type: DatatypeProperty
comment: Extra thorough inequality reasoning

hasSimulationPreffull branching derivative terminations
type: DatatypeProperty
comment: Terminate ambiguous derivatives

hasSimulationPreffull branching equality terminations
type: DatatypeProperty
comment: Assume inequality terminations

hasSimulationPreffull branching value terminations
type: DatatypeProperty
comment: Assume value terminations

hasSimulationPrefterminate weak relations
type: DatatypeProperty
comment: Generate terminations for >=, &, <=

hasSimulationPrefextra termination interpreter
type: DatatypeProperty
comment: Use extra termination rules

hasSimulationPreforder epsilon last
type: DatatypeProperty
comment: Apply epsilon ordering last

hasSimulationPrefremove corresponding equality
type: DatatypeProperty
comment: Remove terminations to unequal for full corresponding quantities

hasSimulationPrefuse landmarks
type: DatatypeProperty
comment: Constrain interaction between possible worlds (derive landmark relations)

hasSimulationPrefmax depth
type: DatatypeProperty
comment: Max inequality reasoning depth (integer)