Ontology for Knowlege Discovery Process Management
type: Ontology
comment: TODO - move towards OWL 2 - it simplifies algorithm descriptions, inputs/outputs - SWRL rules - GCIs
creator: Petr Křemen
imports: data-orange.owl
imports: feature-eval.owl
imports: gene-annot-ex.owl
imports: gene-set-ex.owl
imports: guha.owl
imports: mode-decl-ex-obo.owl
imports: mode-decl-ex-owldl.owl
imports: owldl2rel.owl
imports: prolog2csv-ci.owl
imports: prolog2csv-rcd.owl
imports: rdf2prolog-ci.owl
imports: slrs-adapted.owl
imports: sorts-ex-obo.owl
imports: sorts-ex-owldl.owl
imports: sr-frequent-patterns.owl
imports: topdown-rule-search-adapted.owl
imports: topdown-rule-search.owl
imports: weka-apriori.owl
imports: weka-cobweb.owl
imports: weka-jrip.owl

first
type: ObjectProperty
comment: Generic - TODO extract to another ontology

hasExpressivity
type: ObjectProperty
type: FunctionalProperty
range: Expressivity
domain: LogicalKnowledge

hasFormat
type: ObjectProperty
type: FunctionalProperty
domain: Knowledge
range: KnowledgeFormat
sub property of: planning
domain: Class
  union of: ComplexNonLogicalKnowledge
  union of: LogicalKnowledge

isFormatOf
type: ObjectProperty
inverse of: hasFormat

next
type: ObjectProperty
comment: Generic - TODO extract to another ontology

ofAlgorithm
type: ObjectProperty
range: Algorithm
domain: AlgorithmExecution

term
type: ObjectProperty
comment: A property that binds a ground fact with its agruments - terms in the form of AttributeValues

hasValue
type: DatatypeProperty
type: FunctionalProperty
domain: SimpleDataKnowledge

significanceLevel
type: DatatypeProperty
comment: significant level of a statistical quantifier
sub property of: quantifierParameter

targetClass
type: DatatypeProperty
comment: DEPRECATED : just for querying - remodel

Algorithm
type: Class
subclass of: Restriction
  on property: preservesDatasetExpressivity
  some values from: boolean
disjoint with: Knowledge
comment: A superclass of all particular algorithm descriptions.

AlgorithmExecution
type: Class
subclass of: Restriction
  on property: ofAlgorithm
  cardinality: 1
subclass of: Restriction
  on property: cpuTimeSeconds
  some values from: double
comment: algorithm execution

algorithm parameter
type: Class

Attribute
type: Class
subclass of: Class
  intersection of: Thing
  intersection of: Restriction
    on property: name
    some values from: string
  intersection of: Restriction
    on property: name
    max cardinality: 1
disjoint with: BooleanAtom
disjoint with: KnowledgeFormat
disjoint with: TopClass

AttributeInteraction
type: Class
equivalent class: Class
  intersection of: AtomicKnowledge
  intersection of: Restriction
    on property: element
    all values from: Attribute
  intersection of: Restriction
    on property: element
    cardinality: 2
  intersection of: Restriction
    on property: interaction
    some values from: double

AttributeSelector
type: Class
subclass of: Class
  intersection of: Selector
  intersection of: Restriction
    on property: ofAttribute
    some values from: Attribute
  intersection of: Restriction
    on property: operator
    some values from: Operator
  intersection of: Restriction
    on property: ofAttribute
    max cardinality: 1
  intersection of: Restriction
    on property: data
    some values from: anySimpleType
disjoint with: QualitySelector

BinaryRelationKnowledge
type: Class
equivalent class: LabeledGraph
subclass of: Class
  intersection of: OWL-Lite
  intersection of: RelationalStructure

Cluster
type: Class
subclass of: Class
  intersection of: AtomicKnowledge
  intersection of: Class
    union of: Restriction
      on property: child
      some values from: Cluster
    union of: Restriction
      on property: representsExample
      some values from: Example
  intersection of: Restriction
    on property: ordering
    some values from: int
  intersection of: Restriction
    on property: ordering
    cardinality: 1

ComplexNonLogicalKnowledge
type: Class
subclass of: NonlogicalKnowledge

ConcatenateOperation
type: Class
equivalent class: Class
  intersection of: DatasetCombinationInfo
  intersection of: Restriction
    on property: method
    all values from: DomainsMergingMethod
  intersection of: Restriction
    on property: method
    cardinality: 1

DLLite
type: Class
subclass of: OWL2-Full

Data
type: Class
subclass of: Thing

Dendrogram
type: Class
subclass of: Class
  intersection of: Model
  intersection of: Restriction
    on property: rootCluster
    some values from: Cluster
  intersection of: Restriction
    on property: contains
    all values from: Cluster
  intersection of: Restriction
    on property: rootCluster
    cardinality: 1

Distance
type: Class
equivalent class: Class
  intersection of: AtomicKnowledge
  intersection of: Restriction
    on property: distanceMetric
    some values from: DistanceMetric
  intersection of: Restriction
    on property: element
    cardinality: 2
  intersection of: Restriction
    on property: distance
    some values from: double

EL++
type: Class
subclass of: OWL2-Full

Expressivity
type: Class
subclass of: Thing

Feature
type: Class
subclass of: Class
  intersection of: BooleanAttribute
  intersection of: Restriction
    on property: firstTerm
    some values from: TopClass
  intersection of: Restriction
    on property: firstTerm
    max cardinality: 1

FeatureMissingValue
type: Class
equivalent class: Class
  intersection of: BooleanAttributeValue
  intersection of: Restriction
    on property: ofAttribute
    some values from: Feature
  intersection of: Restriction
    on property: data
    has value: false
subclass of: BooleanAttributeValue

FeaturePresentValue
type: Class
equivalent class: Class
  intersection of: BooleanAttributeValue
  intersection of: Restriction
    on property: ofAttribute
    some values from: Feature
  intersection of: Restriction
    on property: data
    has value: true

FormatChangingAlgorithm
type: Class
equivalent class: Class
  intersection of: DataTransformationAlgorithm
  intersection of: Restriction
    on property: preservesDatasetExpressivity
    has value: true

GroundFact
type: Class
subclass of: Class
  intersection of: FOLAxiom
  intersection of: Restriction
    on property: term
    all values from: AttributeValue
  intersection of: Restriction
    on property: relation
    some values from: string
  intersection of: Restriction
    on property: relation
    max cardinality: 1
comment: Necessary to integrate with Feature and TopClass/TopProperty

HornClause
type: Class
subclass of: Class
  intersection of: FOLAxiom
  intersection of: Restriction
    on property: antecedent
    some values from: Class
      union of: And
      union of: Selector
  intersection of: Restriction
    on property: consequent
    some values from: BooleanAtom
  intersection of: Restriction
    on property: antecedent
    max cardinality: 1
  intersection of: Restriction
    on property: consequent
    max cardinality: 1

LabeledGraph
type: Class
subclass of: RelationalStructure

LogicalKnowledge
type: Class
subclass of: Class
  intersection of: Knowledge
  intersection of: Restriction
    on property: hasExpressivity
    some values from: Expressivity
  intersection of: Restriction
    on property: hasFormat
    some values from: KnowledgeFormat
disjoint with: NonlogicalKnowledge

MajorityClassSplitting
type: Class
equivalent class: Class
  intersection of: DecisionTreePrePruning
  intersection of: Restriction
    on property: majorityClass
    some values from: int
see also: Stop splitting nodes with a majority class of (%)

MergeOperation
type: Class
equivalent class: Class
  intersection of: DatasetCombinationInfo
  intersection of: Restriction
    on property: onAttribute
    all values from: Attribute
  intersection of: Restriction
    on property: onAttribute
    cardinality: 2

Metric
type: Class
equivalent class: Class
  one of: Lift
  one of: Leverage
  one of: Confidence
  one of: Conviction
subclass of: QualityMeasure

MinInstancesInLeaves
type: Class
equivalent class: Class
  intersection of: DecisionTreePrePruning
  intersection of: Restriction
    on property: minInstances
    some values from: int
see also: Min. instances in leaves

MinInstancesSplitting
type: Class
equivalent class: Class
  intersection of: DecisionTreePrePruning
  intersection of: Restriction
    on property: minInstances
    some values from: int
see also: Stop splitting nodes with less instances than

MonadicObservationCalculus
type: Class
subclass of: ObservationCalculus
comment: Observation calculus allowing only unary predicates.

Not
type: Class
subclass of: Class
  intersection of: BooleanAtom
  intersection of: Restriction
    on property: atom
    some values from: BooleanAtom
  intersection of: Restriction
    on property: atom
    max cardinality: 1
disjoint with: Or
disjoint with: Selector

OWL-DL
type: Class
subclass of: OWL2-DL

OWL-Full
type: Class
subclass of: OWL2-Full

OWL-Lite
type: Class
subclass of: OWL-DL

OWL-R
type: Class
subclass of: OWL2-Full

OWL2-DL
type: Class
subclass of: Class
  intersection of: FOL
  intersection of: OWL2-Full

OWL2-Full
type: Class
subclass of: Expressivity

ObservationCalculus
type: Class
subclass of: Expressivity
comment: TO BE SPECIFIED BY VSE

ObservationCalculusFormula
type: Class
subclass of: AtomicKnowledge
comment: Finite models, Generalized quantifiers

PolynomialKernel
type: Class
subclass of: Class
  intersection of: KernelFunction
  intersection of: Restriction
    on property: kernelParameterC
    some values from: double
  intersection of: Restriction
    on property: kernelParameterD
    some values from: double
  intersection of: Restriction
    on property: kernelParameterG
    some values from: double
disjoint with: RBFKernel
disjoint with: SigmoidKernel
comment: (g*x.y+c)^d

PruningWithConfidenceLevel
type: Class
equivalent class: Class
  intersection of: DecisionTreePostPruning
  intersection of: Restriction
    on property: confidenceLevel
    some values from: int
comment: post pruning with confidence level

QualitySelector
type: Class
equivalent class: Class
  intersection of: Selector
  intersection of: Restriction
    on property: ofQualityMeasure
    some values from: QualityMeasure
  intersection of: Restriction
    on property: operator
    some values from: Operator
  intersection of: Restriction
    on property: ofQualityMeasure
    max cardinality: 1
  intersection of: Restriction
    on property: data
    some values from: int

RBFKernel
type: Class
subclass of: Class
  intersection of: KernelFunction
  intersection of: Restriction
    on property: kernelParameterG
    some values from: double
disjoint with: SigmoidKernel
comment: exp(-g*(x-y).(x-y))

Rank
type: Class
equivalent class: Class
  intersection of: AtomicKnowledge
  intersection of: Restriction
    on property: measure
    some values from: AssociationMeasure
  intersection of: Restriction
    on property: onAttribute
    some values from: Attribute
  intersection of: Restriction
    on property: measure
    max cardinality: 1
  intersection of: Restriction
    on property: onAttribute
    max cardinality: 1
  intersection of: Restriction
    on property: rank
    some values from: int

SameMajorityClassMerge
type: Class
subclass of: DecisionTreePostPruning
relation: Recursively merge leaves with same majority class

Selector
type: Class
subclass of: Class
  intersection of: BooleanAtom
  intersection of: Restriction
    on property: operator
    some values from: Operator
  intersection of: Restriction
    on property: operator
    max cardinality: 1

SigmoidKernel
type: Class
subclass of: Class
  intersection of: KernelFunction
  intersection of: Restriction
    on property: kernelParameterC
    some values from: double
  intersection of: Restriction
    on property: kernelParameterG
    some values from: double
comment: tanh(g*x.y+c)

SimpleDataKnowledge
type: Class
subclass of: Class
  intersection of: NonlogicalKnowledge
  intersection of: Restriction
    on property: hasValue
    cardinality: 1
disjoint with: Visualization

SingleAssociation
type: Class
subclass of: Class
  intersection of: HornClause
  intersection of: Restriction
    on property: antecedent
    some values from: Class
      union of: Class
        intersection of: And
        intersection of: Restriction
      union of: Class
        union of: FeatureMissingValue
        union of: FeaturePresentValue
  intersection of: Restriction
    on property: consequent
    all values from: Class
      one of: TRUE
  intersection of: Restriction
    on property: antecedent
    max cardinality: 1
  intersection of: Restriction
    on property: support
    some values from: double

SupportVector
type: Class
equivalent class: Class
  intersection of: AtomicKnowledge
  intersection of: Restriction
    on property: ofExample
    some values from: ClassifiedExample
  intersection of: Restriction
    on property: ofExample
    max cardinality: 1

TopClass
type: Class
subclass of: Class
  intersection of: Restriction
    on property: correspondsTo
    some values from: TopClass
  intersection of: Restriction
    on property: correspondsTo
    max cardinality: 1
subclass of: Restriction
  on property: topProperty
  all values from: TopClass

Workflow
type: Class
equivalent class: Restriction
  on property: hasAction
  some values from: Action
subclass of: Algorithm

Confidence
type: Metric

Conviction
type: Metric

Inversion1-X
type: Inversion
comment: Inversion 1/X

Leverage
type: Metric

Lift
type: Metric

LinearKernel
type: Class
  intersection of: PolynomialKernel
  intersection of: Restriction
    on property: kernelParameterC
    has value: 0.0
  intersection of: Restriction
    on property: kernelParameterD
    has value: 1.0
  intersection of: Restriction
    on property: kernelParameterG
    has value: 1.0

defaultStepwiseAttributeSelection
type: Class
  intersection of: StepwiseAttributeSelection
  intersection of: Restriction
    on property: addThreshold
    has value: 10
  intersection of: Restriction
    on property: removeThreshold
    has value: 10