SWEET Ontology
type: Ontology
version info: 2.3
imports: reprMath.owl
imports: relaMath.owl
imports: reprMathFunction.owl
imports: proc.owl

Operation
type: Class
subclass of: MathematicalProcess
comment: An operation is an action or procedure which produces a new value from one or more input values. [Wikipedia]

Integral
type: Class
subclass of: OperationOnFunction
equivalent class: Integration
subclass of: Restriction
  on property: hasFunction
  cardinality: 1
subclass of: Restriction
  on property: withRespectTo
  cardinality: 1

IndefiniteIntegral
type: Class
subclass of: Integral
subclass of: Restriction
  on property: hasInterval
  cardinality: 0

DefiniteIntegral
type: Class
subclass of: Integral
subclass of: Restriction
  on property: hasInterval
  cardinality: 1