Skip to content

Commit

Permalink
fix: Repair most psr/pgr tests
Browse files Browse the repository at this point in the history
  • Loading branch information
@ngrewe
ngrewe committed Feb 19, 2024
1 parent 7f5a6c1 commit 75179ca
Showing 1 changed file with 82 additions and 82 deletions.
164 changes: 82 additions & 82 deletions src/test/clojure/de/halbordnung/ontologies/tqme/cq.clj
View file
Original file line number Diff line number Diff line change
Expand Up @@ -76,20 +76,20 @@
"A human having teeth at some time → OK"))

(deftest tgr_cm-
(def color (o/owl-class to "color"
(def colour (o/owl-class to "colour"
:super b/quality))
(def red-color (o/owl-class to "red-color"
:super color))
(def green-color (o/owl-class to "green-color"
:super color))
(o/disjoint-classes to (list green-color red-color))
(def red-colour (o/owl-class to "red-colour"
:super colour))
(def green-colour (o/owl-class to "green-colour"
:super colour))
(o/disjoint-classes to (list green-colour red-colour))
(def apple (o/owl-class to "apple"
:super (o/owl-and b/material_entity
(o/owl-some c/has-min-tqme (o/owl-some b/specifically_depended_on_by green-color)))))
(o/owl-some c/has-min-tqme (o/owl-some b/specifically_depended_on_by green-colour)))))
(is (satisfiable? to (o/owl-and apple
(o/owl-some c/has-min-tqme (o/owl-only b/specifically_depended_on_by
(o/|| red-color (o/! color))))))
"An apple that at some time has no other color than red → OK"))
(o/|| red-colour (o/! colour))))))
"An apple that at some time has no other colour than red → OK"))

(deftest tgr_cp1
(def birth (o/owl-class to "birth"
Expand Down Expand Up @@ -171,67 +171,67 @@

(deftest psr_cm-

(o/owl-class to "sex"
:super b/quality)
(o/owl-class to "male-sex"
:super "sex")
(o/owl-class to "female-sex"
:super "sex")
(o/disjoint-classes to (list "male-sex" "female-sex"))
(o/owl-class to "mammal"
:super (o/owl-and to b/material_entity
(c/perm-spec to (o/exactly to 1 b/specifically_depended_on_by "sex"))))

(is (not (satisfiable? to (o/owl-and to "mammal"
(o/owl-some to b/specifically_depended_on_by "male-sex")
(o/owl-some to b/specifically_depended_on_by "female-sex"))))
(def sex (o/owl-class to "sex"
:super b/quality))
(def male-sex (o/owl-class to "male-sex"
:super sex))
(def female-sex (o/owl-class to "female-sex"
:super sex))
(o/disjoint-classes to (list male-sex female-sex))
(def mammal (o/owl-class to "mammal"
:super (o/owl-and b/material_entity
(c/perm-spec to (o/exactly 1 b/specifically_depended_on_by sex)))))

(is (not (satisfiable? to (o/owl-and mammal
(o/owl-some b/specifically_depended_on_by male-sex)
(o/owl-some b/specifically_depended_on_by female-sex))))
"A mammal that is biologically male at some time and biologically female at some other time → owl:Nothing"))

(deftest psr_cp1
(o/owl-class to "life"
:super b/history)
(o/owl-class to "organism"
:super (o/owl-and to b/material_entity
(c/perm-spec to (o/exactly to 1 b/participates_in_at_all_times "life"))))
(def life (o/owl-class to "life"
:super b/history))
(def organism (o/owl-class to "organism"
:super (o/owl-and b/material_entity
(c/perm-spec to (o/exactly 1 b/participates_in_at_all_times life)))))

(let
[joes-life (o/individual to "joes-life"
:type "life")
:type life)
joe (o/individual to "joe"
:type "organism"
:fact (o/fact to b/participates_in_at_all_times joes-life))
:type organism
:fact (o/fact b/participates_in_at_all_times joes-life))
other-life (o/individual to "other-life"
:type "life"
:type life
:different joes-life)]
(o/with-probe-axioms to
[a (o/add-fact to joe (o/fact to b/participates_in_at_all_times other-life))]
[a (o/add-fact to joe (o/fact b/participates_in_at_all_times other-life))]

(is (not (r/consistent? to))
"Joe participates in two different lives → owl:Nothing"))))

;; PSR_cp2 needs to be reformulated -- it is nonesense as is

(deftest pgr_cm+
(o/owl-class to "oxygen-molecule"
:super b/material_entity)
(o/owl-class to "red-blood-cell"
:super b/material_entity)
(o/owl-class to "root-phase"
:super (o/owl-and to
(def oxygen-molecule (o/owl-class to "oxygen-molecule"
:super b/material_entity))
(def red-blood-cell (o/owl-class to "red-blood-cell"
:super b/material_entity))
(def root-phase (o/owl-class to "root-phase"
:super (o/owl-and
c/phase
(o/! to (o/owl-some to b/has_proper_occurrent_part o/owl-thing))
(o/! to (o/owl-some to c/phase-of (o/owl-some to b/has_continuant_part_at_all_times
"oxygen-molecule")))))
(o/disjoint-classes to (list "oxygen-molecule" "red-blood-cell"))
(o/! (o/owl-some b/has_proper_occurrent_part o/owl-thing))
(o/! (o/owl-some c/phase-of (o/owl-some b/has_continuant_part_at_all_times
oxygen-molecule))))))
(o/disjoint-classes to (list oxygen-molecule red-blood-cell))

(o/add-superclass to "red-blood-cell"
(c/perm-gen to o/owl-some b/has_continuant_part_at_all_times "oxygen-molecule"))
(o/add-superclass to red-blood-cell
(c/perm-gen to o/owl-some b/has_continuant_part_at_all_times oxygen-molecule))

(o/with-probe-axioms to
[a (o/add-subclass to
(o/owl-some to c/min-tqme-of "red-blood-cell")
(o/! to (o/owl-some to b/has_continuant_part_at_all_times
(o/owl-some to c/min-tqme-of "oxygen-molecule")))
(o/owl-some c/min-tqme-of red-blood-cell)
(o/! (o/owl-some b/has_continuant_part_at_all_times
(o/owl-some c/min-tqme-of oxygen-molecule)))
)]
(is (not (r/consistent? to))
"There are red blood cells without oxygen molecules → owl:Nothing"))
Expand All @@ -240,38 +240,38 @@

(deftest pgr_cm-

(o/owl-class to "apple"
:super b/material_entity)
(o/owl-class to "colour"
:super b/quality)
(def apple (o/owl-class to "apple"
:super b/material_entity))
(def colour (o/owl-class to "colour"
:super b/quality))

(o/add-superclass to "apple"
(c/perm-gen to o/owl-some b/specifically_depended_on_by "colour"))
(o/add-superclass to apple
(c/perm-gen to o/owl-some b/specifically_depended_on_by colour))

(.flush ^OWLReasoner (r/reasoner to))
(is (r/consistent? to)
"Consistent TQME ontology for apple/colour")

(o/with-probe-axioms to
[a (o/add-subclass to
(o/owl-some to c/min-tqme-of "apple")
(o/! to (o/owl-some to b/specifically_depended_on_by
(o/owl-some to c/min-tqme-of "colour"))))]
(o/owl-some c/min-tqme-of apple)
(o/! (o/owl-some b/specifically_depended_on_by
(o/owl-some c/min-tqme-of colour))))]
(is (not (r/consistent? to))
"There are apples without a colour → owl:Nothing"))
)

(deftest pgr_cp1

(o/owl-class to "organism"
:super b/material_entity)
(o/owl-class to "eco-process"
:super b/process)
(def organism (o/owl-class to "organism"
:super b/material_entity))
(def eco-process (o/owl-class to "eco-process"
:super b/process))

(o/add-superclass to "organism"
(o/owl-and to
(o/owl-some to c/has-min-tqme (o/owl-some to b/participates_in_at_all_times "eco-process"))
(o/owl-only to c/has-min-tqme (o/owl-some to b/participates_in_at_all_times "eco-process"))
(o/add-superclass to organism
(o/owl-and
(o/owl-some c/has-min-tqme (o/owl-some b/participates_in_at_all_times eco-process))
(o/owl-only c/has-min-tqme (o/owl-some b/participates_in_at_all_times eco-process))
)
)

Expand All @@ -280,39 +280,39 @@

(o/with-probe-axioms to
[a (o/add-subclass to
(o/owl-some to c/min-tqme-of "organism")
(o/! to (o/owl-some to b/participates_in_at_all_times "eco-process")))]
(o/owl-some c/min-tqme-of organism)
(o/! (o/owl-some b/participates_in_at_all_times eco-process)))]
(is (not (r/consistent? to))
"There are organisms that do not participate in any ecologic process at certain times → owl:Nothing"))
)


(deftest pgr_transitivity

(o/owl-class to "blood-volume"
:super b/material_entity)
(o/owl-class to "red-blood-cell"
:super b/material_entity)
(o/owl-class to "oxygen-molecule"
:super b/material_entity)
(def blood-volume (o/owl-class to "blood-volume"
:super b/material_entity))
(def red-blood-cell (o/owl-class to "red-blood-cell"
:super b/material_entity))
(def oxygen-molecule (o/owl-class to "oxygen-molecule"
:super b/material_entity))

(o/disjoint-classes to (list "blood-volume" "red-blood-cell" "oxygen-molecule"))
(o/disjoint-classes to (list blood-volume red-blood-cell oxygen-molecule))

(o/add-superclass to "red-blood-cell"
(o/add-superclass to red-blood-cell
(c/perm-gen to o/owl-some b/has_continuant_part_at_all_times
"oxygen-molecule"))
oxygen-molecule))

(o/add-superclass to "blood-volume"
(o/add-superclass to blood-volume
(c/perm-gen to o/owl-some b/has_continuant_part_at_all_times
"red-blood-cell"))
red-blood-cell))
(is (r/consistent? to)
"Consistent TQME ontology for transitive permanent generic parthood")
(is (not (satisfiable? to
(o/owl-and to
(o/owl-some to c/min-tqme-of "blood-volume")
(o/! to (o/owl-some to
(o/owl-and
(o/owl-some c/min-tqme-of blood-volume)
(o/! (o/owl-some
b/has_continuant_part_at_all_times
(o/owl-some to c/min-tqme-of "oxygen-molecule"))))
(o/owl-some c/min-tqme-of oxygen-molecule))))
))
"There times where a blood volume has no oxygen molecules → owl:Nothing")
)

0 comments on commit 75179ca

Please sign in to comment.