Permalink
Browse files

GWML2 - First Import

First-order axioms for the Groundwater Markup Language (GWML2) based on
the Hydro Foundational Ontology (HyFO)
  • Loading branch information...
thahmann committed Jul 5, 2016
1 parent 7069a34 commit b5fc37d100d6cb6d50ef5544514d430a963bc31b
Showing with 11,875 additions and 0 deletions.
  1. +29 −0 ontologies/gwml2/Module1.clif
  2. +24 −0 ontologies/gwml2/Module12.clif
  3. +18 −0 ontologies/gwml2/Module17.clif
  4. +27 −0 ontologies/gwml2/Module18.clif
  5. +73 −0 ontologies/gwml2/Module22.clif
  6. +30 −0 ontologies/gwml2/Module23.clif
  7. +22 −0 ontologies/gwml2/Module24.clif
  8. +38 −0 ontologies/gwml2/Module25.clif
  9. +23 −0 ontologies/gwml2/Module26.clif
  10. +66 −0 ontologies/gwml2/Module28.clif
  11. +25 −0 ontologies/gwml2/Module29.clif
  12. +38 −0 ontologies/gwml2/Module3.clif
  13. +39 −0 ontologies/gwml2/Module30.clif
  14. +21 −0 ontologies/gwml2/Module31.clif
  15. +32 −0 ontologies/gwml2/Module32.clif
  16. +12 −0 ontologies/gwml2/Module4.clif
  17. +12 −0 ontologies/gwml2/Module5.clif
  18. +131 −0 ontologies/gwml2/Module6.clif
  19. +47 −0 ontologies/gwml2/Module6A.clif
  20. +109 −0 ontologies/gwml2/Module7.clif
  21. +25 −0 ontologies/gwml2/Module8.clif
  22. +16 −0 ontologies/gwml2/Module9.clif
  23. +17 −0 ontologies/gwml2/conversions/module1.all.tptp
  24. +6 −0 ontologies/gwml2/conversions/module1.p9
  25. +300 −0 ontologies/gwml2/conversions/module12.all.tptp
  26. +6 −0 ontologies/gwml2/conversions/module12.p9
  27. +334 −0 ontologies/gwml2/conversions/module17.all.tptp
  28. +5 −0 ontologies/gwml2/conversions/module17.p9
  29. +305 −0 ontologies/gwml2/conversions/module18.all.tptp
  30. +6 −0 ontologies/gwml2/conversions/module18.p9
  31. +327 −0 ontologies/gwml2/conversions/module22.all.tptp
  32. +6 −0 ontologies/gwml2/conversions/module22.p9
  33. +304 −0 ontologies/gwml2/conversions/module23.all.tptp
  34. +6 −0 ontologies/gwml2/conversions/module23.p9
  35. +309 −0 ontologies/gwml2/conversions/module24.all.tptp
  36. +5 −0 ontologies/gwml2/conversions/module24.p9
  37. +335 −0 ontologies/gwml2/conversions/module25.all.tptp
  38. +6 −0 ontologies/gwml2/conversions/module25.p9
  39. +337 −0 ontologies/gwml2/conversions/module26.all.tptp
  40. +4 −0 ontologies/gwml2/conversions/module26.p9
  41. +304 −0 ontologies/gwml2/conversions/module28.all.tptp
  42. +9 −0 ontologies/gwml2/conversions/module28.p9
  43. +308 −0 ontologies/gwml2/conversions/module29.all.tptp
  44. +5 −0 ontologies/gwml2/conversions/module29.p9
  45. +301 −0 ontologies/gwml2/conversions/module3.all.tptp
  46. +7 −0 ontologies/gwml2/conversions/module3.p9
  47. +322 −0 ontologies/gwml2/conversions/module30.all.tptp
  48. +6 −0 ontologies/gwml2/conversions/module30.p9
  49. +305 −0 ontologies/gwml2/conversions/module31.all.tptp
  50. +4 −0 ontologies/gwml2/conversions/module31.p9
  51. +20 −0 ontologies/gwml2/conversions/module32.all.tptp
  52. +5 −0 ontologies/gwml2/conversions/module32.p9
  53. +303 −0 ontologies/gwml2/conversions/module4.all.tptp
  54. +4 −0 ontologies/gwml2/conversions/module4.p9
  55. +305 −0 ontologies/gwml2/conversions/module5.all.tptp
  56. +4 −0 ontologies/gwml2/conversions/module5.p9
  57. +314 −0 ontologies/gwml2/conversions/module6.all.tptp
  58. +11 −0 ontologies/gwml2/conversions/module6.p9
  59. +314 −0 ontologies/gwml2/conversions/module7.all.tptp
  60. +11 −0 ontologies/gwml2/conversions/module7.p9
  61. +327 −0 ontologies/gwml2/conversions/module8.all.tptp
  62. +6 −0 ontologies/gwml2/conversions/module8.p9
  63. +307 −0 ontologies/gwml2/conversions/module9.all.tptp
  64. +4 −0 ontologies/gwml2/conversions/module9.p9
  65. +22 −0 ontologies/gwml2/definitions/Module10.clif
  66. +26 −0 ontologies/gwml2/definitions/Module11.clif
  67. +19 −0 ontologies/gwml2/definitions/Module13.clif
  68. +32 −0 ontologies/gwml2/definitions/Module14.clif
  69. +30 −0 ontologies/gwml2/definitions/Module15.clif
  70. +29 −0 ontologies/gwml2/definitions/Module16.clif
  71. +19 −0 ontologies/gwml2/definitions/Module19.clif
  72. +28 −0 ontologies/gwml2/definitions/Module2.clif
  73. +38 −0 ontologies/gwml2/definitions/Module20.clif
  74. +21 −0 ontologies/gwml2/definitions/Module21.clif
  75. +22 −0 ontologies/gwml2/definitions/Module27.clif
  76. +4 −0 ontologies/gwml2/definitions/conversions/module10.p9
  77. +6 −0 ontologies/gwml2/definitions/conversions/module11.p9
  78. +4 −0 ontologies/gwml2/definitions/conversions/module13.p9
  79. +6 −0 ontologies/gwml2/definitions/conversions/module14.p9
  80. +4 −0 ontologies/gwml2/definitions/conversions/module15.p9
  81. +4 −0 ontologies/gwml2/definitions/conversions/module16.p9
  82. +5 −0 ontologies/gwml2/definitions/conversions/module2.p9
  83. +6 −0 ontologies/gwml2/definitions/conversions/module27.p9
  84. +5 −0 ontologies/gwml2/verification/Module1.txt
  85. +252 −0 ontologies/gwml2/verification/Module12.txt
  86. +134 −0 ontologies/gwml2/verification/Module17.txt
  87. +133 −0 ontologies/gwml2/verification/Module18.txt
  88. +464 −0 ontologies/gwml2/verification/Module22.txt
  89. +378 −0 ontologies/gwml2/verification/Module23.txt
  90. +389 −0 ontologies/gwml2/verification/Module24.txt
  91. +359 −0 ontologies/gwml2/verification/Module25.txt
  92. 0 ontologies/gwml2/verification/Module26.txt
  93. +163 −0 ontologies/gwml2/verification/Module28.txt
  94. +199 −0 ontologies/gwml2/verification/Module29.txt
  95. +149 −0 ontologies/gwml2/verification/Module3.txt
  96. 0 ontologies/gwml2/verification/Module30.txt
  97. +181 −0 ontologies/gwml2/verification/Module31.txt
  98. +17 −0 ontologies/gwml2/verification/Module32.txt
  99. +125 −0 ontologies/gwml2/verification/Module4.txt
  100. +147 −0 ontologies/gwml2/verification/Module5.txt
  101. +494 −0 ontologies/gwml2/verification/Module6.txt
  102. +14 −0 ontologies/gwml2/verification/Module6A.txt
  103. +455 −0 ontologies/gwml2/verification/Module7.txt
  104. +336 −0 ontologies/gwml2/verification/Module8.txt
  105. +175 −0 ontologies/gwml2/verification/Module9.txt
@@ -0,0 +1,29 @@
(cl-text http://colore.oor.net/gwml2/module1.clif
(cl-imports http://colore.oor.net/multidim_space_ped/ped.clif)
(cl-comment 'EM-A1')
(cl-comment 'Earth Material is a specialization of Matter')
(forall (x)
(if
(EM x)
(M x)
)
)
(cl-comment 'EM-A2')
(cl-comment 'Fluid Matter is a specialization of Earth Material')
(forall (x)
(if
(FM x)
(EM x)
)
)
(cl-comment 'EM-A3')
(cl-comment 'Water Matter is a specialization of Fluid Matter')
(forall (x)
(if
(WM x)
(FM x)
)
)
)
@@ -0,0 +1,24 @@
(cl-text http://colore.oor.net/gwml2/module12.clif
(cl-imports http://colore.oor.net/gwml2/module1.clif)
(cl-imports http://colore.oor.net/multidim_space_granular/test.clif)
(cl-comment 'FB-A1')
(cl-comment 'Fluid Body is a specialization of NAPO')
(forall (x)
(if
(FB x)
(NAPO x)
)
)
(cl-comment 'FB-A2')
(cl-comment 'Any intragranular constituent of a FLuid Body is FLuid Matter')
(forall (x y)
(if
(and
(FB x)
(intragranularconstituent y x)
)
(FM y)
)
)
)
@@ -0,0 +1,18 @@
(cl-text http://colore.oor.net/gwml2/module17.clif
(cl-imports http://colore.oor.net/gwml2/definitions/module16.clif)
(cl-imports http://colore.oor.net/gwml2/module8.clif)
(cl-comment 'HGU-A4')
(cl-comment 'A HydroRock Body that has a Subsurface Water Body that is not a Well Water Body as submaterial is a Hydrogeo Unit')
(forall (x y)
(if
(and
(HRB x)
(SSWB y)
(not (WWB y))
(submaterial y x)
)
(HGU x)
)
)
)
@@ -0,0 +1,27 @@
(cl-text http://colore.oor.net/gwml2/module18.clif
(cl-imports http://colore.oor.net/gwml2/definitions/module2.clif)
(cl-imports http://colore.oor.net/multidim_space_granular/test.clif)
(cl-comment 'SB-A1')
(cl-comment 'Porous Object is a Solid Body that has non-empty void space')
(forall (x)
(if
(PorousObject x)
(and
(SB x)
(not (ZEX (voidspace x)))
)
)
)
(cl-comment 'SB-A2')
(cl-comment 'Permeable Object has interconnected pore space')
(forall (x)
(if
(PermeableObject x)
(and
(PorousObject x)
(not (ZEX (conporespace x)))
)
)
)
)
@@ -0,0 +1,73 @@
(cl-text http://colore.oor.net/gwml2/module22.clif
(cl-imports http://colore.oor.net/gwml2/definitions/module14.clif)
(cl-comment 'W-A2')
(cl-comment 'Every Well Water Body is linked to an Aquifer Water Body that it drains')
(forall (x)
(if
(WWB x)
(exists (y)
(and
(AWB y)
(SC (r x) (r y))
)
)
)
)
(cl-comment 'W-A3')
(cl-comment 'Every Well has a container Wall that hosts a Hydrogeo Void that in turn contains a Well Water Body')
(forall (x)
(if
(W x)
(exists (u v y)
(and
(CSB u)
(P (r u) (r x))
(HGV v)
(P (r v) (r x))
(WWB y)
(P (r y) (r v))
)
)
)
)
(cl-comment 'W-A4')
(cl-comment 'A Well is in contact with any Aquifer whose Water Body it is linked to')
(forall (x y z)
(if
(and
(W x)
(WWB y)
(AWB z)
(submaterial y x)
(SC (r y) (r z))
)
(forall (u)
(if
(and
(AU u)
(submaterial z u)
)
(C x u)
)
)
)
)
)
(cl-comment 'W-A5')
(cl-comment 'A Hydro Rock Body that has a Well Water Body as a submaterial is a Well')
(forall (x y)
(if
(and
(HRB x)
(WWB y)
(AWB z)
(submaterial y x)
)
(W x)
)
)
)
@@ -0,0 +1,30 @@
(cl-text http://colore.oor.net/gwml2/module23.clif
(cl-imports http://colore.oor.net/gwml2/module12.clif)
(cl-imports http://colore.oor.net/multidim_space_granular/test.clif)
(cl-comment 'FBS-A1')
(cl-comment 'Fluid Body Surface is a specialization of NAPO')
(forall (x)
(if
(FBS x)
(DPF x)
)
)
(cl-comment 'FBS-A2')
(cl-comment 'A fluid body is always hosted by a fluid body that is constituted of fluid matter')
(forall (x)
(if
(FBS x)
(exists (y z)
(and
(FB y)
(FM z)
(intragranularconstituent z y)
(hosts y x)
)
)
)
)
)
@@ -0,0 +1,22 @@
(cl-text http://colore.oor.net/gwml2/module24.clif
(cl-imports http://colore.oor.net/gwml2/definitions/module13.clif)
(cl-imports http://colore.oor.net/gwml2/module23.clif)
(cl-comment 'WBS-A1')
(cl-comment 'Water Body Surface is a specialization of NAPO')
(forall (x)
(if
(WBS x)
(and
(FBS x)
(exists (y)
(and
(hosts y x)
(WB y)
)
)
)
)
)
)
@@ -0,0 +1,38 @@
(cl-text http://colore.oor.net/gwml2/module25.clif
(cl-imports http://colore.oor.net/gwml2/definitions/module16.clif)
(cl-imports http://colore.oor.net/gwml2/module24.clif)
(cl-comment 'SSBS-A1')
(cl-comment 'A Subsurface Water Body Surface is a specialization of Water Body Surface and is hosted by a Subsurface Water Body')
(forall (x)
(if
(SSWBS x)
(and
(WBS x)
(exists (y)
(and
(hosts y x)
(SSWB y)
)
)
)
)
)
(cl-comment 'SSBS-A2')
(cl-comment 'A Subsurface Water Body Surface is always physically contained in either a Hydrogeo Unit or a Well')
(forall (x)
(if
(SSWBS x)
(and
(WBS x)
(exists (y)
(and
(hosts y x)
(SSWB y)
)
)
)
)
)
)
@@ -0,0 +1,23 @@
(cl-text http://colore.oor.net/gwml2/module26.clif
(cl-imports http://colore.oor.net/gwml2/module25.clif)
(cl-comment 'D-A1')
(cl-comment 'Divide is a specialization of Dependent Place Feature and is incident with some Subsurface Water Body')
(forall (x)
(if
(D x)
(and
(DPF x)
(exists (y)
(and
(SSWBS y)
(< (r x)(r y))
(inc (r y) (r x))
(hosts y x)
)
)
)
)
)
)
@@ -0,0 +1,66 @@
(cl-text http://colore.oor.net/gwml2/module28.clif
(cl-imports http://colore.oor.net/gwml2/definitions/module27.clif)
(cl-comment 'Const-A2')
(cl-comment 'The three kinds of Const are mutually disjoint')
(forall (x)
(and
(or
(not (CConst x))
(not (BConst x))
)
(or
(not (CConst x))
(not (MConst x))
)
(or
(not (BConst x))
(not (MConst x))
)
)
)
(cl-comment 'Const-A3')
(cl-comment 'Material Constituents are Earth Material')
(forall (x)
(if
(MConst x)
(EM x)
)
)
(cl-comment 'Const-A4')
(cl-comment 'MConst is a specialization of Constituent')
(forall (x)
(if
(MConst x)
(Const x)
)
)
(cl-comment 'Const-A5')
(cl-comment 'CConst is a specialization of Constituent')
(forall (x)
(if
(CConst x)
(Const x)
)
)
(cl-comment 'Const-A6')
(cl-comment 'CConst is a specialization of Constituent')
(forall (x)
(if
(BConst x)
(Const x)
)
)
(cl-comment 'Const-A7')
(cl-comment 'MConst CConst and BConst are exhaustive kinds of Const')
(forall (x)
(if
(Const x)
(or
(CConst x)
(BConst x)
(MConst x)
)
)
)
)
@@ -0,0 +1,25 @@
(cl-text http://colore.oor.net/gwml2/module29.clif
(cl-imports http://colore.oor.net/gwml2/module5.clif)
(cl-comment 'SP-A1')
(cl-comment 'Spring is a specialization of DPF')
(forall (x)
(if
(SP x)
(DPF x)
)
)
(cl-comment 'SP-A2')
(cl-comment 'Spring is contained in an HGU whose water it drains')
(forall (x)
(if
(SP x)
(exists (y)
(and
(HGU y)
(C (r x) (r y))
)
)
)
)
)
Oops, something went wrong.

0 comments on commit b5fc37d

Please sign in to comment.