API tools faq
paste
Advertisement
data-curious-2k

restriction_tester.owl

data-curious-2k
Jan 22nd, 2021
264
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 12.75 KB | None | 0 0
raw download clone embed print report
  1. <?xml version="1.0"?>
  2. <rdf:RDF xmlns="http://www.semanticweb.com/tester#"
  3. xml:base="http://www.semanticweb.com/tester"
  4. xmlns:owl="http://www.w3.org/2002/07/owl#"
  5. xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  6. xmlns:xml="http://www.w3.org/XML/1998/namespace"
  7. xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
  8. xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
  9. xmlns:tester="http://www.semanticweb.com/tester#">
  10. <owl:Ontology rdf:about="http://www.semanticweb.com/tester"/>
  11.  
  12.  
  13.  
  14. <!--
  15. ///////////////////////////////////////////////////////////////////////////////////////
  16. //
  17. // Object Properties
  18. //
  19. ///////////////////////////////////////////////////////////////////////////////////////
  20. -->
  21.  
  22.  
  23.  
  24.  
  25. <!-- http://www.semanticweb.com/tester#hasLetter -->
  26.  
  27. <owl:ObjectProperty rdf:about="http://www.semanticweb.com/tester#hasLetter">
  28. <rdfs:domain rdf:resource="http://www.semanticweb.com/tester#LetterThing"/>
  29. <rdfs:range rdf:resource="http://www.semanticweb.com/tester#Letter"/>
  30. </owl:ObjectProperty>
  31.  
  32.  
  33.  
  34. <!--
  35. ///////////////////////////////////////////////////////////////////////////////////////
  36. //
  37. // Classes
  38. //
  39. ///////////////////////////////////////////////////////////////////////////////////////
  40. -->
  41.  
  42.  
  43.  
  44.  
  45. <!-- http://www.semanticweb.com/tester#A -->
  46.  
  47. <owl:Class rdf:about="http://www.semanticweb.com/tester#A">
  48. <rdfs:subClassOf rdf:resource="http://www.semanticweb.com/tester#Letter"/>
  49. </owl:Class>
  50.  
  51.  
  52.  
  53. <!-- http://www.semanticweb.com/tester#Compound_LetterThing -->
  54.  
  55. <owl:Class rdf:about="http://www.semanticweb.com/tester#Compound_LetterThing">
  56. <owl:equivalentClass>
  57. <owl:Class>
  58. <owl:intersectionOf rdf:parseType="Collection">
  59. <rdf:Description rdf:about="http://www.semanticweb.com/tester#LetterThing"/>
  60. <owl:Restriction>
  61. <owl:onProperty rdf:resource="http://www.semanticweb.com/tester#hasLetter"/>
  62. <owl:allValuesFrom>
  63. <owl:Class>
  64. <owl:unionOf rdf:parseType="Collection">
  65. <rdf:Description rdf:about="http://www.semanticweb.com/tester#X"/>
  66. <rdf:Description rdf:about="http://www.semanticweb.com/tester#Y"/>
  67. </owl:unionOf>
  68. </owl:Class>
  69. </owl:allValuesFrom>
  70. </owl:Restriction>
  71. <owl:Restriction>
  72. <owl:onProperty rdf:resource="http://www.semanticweb.com/tester#hasLetter"/>
  73. <owl:minQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">2</owl:minQualifiedCardinality>
  74. <owl:onClass rdf:resource="http://www.semanticweb.com/tester#Letter"/>
  75. </owl:Restriction>
  76. </owl:intersectionOf>
  77. </owl:Class>
  78. </owl:equivalentClass>
  79. <rdfs:subClassOf>
  80. <owl:Class>
  81. <owl:intersectionOf rdf:parseType="Collection">
  82. <rdf:Description rdf:about="http://www.semanticweb.com/tester#LetterThing"/>
  83. <owl:Restriction>
  84. <owl:onProperty rdf:resource="http://www.semanticweb.com/tester#hasLetter"/>
  85. <owl:allValuesFrom>
  86. <owl:Class>
  87. <owl:unionOf rdf:parseType="Collection">
  88. <rdf:Description rdf:about="http://www.semanticweb.com/tester#X"/>
  89. <rdf:Description rdf:about="http://www.semanticweb.com/tester#Y"/>
  90. </owl:unionOf>
  91. </owl:Class>
  92. </owl:allValuesFrom>
  93. </owl:Restriction>
  94. <owl:Restriction>
  95. <owl:onProperty rdf:resource="http://www.semanticweb.com/tester#hasLetter"/>
  96. <owl:minQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">2</owl:minQualifiedCardinality>
  97. <owl:onClass rdf:resource="http://www.semanticweb.com/tester#Letter"/>
  98. </owl:Restriction>
  99. </owl:intersectionOf>
  100. </owl:Class>
  101. </rdfs:subClassOf>
  102. </owl:Class>
  103.  
  104.  
  105.  
  106. <!-- http://www.semanticweb.com/tester#Letter -->
  107.  
  108. <owl:Class rdf:about="http://www.semanticweb.com/tester#Letter">
  109. <owl:disjointWith rdf:resource="http://www.semanticweb.com/tester#LetterThing"/>
  110. </owl:Class>
  111.  
  112.  
  113.  
  114. <!-- http://www.semanticweb.com/tester#LetterThing -->
  115.  
  116. <owl:Class rdf:about="http://www.semanticweb.com/tester#LetterThing"/>
  117.  
  118.  
  119.  
  120. <!-- http://www.semanticweb.com/tester#X -->
  121.  
  122. <owl:Class rdf:about="http://www.semanticweb.com/tester#X">
  123. <rdfs:subClassOf rdf:resource="http://www.semanticweb.com/tester#Letter"/>
  124. </owl:Class>
  125.  
  126.  
  127.  
  128. <!-- http://www.semanticweb.com/tester#X_LetterThing -->
  129.  
  130. <owl:Class rdf:about="http://www.semanticweb.com/tester#X_LetterThing">
  131. <owl:equivalentClass>
  132. <owl:Class>
  133. <owl:intersectionOf rdf:parseType="Collection">
  134. <rdf:Description rdf:about="http://www.semanticweb.com/tester#LetterThing"/>
  135. <owl:Restriction>
  136. <owl:onProperty rdf:resource="http://www.semanticweb.com/tester#hasLetter"/>
  137. <owl:someValuesFrom rdf:resource="http://www.semanticweb.com/tester#X"/>
  138. </owl:Restriction>
  139. <owl:Restriction>
  140. <owl:onProperty rdf:resource="http://www.semanticweb.com/tester#hasLetter"/>
  141. <owl:allValuesFrom rdf:resource="http://www.semanticweb.com/tester#X"/>
  142. </owl:Restriction>
  143. </owl:intersectionOf>
  144. </owl:Class>
  145. </owl:equivalentClass>
  146. <rdfs:subClassOf>
  147. <owl:Class>
  148. <owl:intersectionOf rdf:parseType="Collection">
  149. <rdf:Description rdf:about="http://www.semanticweb.com/tester#LetterThing"/>
  150. <owl:Restriction>
  151. <owl:onProperty rdf:resource="http://www.semanticweb.com/tester#hasLetter"/>
  152. <owl:someValuesFrom rdf:resource="http://www.semanticweb.com/tester#X"/>
  153. </owl:Restriction>
  154. <owl:Restriction>
  155. <owl:onProperty rdf:resource="http://www.semanticweb.com/tester#hasLetter"/>
  156. <owl:allValuesFrom rdf:resource="http://www.semanticweb.com/tester#X"/>
  157. </owl:Restriction>
  158. </owl:intersectionOf>
  159. </owl:Class>
  160. </rdfs:subClassOf>
  161. <owl:disjointWith rdf:resource="http://www.semanticweb.com/tester#Y_LetterThing"/>
  162. </owl:Class>
  163.  
  164.  
  165.  
  166. <!-- http://www.semanticweb.com/tester#Y -->
  167.  
  168. <owl:Class rdf:about="http://www.semanticweb.com/tester#Y">
  169. <rdfs:subClassOf rdf:resource="http://www.semanticweb.com/tester#Letter"/>
  170. </owl:Class>
  171.  
  172.  
  173.  
  174. <!-- http://www.semanticweb.com/tester#Y_LetterThing -->
  175.  
  176. <owl:Class rdf:about="http://www.semanticweb.com/tester#Y_LetterThing">
  177. <owl:equivalentClass>
  178. <owl:Class>
  179. <owl:intersectionOf rdf:parseType="Collection">
  180. <rdf:Description rdf:about="http://www.semanticweb.com/tester#LetterThing"/>
  181. <owl:Restriction>
  182. <owl:onProperty rdf:resource="http://www.semanticweb.com/tester#hasLetter"/>
  183. <owl:someValuesFrom rdf:resource="http://www.semanticweb.com/tester#Y"/>
  184. </owl:Restriction>
  185. <owl:Restriction>
  186. <owl:onProperty rdf:resource="http://www.semanticweb.com/tester#hasLetter"/>
  187. <owl:allValuesFrom rdf:resource="http://www.semanticweb.com/tester#Y"/>
  188. </owl:Restriction>
  189. </owl:intersectionOf>
  190. </owl:Class>
  191. </owl:equivalentClass>
  192. <rdfs:subClassOf>
  193. <owl:Class>
  194. <owl:intersectionOf rdf:parseType="Collection">
  195. <rdf:Description rdf:about="http://www.semanticweb.com/tester#LetterThing"/>
  196. <owl:Restriction>
  197. <owl:onProperty rdf:resource="http://www.semanticweb.com/tester#hasLetter"/>
  198. <owl:someValuesFrom rdf:resource="http://www.semanticweb.com/tester#Y"/>
  199. </owl:Restriction>
  200. <owl:Restriction>
  201. <owl:onProperty rdf:resource="http://www.semanticweb.com/tester#hasLetter"/>
  202. <owl:allValuesFrom rdf:resource="http://www.semanticweb.com/tester#Y"/>
  203. </owl:Restriction>
  204. </owl:intersectionOf>
  205. </owl:Class>
  206. </rdfs:subClassOf>
  207. </owl:Class>
  208.  
  209.  
  210.  
  211. <!--
  212. ///////////////////////////////////////////////////////////////////////////////////////
  213. //
  214. // Individuals
  215. //
  216. ///////////////////////////////////////////////////////////////////////////////////////
  217. -->
  218.  
  219.  
  220.  
  221.  
  222. <!-- http://www.semanticweb.com/tester#a -->
  223.  
  224. <owl:NamedIndividual rdf:about="http://www.semanticweb.com/tester#a">
  225. <rdf:type rdf:resource="http://www.semanticweb.com/tester#A"/>
  226. </owl:NamedIndividual>
  227.  
  228.  
  229.  
  230. <!-- http://www.semanticweb.com/tester#compound_letter_thing_test -->
  231.  
  232. <owl:NamedIndividual rdf:about="http://www.semanticweb.com/tester#compound_letter_thing_test">
  233. <rdf:type rdf:resource="http://www.semanticweb.com/tester#LetterThing"/>
  234. <hasLetter rdf:resource="http://www.semanticweb.com/tester#x1"/>
  235. <hasLetter rdf:resource="http://www.semanticweb.com/tester#y"/>
  236. </owl:NamedIndividual>
  237.  
  238.  
  239.  
  240. <!-- http://www.semanticweb.com/tester#x1 -->
  241.  
  242. <owl:NamedIndividual rdf:about="http://www.semanticweb.com/tester#x1">
  243. <rdf:type rdf:resource="http://www.semanticweb.com/tester#X"/>
  244. </owl:NamedIndividual>
  245.  
  246.  
  247.  
  248. <!-- http://www.semanticweb.com/tester#x2 -->
  249.  
  250. <owl:NamedIndividual rdf:about="http://www.semanticweb.com/tester#x2">
  251. <rdf:type rdf:resource="http://www.semanticweb.com/tester#X"/>
  252. </owl:NamedIndividual>
  253.  
  254.  
  255.  
  256. <!-- http://www.semanticweb.com/tester#x_letter_thing_test -->
  257.  
  258. <owl:NamedIndividual rdf:about="http://www.semanticweb.com/tester#x_letter_thing_test">
  259. <rdf:type rdf:resource="http://www.semanticweb.com/tester#LetterThing"/>
  260. <hasLetter rdf:resource="http://www.semanticweb.com/tester#x1"/>
  261. </owl:NamedIndividual>
  262.  
  263.  
  264.  
  265. <!-- http://www.semanticweb.com/tester#x_letter_thing_test_2 -->
  266.  
  267. <owl:NamedIndividual rdf:about="http://www.semanticweb.com/tester#x_letter_thing_test_2">
  268. <rdf:type rdf:resource="http://www.semanticweb.com/tester#LetterThing"/>
  269. <hasLetter rdf:resource="http://www.semanticweb.com/tester#x1"/>
  270. <hasLetter rdf:resource="http://www.semanticweb.com/tester#x2"/>
  271. </owl:NamedIndividual>
  272.  
  273.  
  274.  
  275. <!-- http://www.semanticweb.com/tester#y -->
  276.  
  277. <owl:NamedIndividual rdf:about="http://www.semanticweb.com/tester#y">
  278. <rdf:type rdf:resource="http://www.semanticweb.com/tester#Y"/>
  279. </owl:NamedIndividual>
  280.  
  281.  
  282.  
  283. <!--
  284. ///////////////////////////////////////////////////////////////////////////////////////
  285. //
  286. // General axioms
  287. //
  288. ///////////////////////////////////////////////////////////////////////////////////////
  289. -->
  290.  
  291. <rdf:Description>
  292. <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AllDisjointClasses"/>
  293. <owl:members rdf:parseType="Collection">
  294. <rdf:Description rdf:about="http://www.semanticweb.com/tester#A"/>
  295. <rdf:Description rdf:about="http://www.semanticweb.com/tester#X"/>
  296. <rdf:Description rdf:about="http://www.semanticweb.com/tester#Y"/>
  297. </owl:members>
  298. </rdf:Description>
  299. <rdf:Description>
  300. <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#AllDifferent"/>
  301. <owl:distinctMembers rdf:parseType="Collection">
  302. <rdf:Description rdf:about="http://www.semanticweb.com/tester#x1"/>
  303. <rdf:Description rdf:about="http://www.semanticweb.com/tester#x2"/>
  304. </owl:distinctMembers>
  305. </rdf:Description>
  306. </rdf:RDF>
  307.  
  308.  
  309.  
  310. <!-- Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi -->
  311.  
  312.  
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!