Wikibase-Ontology-Design-Library merge requests
https://gitlab.cs.ksu.edu/daselab/wikibase-ontology-design-library/-/merge_requests
2023-05-19T15:46:49-05:00
https://gitlab.cs.ksu.edu/daselab/wikibase-ontology-design-library/-/merge_requests/3
Added Axioms from Sec4
2023-05-19T15:46:49-05:00
andreweells
Added Axioms from Sec4
### Axioms as Manchester:
59. p:propName some owl:Thing SubClassOf ex:Sub
60. wdt:propName some owl:Thing SubClassOf ex:Sub
61. owl:Thing SubClassOf ps:propName only ex:Obj
62. owl:Thing SubClassOf wdt:propName only ex:Obj
63. p:propNam...
### Axioms as Manchester:
59. p:propName some owl:Thing SubClassOf ex:Sub
60. wdt:propName some owl:Thing SubClassOf ex:Sub
61. owl:Thing SubClassOf ps:propName only ex:Obj
62. owl:Thing SubClassOf wdt:propName only ex:Obj
63. p:propName some (ps:propName some ex:Obj) SubClassOf ex:Sub
64. wdt:propName some ex:Obj SubClassOf ex:Sub
65. ex:Sub SubClassOf wdt:propName only ex:Obj
66. owl:Thing SubClassOf p:propName max 1 owl:Thing
67. owl:Thing SubClassOf wdt:propName max 1 owl:Thing
68. owl:Thing SubClassOf inverse ps:propName max 1 owl:Thing
69. owl:Thing SubClassOf inverse wdt:propName max 1 owl:Thing
70. ex:Sub SubClassOf p:propName max 1 owl:Thing
71. ex:Sub SubClassOf wdt:propName max 1 owl:Thing
72. owl:Thing SubClassOf p:propName max 1 owl:Thing
73. owl:Thing SubClassOf wdt:propName max 1 ex:Obj
74. owl:Thing SubClassOf ps:propName max 1 ex:Obj
75. ex:Sub SubClassOf p:propName max 1 owl:Thing
76. ex:Sub SubClassOf wdt:propName max 1 ex:Sub
77. ex:Sub SubClassOf ps:propName max 1 ex:Obj
78. ex:Obj SubClassOf inverse ps:propName max 1 owl:Thing
79. ex:Obj SubClassOf inverse wdt:propName max 1 ex:Sub
80. wb:Statement SubClassOf inverse p:propName max 1 ex:Sub
81. ex:Sub SubClassOf p:propName some owl:Thing
82. ex:Sub SubClassOf wdt:propName some ex:Obj
83. ex:Obj SubClassOf ps:propName some owl:Thing
84. ex:Obj SubClassOf wdt:propName some ex:Sub