SWRL 4.owl
type: Ontology
comment: This ontology is based on explainable classifier, which was built based on black-box Neural Network (NN) classifier trained on Iris dataset (https://www.kaggle.com/datasets/uciml/iris ). The trained NN was considered as a black-box classifier. We designed an algorithm, which: uses NN to generate syntetic samples; these samples were used to train a Decision Tree (we limit depth for the tree by 4); our algorithm automatically translate the decision tree rules into this ontology with SWRL rules for classifying test samples. Article describing all these in detailed is submitted to ISM-2025 Coference and can be referenced as follows: TO BE INCLUDED LATER. Python/Pythorch code is available here: TO BE INCLUDED. See below the trained Decision Tree classifier (tha basis for the rules): Extracted Decision Tree Rules: |--- PW ≤ 1.44 | |--- SW ≤ 3.06 | | |--- SL ≤ 5.08 | | | |--- PL ≤ 3.40 | | | | |--- Setosa (Rule 1) | | | |--- PL > 3.40 | | | | |--- Versicolor (Rule 2) | | |--- SL > 5.08 | | | |--- PL ≤ 5.86 | | | | |--- Versicolor (Rule 3) | | | |--- PL > 5.86 | | | | |--- Virginica (Rule 4) | |--- SW > 3.06 | | |--- SL ≤ 6.06 | | | |--- PL ≤ 5.86 | | | | |--- Setosa (Rule 5) | | | |--- PL > 5.86 | | | | |--- Setosa (Rule 6) | | |--- SL > 6.06 | | | |--- SW ≤ 4.09 | | | | |--- Versicolor (Rule 7) | | | |--- SW > 4.09 | | | | |--- Setosa (Rule 8) |--- PW > 1.44 | |--- PL ≤ 4.08 | | |--- SL ≤ 6.25 | | | |--- SW ≤ 3.09 | | | | |--- Virginica (Rule 9) | | | |--- SW > 3.09 | | | | |--- Setosa (Rule 10) | | |--- SL > 6.25 | | | |--- PW ≤ 2.40 | | | | |--- Versicolor (Rule 11) | | | |--- PW > 2.40 | | | | |--- Virginica (Rule 12) | |--- PL > 4.08 | | |--- SW ≤ 3.77 | | | |--- SW ≤ 3.19 | | | | |--- Virginica (Rule 13) | | | |--- SW > 3.19 | | | | |--- Virginica (Rule 14) | | |--- SW > 3.77 | | | |--- PW ≤ 2.04 | | | | |--- Setosa (Rule 15) | | | |--- PW > 2.04 | | | | |--- Virginica (Rule 16) Name Mappings: f0 (Decision tree); hasF0 (SWRL rules); sepal length (cm) (name of attribu…

sepal_length
type: DatatypeProperty
type: FunctionalProperty
domain: Unclassified_Iris
range: Datatype
  intersection of: Datatype
    on datatype: float
    with restrictions:
      min inclusive: 4.3
  intersection of: Datatype
    on datatype: float
    with restrictions:
      max inclusive: 7.9

sepal_width
type: DatatypeProperty
type: FunctionalProperty
domain: Unclassified_Iris
range: Datatype
  intersection of: Datatype
    on datatype: float
    with restrictions:
      min inclusive: 2.0
  intersection of: Datatype
    on datatype: float
    with restrictions:
      max inclusive: 4.4

petal_length
type: DatatypeProperty
type: FunctionalProperty
domain: Unclassified_Iris
range: Datatype
  intersection of: Datatype
    on datatype: float
    with restrictions:
      min inclusive: 1.0
  intersection of: Datatype
    on datatype: float
    with restrictions:
      max inclusive: 6.9

petal_width
type: DatatypeProperty
type: FunctionalProperty
domain: Unclassified_Iris
range: Datatype
  intersection of: Datatype
    on datatype: float
    with restrictions:
      min inclusive: 0.1
  intersection of: Datatype
    on datatype: float
    with restrictions:
      max inclusive: 2.5

Setosa
type: Class
subclass of: Unclassified_Iris

Versicolor
type: Class
subclass of: Unclassified_Iris

Virginica
type: Class
subclass of: Unclassified_Iris

Unclassified_Iris
type: Class

Flower1
type: NamedIndividual
type: Unclassified_Iris
sepal_length: 5.0
sepal_width: 3.0
petal_length: 4.0
petal_width: 2.0

Flower2
type: NamedIndividual
type: Unclassified_Iris
sepal_length: 4.3
sepal_width: 2.0
petal_length: 1.0
petal_width: 0.1

Flower3
type: NamedIndividual
type: Unclassified_Iris
sepal_length: 7.9
sepal_width: 4.4
petal_length: 6.9
petal_width: 2.5

Test Sample 1
type: NamedIndividual
type: Unclassified_Iris
sepal_length: 5.8
sepal_width: 3.0
petal_length: 4.2
petal_width: 1.3

Test Sample 2
type: NamedIndividual
type: Unclassified_Iris
sepal_length: 6.5
sepal_width: 3.5
petal_length: 5.0
petal_width: 1.6

Test Sample 3
type: NamedIndividual
type: Unclassified_Iris
sepal_length: 5.5
sepal_width: 3.5
petal_length: 1.5
petal_width: 0.2

Test Sample 4
type: NamedIndividual
type: Unclassified_Iris
sepal_length: 6.8
sepal_width: 3.2
petal_length: 5.5
petal_width: 2.2

Test Sample 5
type: NamedIndividual
type: Unclassified_Iris
sepal_length: 5.9
sepal_width: 3.4
petal_length: 4.8
petal_width: 1.8

Imp
body: ClassAtom
  class predicate: Unclassified_Iris
  argument1: p
body: DatavaluedPropertyAtom
  property predicate: sepal_length
  argument1: p
  argument2: SL
body: DatavaluedPropertyAtom
  property predicate: sepal_width
  argument1: p
  argument2: SW
body: DatavaluedPropertyAtom
  property predicate: petal_length
  argument1: p
  argument2: PL
body: DatavaluedPropertyAtom
  property predicate: petal_width
  argument1: p
  argument2: PW
body: BuiltinAtom
  builtin: greaterThan
  arguments: PW
  arguments: 1.44
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: SL
  arguments: 6.25
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: SW
  arguments: 3.09
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: PL
  arguments: 4.08
head: ClassAtom
  class predicate: Virginica
  argument1: p

Imp
body: ClassAtom
  class predicate: Unclassified_Iris
  argument1: p
body: DatavaluedPropertyAtom
  property predicate: sepal_length
  argument1: p
  argument2: SL
body: DatavaluedPropertyAtom
  property predicate: sepal_width
  argument1: p
  argument2: SW
body: DatavaluedPropertyAtom
  property predicate: petal_length
  argument1: p
  argument2: PL
body: DatavaluedPropertyAtom
  property predicate: petal_width
  argument1: p
  argument2: PW
body: BuiltinAtom
  builtin: greaterThan
  arguments: SL
  arguments: 5.08
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: SW
  arguments: 3.06
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: PL
  arguments: 5.86
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: PW
  arguments: 1.44
head: ClassAtom
  class predicate: Versicolor
  argument1: p

Imp
body: ClassAtom
  class predicate: Unclassified_Iris
  argument1: p
body: DatavaluedPropertyAtom
  property predicate: sepal_length
  argument1: p
  argument2: SL
body: DatavaluedPropertyAtom
  property predicate: sepal_width
  argument1: p
  argument2: SW
body: DatavaluedPropertyAtom
  property predicate: petal_length
  argument1: p
  argument2: PL
body: DatavaluedPropertyAtom
  property predicate: petal_width
  argument1: p
  argument2: PW
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: SL
  arguments: 5.08
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: SW
  arguments: 3.06
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: PL
  arguments: 3.40
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: PW
  arguments: 1.44
head: ClassAtom
  class predicate: Setosa
  argument1: p

Imp
body: ClassAtom
  class predicate: Unclassified_Iris
  argument1: p
body: DatavaluedPropertyAtom
  property predicate: sepal_length
  argument1: p
  argument2: SL
body: DatavaluedPropertyAtom
  property predicate: sepal_width
  argument1: p
  argument2: SW
body: DatavaluedPropertyAtom
  property predicate: petal_width
  argument1: p
  argument2: PW
body: BuiltinAtom
  builtin: greaterThan
  arguments: SL
  arguments: 6.06
body: BuiltinAtom
  builtin: greaterThan
  arguments: SW
  arguments: 3.06
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: SW
  arguments: 4.09
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: PW
  arguments: 1.44
head: ClassAtom
  class predicate: Versicolor
  argument1: p

Imp
body: ClassAtom
  class predicate: Unclassified_Iris
  argument1: p
body: DatavaluedPropertyAtom
  property predicate: sepal_length
  argument1: p
  argument2: SL
body: DatavaluedPropertyAtom
  property predicate: sepal_width
  argument1: p
  argument2: SW
body: DatavaluedPropertyAtom
  property predicate: petal_width
  argument1: p
  argument2: PW
body: BuiltinAtom
  builtin: greaterThan
  arguments: SL
  arguments: 6.06
body: BuiltinAtom
  builtin: greaterThan
  arguments: SW
  arguments: 4.09
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: PW
  arguments: 1.44
head: ClassAtom
  class predicate: Setosa
  argument1: p

Imp
body: ClassAtom
  class predicate: Unclassified_Iris
  argument1: p
body: DatavaluedPropertyAtom
  property predicate: sepal_length
  argument1: p
  argument2: SL
body: DatavaluedPropertyAtom
  property predicate: sepal_width
  argument1: p
  argument2: SW
body: DatavaluedPropertyAtom
  property predicate: petal_width
  argument1: p
  argument2: PW
body: BuiltinAtom
  builtin: greaterThan
  arguments: SW
  arguments: 3.06
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: SL
  arguments: 6.06
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: PW
  arguments: 1.44
head: ClassAtom
  class predicate: Setosa
  argument1: p

Imp
body: ClassAtom
  class predicate: Unclassified_Iris
  argument1: p
body: DatavaluedPropertyAtom
  property predicate: sepal_length
  argument1: p
  argument2: SL
body: DatavaluedPropertyAtom
  property predicate: petal_length
  argument1: p
  argument2: PL
body: DatavaluedPropertyAtom
  property predicate: petal_width
  argument1: p
  argument2: PW
body: BuiltinAtom
  builtin: greaterThan
  arguments: SL
  arguments: 6.25
body: BuiltinAtom
  builtin: greaterThan
  arguments: PW
  arguments: 1.44
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: PL
  arguments: 4.08
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: PW
  arguments: 2.40
head: ClassAtom
  class predicate: Versicolor
  argument1: p

Imp
body: ClassAtom
  class predicate: Unclassified_Iris
  argument1: p
body: DatavaluedPropertyAtom
  property predicate: sepal_length
  argument1: p
  argument2: SL
body: DatavaluedPropertyAtom
  property predicate: petal_length
  argument1: p
  argument2: PL
body: DatavaluedPropertyAtom
  property predicate: petal_width
  argument1: p
  argument2: PW
body: BuiltinAtom
  builtin: greaterThan
  arguments: SL
  arguments: 6.25
body: BuiltinAtom
  builtin: greaterThan
  arguments: PW
  arguments: 2.40
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: PL
  arguments: 4.08
head: ClassAtom
  class predicate: Virginica
  argument1: p

Imp
body: ClassAtom
  class predicate: Unclassified_Iris
  argument1: p
body: DatavaluedPropertyAtom
  property predicate: sepal_width
  argument1: p
  argument2: SW
body: DatavaluedPropertyAtom
  property predicate: petal_length
  argument1: p
  argument2: PL
body: DatavaluedPropertyAtom
  property predicate: petal_width
  argument1: p
  argument2: PW
body: BuiltinAtom
  builtin: greaterThan
  arguments: SW
  arguments: 3.77
body: BuiltinAtom
  builtin: greaterThan
  arguments: PL
  arguments: 4.08
body: BuiltinAtom
  builtin: greaterThan
  arguments: PW
  arguments: 1.44
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: PW
  arguments: 2.04
head: ClassAtom
  class predicate: Setosa
  argument1: p

Imp
body: ClassAtom
  class predicate: Unclassified_Iris
  argument1: p
body: DatavaluedPropertyAtom
  property predicate: sepal_width
  argument1: p
  argument2: SW
body: DatavaluedPropertyAtom
  property predicate: petal_length
  argument1: p
  argument2: PL
body: DatavaluedPropertyAtom
  property predicate: petal_width
  argument1: p
  argument2: PW
body: BuiltinAtom
  builtin: greaterThan
  arguments: PL
  arguments: 4.08
body: BuiltinAtom
  builtin: greaterThan
  arguments: PW
  arguments: 1.44
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: SW
  arguments: 3.77
head: ClassAtom
  class predicate: Virginica
  argument1: p

Imp
body: ClassAtom
  class predicate: Unclassified_Iris
  argument1: p
body: DatavaluedPropertyAtom
  property predicate: sepal_length
  argument1: p
  argument2: SL
body: DatavaluedPropertyAtom
  property predicate: sepal_width
  argument1: p
  argument2: SW
body: DatavaluedPropertyAtom
  property predicate: petal_length
  argument1: p
  argument2: PL
body: DatavaluedPropertyAtom
  property predicate: petal_width
  argument1: p
  argument2: PW
body: BuiltinAtom
  builtin: greaterThan
  arguments: PL
  arguments: 3.40
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: SL
  arguments: 5.08
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: SW
  arguments: 3.06
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: PW
  arguments: 1.44
head: ClassAtom
  class predicate: Versicolor
  argument1: p

Imp
body: ClassAtom
  class predicate: Unclassified_Iris
  argument1: p
body: DatavaluedPropertyAtom
  property predicate: sepal_width
  argument1: p
  argument2: SW
body: DatavaluedPropertyAtom
  property predicate: petal_length
  argument1: p
  argument2: PL
body: DatavaluedPropertyAtom
  property predicate: petal_width
  argument1: p
  argument2: PW
body: BuiltinAtom
  builtin: greaterThan
  arguments: SW
  arguments: 3.77
body: BuiltinAtom
  builtin: greaterThan
  arguments: PL
  arguments: 4.08
body: BuiltinAtom
  builtin: greaterThan
  arguments: PW
  arguments: 2.04
head: ClassAtom
  class predicate: Virginica
  argument1: p

Imp
body: ClassAtom
  class predicate: Unclassified_Iris
  argument1: p
body: DatavaluedPropertyAtom
  property predicate: sepal_length
  argument1: p
  argument2: SL
body: DatavaluedPropertyAtom
  property predicate: sepal_width
  argument1: p
  argument2: SW
body: DatavaluedPropertyAtom
  property predicate: petal_length
  argument1: p
  argument2: PL
body: DatavaluedPropertyAtom
  property predicate: petal_width
  argument1: p
  argument2: PW
body: BuiltinAtom
  builtin: greaterThan
  arguments: SL
  arguments: 5.08
body: BuiltinAtom
  builtin: greaterThan
  arguments: PL
  arguments: 5.86
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: SW
  arguments: 3.06
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: PW
  arguments: 1.44
head: ClassAtom
  class predicate: Virginica
  argument1: p

Imp
body: ClassAtom
  class predicate: Unclassified_Iris
  argument1: p
body: DatavaluedPropertyAtom
  property predicate: sepal_length
  argument1: p
  argument2: SL
body: DatavaluedPropertyAtom
  property predicate: sepal_width
  argument1: p
  argument2: SW
body: DatavaluedPropertyAtom
  property predicate: petal_length
  argument1: p
  argument2: PL
body: DatavaluedPropertyAtom
  property predicate: petal_width
  argument1: p
  argument2: PW
body: BuiltinAtom
  builtin: greaterThan
  arguments: SW
  arguments: 3.09
body: BuiltinAtom
  builtin: greaterThan
  arguments: PW
  arguments: 1.44
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: SL
  arguments: 6.25
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: PL
  arguments: 4.08
head: ClassAtom
  class predicate: Setosa
  argument1: p