kibi-swipl-linux-x64-gnu 1.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (550) hide show
  1. package/README.md +29 -0
  2. package/bin/swipl +0 -0
  3. package/bin/swipl-win +0 -0
  4. package/build-manifest.json +70 -0
  5. package/lib/cmake/swipl/SWIPLConfig.cmake +21 -0
  6. package/lib/cmake/swipl/SWIPLConfigVersion.cmake +65 -0
  7. package/lib/cmake/swipl/SWIPLTargets-release.cmake +28 -0
  8. package/lib/cmake/swipl/SWIPLTargets.cmake +109 -0
  9. package/lib/swipl/ABI +1 -0
  10. package/lib/swipl/LICENSE +41 -0
  11. package/lib/swipl/README.md +116 -0
  12. package/lib/swipl/app/README.md +25 -0
  13. package/lib/swipl/app/app.pl +87 -0
  14. package/lib/swipl/app/pack.pl +350 -0
  15. package/lib/swipl/app/qlf.pl +521 -0
  16. package/lib/swipl/app/splfr.pl +177 -0
  17. package/lib/swipl/app/sys.pl +310 -0
  18. package/lib/swipl/bin/swipl.home +1 -0
  19. package/lib/swipl/boot/apply.pl +73 -0
  20. package/lib/swipl/boot/attvar.pl +344 -0
  21. package/lib/swipl/boot/autoload.pl +1226 -0
  22. package/lib/swipl/boot/bags.pl +283 -0
  23. package/lib/swipl/boot/dcg.pl +388 -0
  24. package/lib/swipl/boot/dicts.pl +193 -0
  25. package/lib/swipl/boot/dwim.pl +485 -0
  26. package/lib/swipl/boot/engines.pl +152 -0
  27. package/lib/swipl/boot/expand.pl +1628 -0
  28. package/lib/swipl/boot/gc.pl +65 -0
  29. package/lib/swipl/boot/history.pl +304 -0
  30. package/lib/swipl/boot/init.pl +4682 -0
  31. package/lib/swipl/boot/iri.pl +64 -0
  32. package/lib/swipl/boot/license.pl +390 -0
  33. package/lib/swipl/boot/load.pl +81 -0
  34. package/lib/swipl/boot/messages.pl +2521 -0
  35. package/lib/swipl/boot/packs.pl +306 -0
  36. package/lib/swipl/boot/predopts.pl +154 -0
  37. package/lib/swipl/boot/qlf.pl +141 -0
  38. package/lib/swipl/boot/rc.pl +263 -0
  39. package/lib/swipl/boot/syspred.pl +1634 -0
  40. package/lib/swipl/boot/tabling.pl +2321 -0
  41. package/lib/swipl/boot/threads.pl +42 -0
  42. package/lib/swipl/boot/toplevel.pl +2248 -0
  43. package/lib/swipl/boot/topvars.pl +261 -0
  44. package/lib/swipl/boot.prc +0 -0
  45. package/lib/swipl/cmake/swipl.cmake +131 -0
  46. package/lib/swipl/customize/README.md +23 -0
  47. package/lib/swipl/customize/edit +101 -0
  48. package/lib/swipl/customize/init.pl +164 -0
  49. package/lib/swipl/demo/README.md +33 -0
  50. package/lib/swipl/demo/likes.pl +44 -0
  51. package/lib/swipl/doc/packages/examples/chr/bool.chr +281 -0
  52. package/lib/swipl/doc/packages/examples/chr/chrdif.chr +87 -0
  53. package/lib/swipl/doc/packages/examples/chr/chrfreeze.chr +6 -0
  54. package/lib/swipl/doc/packages/examples/chr/family.chr +116 -0
  55. package/lib/swipl/doc/packages/examples/chr/fib.chr +24 -0
  56. package/lib/swipl/doc/packages/examples/chr/fibonacci.chr +31 -0
  57. package/lib/swipl/doc/packages/examples/chr/gcd.chr +28 -0
  58. package/lib/swipl/doc/packages/examples/chr/leq.chr +34 -0
  59. package/lib/swipl/doc/packages/examples/chr/listdom.chr +138 -0
  60. package/lib/swipl/doc/packages/examples/chr/primes.chr +29 -0
  61. package/lib/swipl/doc/packages/examples/http/README.md +98 -0
  62. package/lib/swipl/doc/packages/examples/http/calc.pl +92 -0
  63. package/lib/swipl/doc/packages/examples/http/demo_body.pl +232 -0
  64. package/lib/swipl/doc/packages/examples/http/demo_client.pl +165 -0
  65. package/lib/swipl/doc/packages/examples/http/demo_daemon.pl +38 -0
  66. package/lib/swipl/doc/packages/examples/http/demo_files.pl +50 -0
  67. package/lib/swipl/doc/packages/examples/http/demo_hello.pl +15 -0
  68. package/lib/swipl/doc/packages/examples/http/demo_login.pl +280 -0
  69. package/lib/swipl/doc/packages/examples/http/demo_openid.pl +177 -0
  70. package/lib/swipl/doc/packages/examples/http/demo_pwp.pl +20 -0
  71. package/lib/swipl/doc/packages/examples/http/demo_rest.pl +56 -0
  72. package/lib/swipl/doc/packages/examples/http/demo_threads.pl +52 -0
  73. package/lib/swipl/doc/packages/examples/http/linux-init-script +126 -0
  74. package/lib/swipl/doc/packages/examples/http/pwp/context.pwp +23 -0
  75. package/lib/swipl/doc/packages/examples/http/pwp/index.pwp +25 -0
  76. package/lib/swipl/doc/packages/examples/http/pwp/pwp1.pwp +12 -0
  77. package/lib/swipl/doc/packages/examples/http/pwp/pwp2.pwp +10 -0
  78. package/lib/swipl/doc/packages/examples/http/pwp/pwp3.pwp +25 -0
  79. package/lib/swipl/doc/packages/examples/http/pwp/pwp4.pwp +23 -0
  80. package/lib/swipl/doc/packages/examples/http/pwp/pwp5.pwp +11 -0
  81. package/lib/swipl/doc/packages/examples/http/pwp/pwp6.pwp +3 -0
  82. package/lib/swipl/doc/packages/examples/http/pwp/pwp7.pwp +3 -0
  83. package/lib/swipl/doc/packages/examples/http/pwp/pwp8.pwp +3 -0
  84. package/lib/swipl/doc/packages/examples/http/pwp/pwpdb.pl +12 -0
  85. package/lib/swipl/doc/packages/examples/http/systemd-script.service +18 -0
  86. package/lib/swipl/doc/packages/examples/http/upstart-script.conf +20 -0
  87. package/lib/swipl/doc/packages/examples/plunit/read.pl +17 -0
  88. package/lib/swipl/doc/packages/examples/plunit/simple.pl +33 -0
  89. package/lib/swipl/doc/packages/examples/ssl/client.pl +83 -0
  90. package/lib/swipl/doc/packages/examples/ssl/etc/README +52 -0
  91. package/lib/swipl/doc/packages/examples/ssl/etc/client/client-cert.p12 +0 -0
  92. package/lib/swipl/doc/packages/examples/ssl/etc/client/client-cert.pem +85 -0
  93. package/lib/swipl/doc/packages/examples/ssl/etc/client/client-key.pem +30 -0
  94. package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/cacert.pem +82 -0
  95. package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/careq.pem +18 -0
  96. package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/crlnumber +1 -0
  97. package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/index.txt +3 -0
  98. package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/index.txt.attr +1 -0
  99. package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/newcerts/9DC08797A0F63F7C.pem +85 -0
  100. package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/newcerts/9DC08797A0F63F7D.pem +85 -0
  101. package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/private/cakey.pem +30 -0
  102. package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/serial +1 -0
  103. package/lib/swipl/doc/packages/examples/ssl/etc/server/server-cert.pem +85 -0
  104. package/lib/swipl/doc/packages/examples/ssl/etc/server/server-key.pem +30 -0
  105. package/lib/swipl/doc/packages/examples/ssl/https.pl +267 -0
  106. package/lib/swipl/doc/packages/examples/ssl/server.pl +106 -0
  107. package/lib/swipl/include/SWI-Prolog.h +1544 -0
  108. package/lib/swipl/include/SWI-Stream.h +537 -0
  109. package/lib/swipl/include/Yap/YapInterface.h +283 -0
  110. package/lib/swipl/include/sicstus/sicstus.h +452 -0
  111. package/lib/swipl/lib/x86_64-linux/cgi.so +0 -0
  112. package/lib/swipl/lib/x86_64-linux/crypt.so +0 -0
  113. package/lib/swipl/lib/x86_64-linux/crypto4pl.so +0 -0
  114. package/lib/swipl/lib/x86_64-linux/double_metaphone.so +0 -0
  115. package/lib/swipl/lib/x86_64-linux/files.so +0 -0
  116. package/lib/swipl/lib/x86_64-linux/hashstream.so +0 -0
  117. package/lib/swipl/lib/x86_64-linux/http_stream.so +0 -0
  118. package/lib/swipl/lib/x86_64-linux/isub.so +0 -0
  119. package/lib/swipl/lib/x86_64-linux/json.so +0 -0
  120. package/lib/swipl/lib/x86_64-linux/libswipl.so.10 +0 -0
  121. package/lib/swipl/lib/x86_64-linux/mallocinfo.so +0 -0
  122. package/lib/swipl/lib/x86_64-linux/md54pl.so +0 -0
  123. package/lib/swipl/lib/x86_64-linux/memfile.so +0 -0
  124. package/lib/swipl/lib/x86_64-linux/ntriples.so +0 -0
  125. package/lib/swipl/lib/x86_64-linux/pcre4pl.so +0 -0
  126. package/lib/swipl/lib/x86_64-linux/porter_stem.so +0 -0
  127. package/lib/swipl/lib/x86_64-linux/process.so +0 -0
  128. package/lib/swipl/lib/x86_64-linux/prolog_stream.so +0 -0
  129. package/lib/swipl/lib/x86_64-linux/rdf_db.so +0 -0
  130. package/lib/swipl/lib/x86_64-linux/readutil.so +0 -0
  131. package/lib/swipl/lib/x86_64-linux/rlimit.so +0 -0
  132. package/lib/swipl/lib/x86_64-linux/sched.so +0 -0
  133. package/lib/swipl/lib/x86_64-linux/sgml2pl.so +0 -0
  134. package/lib/swipl/lib/x86_64-linux/sha4pl.so +0 -0
  135. package/lib/swipl/lib/x86_64-linux/snowball.so +0 -0
  136. package/lib/swipl/lib/x86_64-linux/socket.so +0 -0
  137. package/lib/swipl/lib/x86_64-linux/ssl4pl.so +0 -0
  138. package/lib/swipl/lib/x86_64-linux/streaminfo.so +0 -0
  139. package/lib/swipl/lib/x86_64-linux/syslog.so +0 -0
  140. package/lib/swipl/lib/x86_64-linux/time.so +0 -0
  141. package/lib/swipl/lib/x86_64-linux/turtle.so +0 -0
  142. package/lib/swipl/lib/x86_64-linux/uid.so +0 -0
  143. package/lib/swipl/lib/x86_64-linux/unix.so +0 -0
  144. package/lib/swipl/lib/x86_64-linux/uri.so +0 -0
  145. package/lib/swipl/lib/x86_64-linux/websocket.so +0 -0
  146. package/lib/swipl/lib/x86_64-linux/zlib4pl.so +0 -0
  147. package/lib/swipl/library/INDEX.pl +1020 -0
  148. package/lib/swipl/library/aggregate.pl +755 -0
  149. package/lib/swipl/library/ansi_term.pl +653 -0
  150. package/lib/swipl/library/apply.pl +426 -0
  151. package/lib/swipl/library/apply_macros.pl +497 -0
  152. package/lib/swipl/library/arithmetic.pl +320 -0
  153. package/lib/swipl/library/assoc.pl +522 -0
  154. package/lib/swipl/library/atom.pl +169 -0
  155. package/lib/swipl/library/backcomp.pl +688 -0
  156. package/lib/swipl/library/base32.pl +291 -0
  157. package/lib/swipl/library/base64.pl +441 -0
  158. package/lib/swipl/library/broadcast.pl +161 -0
  159. package/lib/swipl/library/build/cmake.pl +137 -0
  160. package/lib/swipl/library/build/conan.pl +232 -0
  161. package/lib/swipl/library/build/make.pl +168 -0
  162. package/lib/swipl/library/build/tools.pl +825 -0
  163. package/lib/swipl/library/charsio.pl +195 -0
  164. package/lib/swipl/library/check.pl +1097 -0
  165. package/lib/swipl/library/check_installation.pl +912 -0
  166. package/lib/swipl/library/clp/INDEX.pl +157 -0
  167. package/lib/swipl/library/clp/bounds.pl +2036 -0
  168. package/lib/swipl/library/clp/clp_distinct.pl +263 -0
  169. package/lib/swipl/library/clp/clp_events.pl +92 -0
  170. package/lib/swipl/library/clp/clpb.pl +1896 -0
  171. package/lib/swipl/library/clp/clpfd.pl +7906 -0
  172. package/lib/swipl/library/clp/simplex.pl +1580 -0
  173. package/lib/swipl/library/codesio.pl +182 -0
  174. package/lib/swipl/library/coinduction.pl +183 -0
  175. package/lib/swipl/library/console_input.pl +289 -0
  176. package/lib/swipl/library/csv.pl +611 -0
  177. package/lib/swipl/library/ctypes.pl +161 -0
  178. package/lib/swipl/library/date.pl +370 -0
  179. package/lib/swipl/library/dcg/INDEX.pl +35 -0
  180. package/lib/swipl/library/dcg/basics.pl +514 -0
  181. package/lib/swipl/library/dcg/high_order.pl +227 -0
  182. package/lib/swipl/library/debug.pl +499 -0
  183. package/lib/swipl/library/dialect/bim.pl +186 -0
  184. package/lib/swipl/library/dialect/commons.pl +77 -0
  185. package/lib/swipl/library/dialect/eclipse/test_util_iso.pl +355 -0
  186. package/lib/swipl/library/dialect/hprolog/format.pl +44 -0
  187. package/lib/swipl/library/dialect/hprolog.pl +314 -0
  188. package/lib/swipl/library/dialect/ifprolog.pl +1317 -0
  189. package/lib/swipl/library/dialect/iso/iso_predicates.pl +277 -0
  190. package/lib/swipl/library/dialect/sicstus/README.TXT +1 -0
  191. package/lib/swipl/library/dialect/sicstus/arrays.pl +121 -0
  192. package/lib/swipl/library/dialect/sicstus/block.pl +278 -0
  193. package/lib/swipl/library/dialect/sicstus/lists.pl +167 -0
  194. package/lib/swipl/library/dialect/sicstus/ordsets.pl +52 -0
  195. package/lib/swipl/library/dialect/sicstus/sockets.pl +174 -0
  196. package/lib/swipl/library/dialect/sicstus/system.pl +262 -0
  197. package/lib/swipl/library/dialect/sicstus/terms.pl +57 -0
  198. package/lib/swipl/library/dialect/sicstus/timeout.pl +92 -0
  199. package/lib/swipl/library/dialect/sicstus.pl +582 -0
  200. package/lib/swipl/library/dialect/sicstus4/aggregate.pl +60 -0
  201. package/lib/swipl/library/dialect/sicstus4/between.pl +62 -0
  202. package/lib/swipl/library/dialect/sicstus4/clpfd.pl +75 -0
  203. package/lib/swipl/library/dialect/sicstus4/file_systems.pl +413 -0
  204. package/lib/swipl/library/dialect/sicstus4/lists.pl +274 -0
  205. package/lib/swipl/library/dialect/sicstus4/ordsets.pl +54 -0
  206. package/lib/swipl/library/dialect/sicstus4/samsort.pl +86 -0
  207. package/lib/swipl/library/dialect/sicstus4/sets.pl +124 -0
  208. package/lib/swipl/library/dialect/sicstus4/sockets.pl +164 -0
  209. package/lib/swipl/library/dialect/sicstus4/system.pl +80 -0
  210. package/lib/swipl/library/dialect/sicstus4/terms.pl +89 -0
  211. package/lib/swipl/library/dialect/sicstus4/timeout.pl +43 -0
  212. package/lib/swipl/library/dialect/sicstus4/types.pl +103 -0
  213. package/lib/swipl/library/dialect/sicstus4.pl +200 -0
  214. package/lib/swipl/library/dialect/swi/syspred_options.pl +250 -0
  215. package/lib/swipl/library/dialect/xsb/README.md +20 -0
  216. package/lib/swipl/library/dialect/xsb/basics.pl +318 -0
  217. package/lib/swipl/library/dialect/xsb/consult.pl +87 -0
  218. package/lib/swipl/library/dialect/xsb/curr_sym.pl +57 -0
  219. package/lib/swipl/library/dialect/xsb/error_handler.pl +111 -0
  220. package/lib/swipl/library/dialect/xsb/gensym.pl +53 -0
  221. package/lib/swipl/library/dialect/xsb/gpp.pl +138 -0
  222. package/lib/swipl/library/dialect/xsb/intern.pl +48 -0
  223. package/lib/swipl/library/dialect/xsb/lists.pl +47 -0
  224. package/lib/swipl/library/dialect/xsb/machine.pl +295 -0
  225. package/lib/swipl/library/dialect/xsb/ordsets.pl +53 -0
  226. package/lib/swipl/library/dialect/xsb/setof.pl +54 -0
  227. package/lib/swipl/library/dialect/xsb/source.pl +308 -0
  228. package/lib/swipl/library/dialect/xsb/standard.pl +169 -0
  229. package/lib/swipl/library/dialect/xsb/storage.pl +70 -0
  230. package/lib/swipl/library/dialect/xsb/string.pl +76 -0
  231. package/lib/swipl/library/dialect/xsb/thread.pl +62 -0
  232. package/lib/swipl/library/dialect/xsb/timed_call.pl +158 -0
  233. package/lib/swipl/library/dialect/xsb.pl +688 -0
  234. package/lib/swipl/library/dialect/yap/README.TXT +8 -0
  235. package/lib/swipl/library/dialect/yap.pl +283 -0
  236. package/lib/swipl/library/dialect.pl +123 -0
  237. package/lib/swipl/library/dicts.pl +399 -0
  238. package/lib/swipl/library/dif.pl +426 -0
  239. package/lib/swipl/library/edinburgh.pl +138 -0
  240. package/lib/swipl/library/edit.pl +783 -0
  241. package/lib/swipl/library/error.pl +495 -0
  242. package/lib/swipl/library/exceptions.pl +231 -0
  243. package/lib/swipl/library/explain.pl +543 -0
  244. package/lib/swipl/library/ext/RDF/INDEX.pl +25 -0
  245. package/lib/swipl/library/ext/RDF/rdf.pl +450 -0
  246. package/lib/swipl/library/ext/RDF/rdf_parser.pl +649 -0
  247. package/lib/swipl/library/ext/RDF/rdf_triple.pl +448 -0
  248. package/lib/swipl/library/ext/RDF/rdf_write.pl +701 -0
  249. package/lib/swipl/library/ext/RDF/rewrite_term.pl +177 -0
  250. package/lib/swipl/library/ext/chr/chr/a_star.pl +80 -0
  251. package/lib/swipl/library/ext/chr/chr/binomialheap.pl +142 -0
  252. package/lib/swipl/library/ext/chr/chr/builtins.pl +629 -0
  253. package/lib/swipl/library/ext/chr/chr/chr_compiler_errors.pl +179 -0
  254. package/lib/swipl/library/ext/chr/chr/chr_compiler_options.pl +382 -0
  255. package/lib/swipl/library/ext/chr/chr/chr_compiler_utility.pl +338 -0
  256. package/lib/swipl/library/ext/chr/chr/chr_debug.pl +59 -0
  257. package/lib/swipl/library/ext/chr/chr/chr_hashtable_store.pl +425 -0
  258. package/lib/swipl/library/ext/chr/chr/chr_integertable_store.pl +139 -0
  259. package/lib/swipl/library/ext/chr/chr/chr_messages.pl +176 -0
  260. package/lib/swipl/library/ext/chr/chr/chr_op.pl +53 -0
  261. package/lib/swipl/library/ext/chr/chr/chr_runtime.pl +1016 -0
  262. package/lib/swipl/library/ext/chr/chr/chr_translate.pl +25424 -0
  263. package/lib/swipl/library/ext/chr/chr/clean_code.pl +252 -0
  264. package/lib/swipl/library/ext/chr/chr/find.pl +78 -0
  265. package/lib/swipl/library/ext/chr/chr/guard_entailment.pl +19432 -0
  266. package/lib/swipl/library/ext/chr/chr/listmap.pl +108 -0
  267. package/lib/swipl/library/ext/chr/chr/pairlist.pl +78 -0
  268. package/lib/swipl/library/ext/chr/chr.pl +686 -0
  269. package/lib/swipl/library/ext/clib/INDEX.pl +158 -0
  270. package/lib/swipl/library/ext/clib/cgi.pl +86 -0
  271. package/lib/swipl/library/ext/clib/crypt.pl +44 -0
  272. package/lib/swipl/library/ext/clib/filesex.pl +644 -0
  273. package/lib/swipl/library/ext/clib/hash_stream.pl +119 -0
  274. package/lib/swipl/library/ext/clib/mallocinfo.pl +138 -0
  275. package/lib/swipl/library/ext/clib/md5.pl +68 -0
  276. package/lib/swipl/library/ext/clib/memfile.pl +61 -0
  277. package/lib/swipl/library/ext/clib/process.pl +573 -0
  278. package/lib/swipl/library/ext/clib/prolog_server.pl +157 -0
  279. package/lib/swipl/library/ext/clib/prolog_stream.pl +80 -0
  280. package/lib/swipl/library/ext/clib/rlimit.pl +54 -0
  281. package/lib/swipl/library/ext/clib/sched.pl +85 -0
  282. package/lib/swipl/library/ext/clib/sha.pl +162 -0
  283. package/lib/swipl/library/ext/clib/socket.pl +1102 -0
  284. package/lib/swipl/library/ext/clib/streaminfo.pl +103 -0
  285. package/lib/swipl/library/ext/clib/streampool.pl +136 -0
  286. package/lib/swipl/library/ext/clib/syslog.pl +180 -0
  287. package/lib/swipl/library/ext/clib/time.pl +194 -0
  288. package/lib/swipl/library/ext/clib/udp_broadcast.pl +975 -0
  289. package/lib/swipl/library/ext/clib/uid.pl +220 -0
  290. package/lib/swipl/library/ext/clib/unix.pl +317 -0
  291. package/lib/swipl/library/ext/clib/uri.pl +530 -0
  292. package/lib/swipl/library/ext/clib/uuid.pl +207 -0
  293. package/lib/swipl/library/ext/http/http/INDEX.pl +266 -0
  294. package/lib/swipl/library/ext/http/http/README.md +34 -0
  295. package/lib/swipl/library/ext/http/http/ax.pl +189 -0
  296. package/lib/swipl/library/ext/http/http/dcg_basics.pl +49 -0
  297. package/lib/swipl/library/ext/http/http/graphql.pl +1367 -0
  298. package/lib/swipl/library/ext/http/http/html_decl.pl +416 -0
  299. package/lib/swipl/library/ext/http/http/html_head.pl +654 -0
  300. package/lib/swipl/library/ext/http/http/html_quasiquotations.pl +120 -0
  301. package/lib/swipl/library/ext/http/http/html_write.pl +1425 -0
  302. package/lib/swipl/library/ext/http/http/htmx.pl +139 -0
  303. package/lib/swipl/library/ext/http/http/http_authenticate.pl +364 -0
  304. package/lib/swipl/library/ext/http/http/http_client.pl +412 -0
  305. package/lib/swipl/library/ext/http/http/http_cookie.pl +245 -0
  306. package/lib/swipl/library/ext/http/http/http_cors.pl +176 -0
  307. package/lib/swipl/library/ext/http/http/http_digest.pl +820 -0
  308. package/lib/swipl/library/ext/http/http/http_dirindex.pl +296 -0
  309. package/lib/swipl/library/ext/http/http/http_dispatch.pl +1552 -0
  310. package/lib/swipl/library/ext/http/http/http_dyn_workers.pl +214 -0
  311. package/lib/swipl/library/ext/http/http/http_error.pl +126 -0
  312. package/lib/swipl/library/ext/http/http/http_exception.pl +225 -0
  313. package/lib/swipl/library/ext/http/http/http_files.pl +163 -0
  314. package/lib/swipl/library/ext/http/http/http_header.pl +2820 -0
  315. package/lib/swipl/library/ext/http/http/http_hook.pl +106 -0
  316. package/lib/swipl/library/ext/http/http/http_host.pl +204 -0
  317. package/lib/swipl/library/ext/http/http/http_load.pl +113 -0
  318. package/lib/swipl/library/ext/http/http/http_log.pl +738 -0
  319. package/lib/swipl/library/ext/http/http/http_multipart_plugin.pl +232 -0
  320. package/lib/swipl/library/ext/http/http/http_open.pl +1821 -0
  321. package/lib/swipl/library/ext/http/http/http_openid.pl +1561 -0
  322. package/lib/swipl/library/ext/http/http/http_parameters.pl +504 -0
  323. package/lib/swipl/library/ext/http/http/http_path.pl +380 -0
  324. package/lib/swipl/library/ext/http/http/http_proxy.pl +80 -0
  325. package/lib/swipl/library/ext/http/http/http_pwp.pl +351 -0
  326. package/lib/swipl/library/ext/http/http/http_redis_plugin.pl +332 -0
  327. package/lib/swipl/library/ext/http/http/http_server.pl +105 -0
  328. package/lib/swipl/library/ext/http/http/http_server_files.pl +126 -0
  329. package/lib/swipl/library/ext/http/http/http_server_health.pl +186 -0
  330. package/lib/swipl/library/ext/http/http/http_session.pl +1040 -0
  331. package/lib/swipl/library/ext/http/http/http_sgml_plugin.pl +137 -0
  332. package/lib/swipl/library/ext/http/http/http_stream.pl +376 -0
  333. package/lib/swipl/library/ext/http/http/http_unix_daemon.pl +989 -0
  334. package/lib/swipl/library/ext/http/http/http_wrapper.pl +559 -0
  335. package/lib/swipl/library/ext/http/http/hub.pl +600 -0
  336. package/lib/swipl/library/ext/http/http/js_write.pl +461 -0
  337. package/lib/swipl/library/ext/http/http/mimepack.pl +224 -0
  338. package/lib/swipl/library/ext/http/http/mimetype.pl +276 -0
  339. package/lib/swipl/library/ext/http/http/term_html.pl +797 -0
  340. package/lib/swipl/library/ext/http/http/thread_httpd.pl +1181 -0
  341. package/lib/swipl/library/ext/http/http/web/css/dirindex.css +24 -0
  342. package/lib/swipl/library/ext/http/http/web/css/openid.css +57 -0
  343. package/lib/swipl/library/ext/http/http/web/icons/back.png +0 -0
  344. package/lib/swipl/library/ext/http/http/web/icons/c.png +0 -0
  345. package/lib/swipl/library/ext/http/http/web/icons/compressed.png +0 -0
  346. package/lib/swipl/library/ext/http/http/web/icons/folder.png +0 -0
  347. package/lib/swipl/library/ext/http/http/web/icons/generic.png +0 -0
  348. package/lib/swipl/library/ext/http/http/web/icons/layout.png +0 -0
  349. package/lib/swipl/library/ext/http/http/web/icons/openid-logo-square.png +0 -0
  350. package/lib/swipl/library/ext/http/http/web/icons/openid-logo-tiny.png +0 -0
  351. package/lib/swipl/library/ext/http/http/websocket.pl +729 -0
  352. package/lib/swipl/library/ext/http/http/yadis.pl +205 -0
  353. package/lib/swipl/library/ext/json/INDEX.pl +36 -0
  354. package/lib/swipl/library/ext/json/http/INDEX.pl +16 -0
  355. package/lib/swipl/library/ext/json/http/http_json.pl +490 -0
  356. package/lib/swipl/library/ext/json/http/js_grammar.pl +53 -0
  357. package/lib/swipl/library/ext/json/http/json.pl +48 -0
  358. package/lib/swipl/library/ext/json/http/json_convert.pl +48 -0
  359. package/lib/swipl/library/ext/json/json.pl +1215 -0
  360. package/lib/swipl/library/ext/json/json_convert.pl +681 -0
  361. package/lib/swipl/library/ext/json/json_grammar.pl +349 -0
  362. package/lib/swipl/library/ext/json/json_rpc_client.pl +423 -0
  363. package/lib/swipl/library/ext/json/json_rpc_common.pl +104 -0
  364. package/lib/swipl/library/ext/json/json_rpc_server.pl +489 -0
  365. package/lib/swipl/library/ext/json/json_schema.pl +2111 -0
  366. package/lib/swipl/library/ext/nlp/INDEX.pl +15 -0
  367. package/lib/swipl/library/ext/nlp/double_metaphone.pl +86 -0
  368. package/lib/swipl/library/ext/nlp/isub.pl +162 -0
  369. package/lib/swipl/library/ext/nlp/porter_stem.pl +50 -0
  370. package/lib/swipl/library/ext/nlp/snowball.pl +97 -0
  371. package/lib/swipl/library/ext/pcre/INDEX.pl +17 -0
  372. package/lib/swipl/library/ext/pcre/pcre.pl +974 -0
  373. package/lib/swipl/library/ext/plunit/INDEX.pl +20 -0
  374. package/lib/swipl/library/ext/plunit/plunit.pl +2631 -0
  375. package/lib/swipl/library/ext/plunit/test_wizard.pl +249 -0
  376. package/lib/swipl/library/ext/semweb/semweb/INDEX.pl +288 -0
  377. package/lib/swipl/library/ext/semweb/semweb/rdf11.pl +2106 -0
  378. package/lib/swipl/library/ext/semweb/semweb/rdf11_containers.pl +299 -0
  379. package/lib/swipl/library/ext/semweb/semweb/rdf_cache.pl +278 -0
  380. package/lib/swipl/library/ext/semweb/semweb/rdf_compare.pl +132 -0
  381. package/lib/swipl/library/ext/semweb/semweb/rdf_db.pl +3468 -0
  382. package/lib/swipl/library/ext/semweb/semweb/rdf_edit.pl +1145 -0
  383. package/lib/swipl/library/ext/semweb/semweb/rdf_http_plugin.pl +274 -0
  384. package/lib/swipl/library/ext/semweb/semweb/rdf_library.pl +1021 -0
  385. package/lib/swipl/library/ext/semweb/semweb/rdf_litindex.pl +1035 -0
  386. package/lib/swipl/library/ext/semweb/semweb/rdf_ntriples.pl +422 -0
  387. package/lib/swipl/library/ext/semweb/semweb/rdf_persistency.pl +1576 -0
  388. package/lib/swipl/library/ext/semweb/semweb/rdf_portray.pl +182 -0
  389. package/lib/swipl/library/ext/semweb/semweb/rdf_prefixes.pl +681 -0
  390. package/lib/swipl/library/ext/semweb/semweb/rdf_sandbox.pl +153 -0
  391. package/lib/swipl/library/ext/semweb/semweb/rdf_turtle.pl +54 -0
  392. package/lib/swipl/library/ext/semweb/semweb/rdf_turtle_write.pl +1587 -0
  393. package/lib/swipl/library/ext/semweb/semweb/rdf_zlib_plugin.pl +52 -0
  394. package/lib/swipl/library/ext/semweb/semweb/rdfa.pl +1510 -0
  395. package/lib/swipl/library/ext/semweb/semweb/rdfs.pl +475 -0
  396. package/lib/swipl/library/ext/semweb/semweb/sparql_client.pl +643 -0
  397. package/lib/swipl/library/ext/semweb/semweb/turtle.pl +455 -0
  398. package/lib/swipl/library/ext/sgml/DTD/HTML4.dcl +88 -0
  399. package/lib/swipl/library/ext/sgml/DTD/HTML4.dtd +1092 -0
  400. package/lib/swipl/library/ext/sgml/DTD/HTML4.soc +6 -0
  401. package/lib/swipl/library/ext/sgml/DTD/HTML5.dtd +906 -0
  402. package/lib/swipl/library/ext/sgml/DTD/HTMLlat1.ent +195 -0
  403. package/lib/swipl/library/ext/sgml/DTD/HTMLspec.ent +77 -0
  404. package/lib/swipl/library/ext/sgml/DTD/HTMLsym.ent +241 -0
  405. package/lib/swipl/library/ext/sgml/INDEX.pl +64 -0
  406. package/lib/swipl/library/ext/sgml/c14n2.pl +203 -0
  407. package/lib/swipl/library/ext/sgml/iso_639.pl +631 -0
  408. package/lib/swipl/library/ext/sgml/pwp.pl +705 -0
  409. package/lib/swipl/library/ext/sgml/sgml.pl +815 -0
  410. package/lib/swipl/library/ext/sgml/sgml_write.pl +1003 -0
  411. package/lib/swipl/library/ext/sgml/xpath.pl +620 -0
  412. package/lib/swipl/library/ext/sgml/xsdp_types.pl +232 -0
  413. package/lib/swipl/library/ext/ssl/INDEX.pl +60 -0
  414. package/lib/swipl/library/ext/ssl/crypto.pl +1015 -0
  415. package/lib/swipl/library/ext/ssl/http/INDEX.pl +5 -0
  416. package/lib/swipl/library/ext/ssl/http/http_ssl_plugin.pl +296 -0
  417. package/lib/swipl/library/ext/ssl/saml.pl +609 -0
  418. package/lib/swipl/library/ext/ssl/ssl.pl +647 -0
  419. package/lib/swipl/library/ext/ssl/xmldsig.pl +391 -0
  420. package/lib/swipl/library/ext/ssl/xmlenc.pl +354 -0
  421. package/lib/swipl/library/ext/zlib/INDEX.pl +8 -0
  422. package/lib/swipl/library/ext/zlib/zlib.pl +112 -0
  423. package/lib/swipl/library/fastrw.pl +105 -0
  424. package/lib/swipl/library/files.pl +80 -0
  425. package/lib/swipl/library/gensym.pl +111 -0
  426. package/lib/swipl/library/git.pl +1027 -0
  427. package/lib/swipl/library/hashtable.pl +365 -0
  428. package/lib/swipl/library/heaps.pl +252 -0
  429. package/lib/swipl/library/hotfix.pl +239 -0
  430. package/lib/swipl/library/http/jquery.pl +103 -0
  431. package/lib/swipl/library/http/web/js/jquery-3.6.0.min.js +2 -0
  432. package/lib/swipl/library/increval.pl +217 -0
  433. package/lib/swipl/library/intercept.pl +263 -0
  434. package/lib/swipl/library/iostream.pl +237 -0
  435. package/lib/swipl/library/iri_scheme/file.pl +70 -0
  436. package/lib/swipl/library/lazy_lists.pl +481 -0
  437. package/lib/swipl/library/listing.pl +1362 -0
  438. package/lib/swipl/library/lists.pl +860 -0
  439. package/lib/swipl/library/lynx/INDEX.pl +14 -0
  440. package/lib/swipl/library/lynx/format.pl +380 -0
  441. package/lib/swipl/library/lynx/html_style.pl +129 -0
  442. package/lib/swipl/library/lynx/html_text.pl +865 -0
  443. package/lib/swipl/library/lynx/pldoc_style.pl +87 -0
  444. package/lib/swipl/library/macros.pl +451 -0
  445. package/lib/swipl/library/main.pl +1200 -0
  446. package/lib/swipl/library/make.pl +197 -0
  447. package/lib/swipl/library/modules.pl +129 -0
  448. package/lib/swipl/library/nb_rbtrees.pl +267 -0
  449. package/lib/swipl/library/nb_set.pl +203 -0
  450. package/lib/swipl/library/obfuscate.pl +115 -0
  451. package/lib/swipl/library/occurs.pl +241 -0
  452. package/lib/swipl/library/operators.pl +182 -0
  453. package/lib/swipl/library/option.pl +388 -0
  454. package/lib/swipl/library/optparse.pl +966 -0
  455. package/lib/swipl/library/ordsets.pl +518 -0
  456. package/lib/swipl/library/oset.pl +160 -0
  457. package/lib/swipl/library/pairs.pl +187 -0
  458. package/lib/swipl/library/persistency.pl +713 -0
  459. package/lib/swipl/library/pio.pl +47 -0
  460. package/lib/swipl/library/portray_text.pl +277 -0
  461. package/lib/swipl/library/pprint.pl +940 -0
  462. package/lib/swipl/library/predicate_options.pl +975 -0
  463. package/lib/swipl/library/prolog_autoload.pl +233 -0
  464. package/lib/swipl/library/prolog_breakpoints.pl +396 -0
  465. package/lib/swipl/library/prolog_clause.pl +1104 -0
  466. package/lib/swipl/library/prolog_code.pl +416 -0
  467. package/lib/swipl/library/prolog_codewalk.pl +1248 -0
  468. package/lib/swipl/library/prolog_colour.pl +3301 -0
  469. package/lib/swipl/library/prolog_colour.qlf +0 -0
  470. package/lib/swipl/library/prolog_config.pl +154 -0
  471. package/lib/swipl/library/prolog_coverage.pl +1333 -0
  472. package/lib/swipl/library/prolog_debug.pl +404 -0
  473. package/lib/swipl/library/prolog_deps.pl +675 -0
  474. package/lib/swipl/library/prolog_evaluable.pl +234 -0
  475. package/lib/swipl/library/prolog_format.pl +219 -0
  476. package/lib/swipl/library/prolog_history.pl +161 -0
  477. package/lib/swipl/library/prolog_jiti.pl +333 -0
  478. package/lib/swipl/library/prolog_locale.pl +61 -0
  479. package/lib/swipl/library/prolog_metainference.pl +307 -0
  480. package/lib/swipl/library/prolog_pack.pl +3906 -0
  481. package/lib/swipl/library/prolog_profile.pl +346 -0
  482. package/lib/swipl/library/prolog_qlfmake.pl +533 -0
  483. package/lib/swipl/library/prolog_source.pl +1188 -0
  484. package/lib/swipl/library/prolog_stack.pl +794 -0
  485. package/lib/swipl/library/prolog_trace.pl +365 -0
  486. package/lib/swipl/library/prolog_versions.pl +347 -0
  487. package/lib/swipl/library/prolog_wrap.pl +164 -0
  488. package/lib/swipl/library/prolog_xref.pl +3090 -0
  489. package/lib/swipl/library/prolog_xref.qlf +0 -0
  490. package/lib/swipl/library/pure_input.pl +266 -0
  491. package/lib/swipl/library/qpforeign.pl +695 -0
  492. package/lib/swipl/library/qsave.pl +1516 -0
  493. package/lib/swipl/library/quasi_quotations.pl +300 -0
  494. package/lib/swipl/library/quintus.pl +437 -0
  495. package/lib/swipl/library/random.pl +459 -0
  496. package/lib/swipl/library/rbtrees.pl +1153 -0
  497. package/lib/swipl/library/readln.pl +256 -0
  498. package/lib/swipl/library/readutil.pl +304 -0
  499. package/lib/swipl/library/record.pl +544 -0
  500. package/lib/swipl/library/rwlocks.pl +172 -0
  501. package/lib/swipl/library/sandbox.pl +1384 -0
  502. package/lib/swipl/library/semweb/dc.rdfs +198 -0
  503. package/lib/swipl/library/semweb/eor.rdfs +95 -0
  504. package/lib/swipl/library/semweb/owl.owl +287 -0
  505. package/lib/swipl/library/semweb/rdf_library.ttl +90 -0
  506. package/lib/swipl/library/semweb/rdfs.rdfs +251 -0
  507. package/lib/swipl/library/settings.pl +755 -0
  508. package/lib/swipl/library/shell.pl +462 -0
  509. package/lib/swipl/library/shlib.pl +670 -0
  510. package/lib/swipl/library/solution_sequences.pl +439 -0
  511. package/lib/swipl/library/sort.pl +119 -0
  512. package/lib/swipl/library/statistics.pl +541 -0
  513. package/lib/swipl/library/streams.pl +118 -0
  514. package/lib/swipl/library/strings.pl +469 -0
  515. package/lib/swipl/library/system.pl +95 -0
  516. package/lib/swipl/library/tables.pl +381 -0
  517. package/lib/swipl/library/tableutil.pl +771 -0
  518. package/lib/swipl/library/tabling.pl +42 -0
  519. package/lib/swipl/library/terms.pl +457 -0
  520. package/lib/swipl/library/theme/auto.pl +61 -0
  521. package/lib/swipl/library/theme/dark.pl +455 -0
  522. package/lib/swipl/library/theme/light.pl +45 -0
  523. package/lib/swipl/library/thread.pl +810 -0
  524. package/lib/swipl/library/thread_pool.pl +508 -0
  525. package/lib/swipl/library/threadutil.pl +574 -0
  526. package/lib/swipl/library/tty.pl +316 -0
  527. package/lib/swipl/library/ugraphs.pl +644 -0
  528. package/lib/swipl/library/unicode/INDEX.pl +6 -0
  529. package/lib/swipl/library/unicode/blocks.pl +414 -0
  530. package/lib/swipl/library/url.pl +1129 -0
  531. package/lib/swipl/library/utf8.pl +145 -0
  532. package/lib/swipl/library/varnumbers.pl +221 -0
  533. package/lib/swipl/library/vm.pl +251 -0
  534. package/lib/swipl/library/wfs.pl +205 -0
  535. package/lib/swipl/library/when.pl +263 -0
  536. package/lib/swipl/library/writef.pl +278 -0
  537. package/lib/swipl/library/www_browser.pl +251 -0
  538. package/lib/swipl/library/yall.pl +574 -0
  539. package/lib/swipl/library/zip.pl +211 -0
  540. package/lib/swipl/swipl.home +1 -0
  541. package/lib/vendor/libcrypto.so.3 +0 -0
  542. package/lib/vendor/libpcre2-8.so.0 +0 -0
  543. package/lib/vendor/libssl.so.3 +0 -0
  544. package/lib/vendor/libz.so.1 +0 -0
  545. package/licenses/OpenSSL-LICENSE.txt +177 -0
  546. package/licenses/PCRE2-COPYING +5 -0
  547. package/licenses/README.md +12 -0
  548. package/licenses/SWI-Prolog-LICENSE +41 -0
  549. package/licenses/zlib-LICENSE +22 -0
  550. package/package.json +27 -0
@@ -0,0 +1,198 @@
1
+ <?xml version="1.0"?>
2
+
3
+ <!--
4
+ RDF Schema declaration for the Dublin Core Element Set 1.1
5
+ 2001/08/14
6
+ comments, etc. to webteam <dcmi-feedback@dublincore.org>
7
+ -->
8
+
9
+ <!DOCTYPE rdf:RDF [
10
+ <!ENTITY rdfns 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
11
+ <!ENTITY rdfsns 'http://www.w3.org/2000/01/rdf-schema#'>
12
+ <!ENTITY dcns 'http://purl.org/dc/elements/1.1/'>
13
+ <!ENTITY eorns 'http://dublincore.org/2000/03/13/eor#'>
14
+ ]>
15
+
16
+ <rdf:RDF xmlns:rdf="&rdfns;"
17
+ xmlns:rdfs="&rdfsns;"
18
+ xmlns:dc="&dcns;"
19
+ xmlns:eor="&eorns;">
20
+
21
+ <!-- Description of Schema -->
22
+
23
+ <eor:Schema rdf:about="&dcns;">
24
+ <rdf:value>The Dublin Core Element Set v1.1</rdf:value>
25
+ <dc:title>The Dublin Core Element Set v1.1</dc:title>
26
+ <dc:publisher>The Dublin Core Metadata Initiative</dc:publisher>
27
+ <dc:description>The Dublin Core metadata vocabulary is a simple vocabulary
28
+ intended to facilitate discovery of resources. </dc:description>
29
+ <dc:language>English</dc:language>
30
+ <dc:relation rdf:resource="http://dublincore.org/documents/dces/"/>
31
+ <dc:date>2000-07-02</dc:date>
32
+ </eor:Schema>
33
+
34
+ <!-- Begin: Title Declaration -->
35
+
36
+ <rdf:Property rdf:about = "&dcns;title">
37
+ <rdfs:label>Title</rdfs:label>
38
+ <rdfs:comment>A name given to the resource.</rdfs:comment>
39
+ <eor:comment>Typically, a Title will be a name by which the resource
40
+ is formally known.</eor:comment>
41
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
42
+ </rdf:Property>
43
+
44
+ <rdf:Property rdf:about = "&dcns;contributor">
45
+ <rdfs:label>Contributor</rdfs:label>
46
+ <rdfs:comment>An entity responsible for making contributions to the
47
+ content of the resource.</rdfs:comment>
48
+ <eor:comment>Examples of a Contributor include a person, an
49
+ organisation, or a service. Typically, the name of a Contributor
50
+ should be used to indicate the entity.</eor:comment>
51
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
52
+ </rdf:Property>
53
+
54
+ <rdf:Property rdf:about = "&dcns;creator">
55
+ <rdfs:label>Author/Creator</rdfs:label>
56
+ <rdfs:comment>An entity primarily responsible for making the content
57
+ of the resource.</rdfs:comment>
58
+ <eor:comment> Examples of a Creator include a person, an
59
+ organisation, or a service. Typically, the name of a Creator should
60
+ be used to indicate the entity.</eor:comment>
61
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
62
+ </rdf:Property>
63
+
64
+ <rdf:Property rdf:about = "&dcns;publisher">
65
+ <rdfs:label>Publisher</rdfs:label>
66
+ <rdfs:comment>An entity responsible for making the resource
67
+ available.</rdfs:comment>
68
+ <eor:comment> Examples of a Publisher include a person, an
69
+ organisation, or a service. Typically, the name of a Publisher
70
+ should be used to indicate the entity.</eor:comment>
71
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
72
+ </rdf:Property>
73
+
74
+ <rdf:Property rdf:about = "&dcns;subject">
75
+ <rdfs:label>Subject</rdfs:label>
76
+ <rdfs:comment>The topic of the content of the resource.</rdfs:comment>
77
+ <eor:comment> Typically, a Subject will be expressed as keywords,
78
+ key phrases or classification codes that describe a topic of the
79
+ resource. Recommended best practice is to select a value from a
80
+ controlled vocabulary or formal classification scheme.</eor:comment>
81
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
82
+ </rdf:Property>
83
+
84
+ <rdf:Property rdf:about = "&dcns;description">
85
+ <rdfs:label>Description</rdfs:label>
86
+ <rdfs:comment>An account of the content of the resource.</rdfs:comment>
87
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
88
+ </rdf:Property>
89
+
90
+ <rdf:Property rdf:about = "&dcns;date">
91
+ <rdfs:label>Date</rdfs:label>
92
+ <rdfs:comment>A date associated with an event in the life cycle of
93
+ the resource.</rdfs:comment>
94
+ <eor:comment>Typically, Date will be associated with the creation or
95
+ availability of the resource. Recommended best practice for
96
+ encoding the date value is defined in a profile of ISO 8601 [W3CDTF]
97
+ and follows the YYYY-MM-DD format.</eor:comment>
98
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
99
+ </rdf:Property>
100
+
101
+ <rdf:Property rdf:about = "&dcns;type">
102
+ <rdfs:label>Resource Type</rdfs:label>
103
+ <rdfs:comment>The nature or genre of the content of the
104
+ resource.</rdfs:comment>
105
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
106
+ </rdf:Property>
107
+
108
+ <rdf:Property rdf:about = "&dcns;format">
109
+ <rdfs:label>Format</rdfs:label>
110
+ <rdfs:comment>The physical or digital manifestation of the
111
+ resource.</rdfs:comment>
112
+ <eor:comment> Typically, Format may include the media-type or
113
+ dimensions of the resource. Format may be used to determine the
114
+ software, hardware or other equipment needed to display or operate
115
+ the resource. Examples of dimensions include size and duration.
116
+ Recommended best practice is to select a value from a controlled
117
+ vocabulary (for example, the list of Internet Media Types [MIME]
118
+ defining computer media formats).</eor:comment>
119
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
120
+ </rdf:Property>
121
+
122
+ <rdf:Property rdf:about = "&dcns;identifier">
123
+ <rdfs:label>Resource Identifier</rdfs:label>
124
+ <rdfs:comment>An unambiguous reference to the resource within a
125
+ given context.</rdfs:comment>
126
+ <eor:comment>Recommended best practice is to identify the resource
127
+ by means of a string or number conforming to a formal identification
128
+ system. Example formal identification systems include the Uniform
129
+ Resource Identifier (URI) (including the Uniform Resource Locator
130
+ (URL)), the Digital Object Identifier (DOI) and the International
131
+ Standard Book Number (ISBN).</eor:comment>
132
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
133
+ </rdf:Property>
134
+
135
+ <rdf:Property rdf:about = "&dcns;language">
136
+ <rdfs:label>Language</rdfs:label>
137
+ <rdfs:comment> A language of the intellectual content of the
138
+ resource.</rdfs:comment>
139
+ <eor:comment> Recommended best practice for the values of the
140
+ Language element is defined by RFC 1766 [RFC1766] which includes a
141
+ two-letter Language Code (taken from the ISO 639 standard [ISO639]),
142
+ followed optionally, by a two-letter Country Code (taken from the
143
+ ISO 3166 standard [ISO3166]). For example, 'en' for English, 'fr'
144
+ for French, or 'en-uk' for English used in the United
145
+ Kingdom.</eor:comment>
146
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
147
+ </rdf:Property>
148
+
149
+ <rdf:Property rdf:about = "&dcns;relation">
150
+ <rdfs:label>Relation</rdfs:label>
151
+ <rdfs:comment> A reference to a related resource.</rdfs:comment>
152
+ <eor:comment> Recommended best practice is to reference the resource
153
+ by means of a string or number conforming to a formal identification
154
+ system.</eor:comment>
155
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
156
+ </rdf:Property>
157
+
158
+ <rdf:Property rdf:about = "&dcns;source">
159
+ <rdfs:label>Source</rdfs:label>
160
+ <rdfs:comment>A Reference to a resource from which the present
161
+ resource is derived.</rdfs:comment>
162
+ <eor:comment> The present resource may be derived from the Source
163
+ resource in whole or in part. Recommended best practice is to
164
+ reference the resource by means of a string or number conforming to
165
+ a formal identification system.</eor:comment>
166
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
167
+ </rdf:Property>
168
+
169
+ <rdf:Property rdf:about = "&dcns;coverage">
170
+ <rdfs:label>Coverage</rdfs:label>
171
+ <rdfs:comment> The extent or scope of the content of the
172
+ resource.</rdfs:comment>
173
+ <eor:comment>Coverage will typically include spatial location (a
174
+ place name or geographic coordinates), temporal period (a period
175
+ label, date, or date range) or jurisdiction (such as a named
176
+ administrative entity). Recommended best practice is to select a
177
+ value from a controlled vocabulary (for example, the Thesaurus of
178
+ Geographic Names [TGN]) and that, where appropriate, named places or
179
+ time periods be used in preference to numeric identifiers such as
180
+ sets of coordinates or date ranges.</eor:comment>
181
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
182
+ </rdf:Property>
183
+
184
+ <rdf:Property rdf:about = "&dcns;rights">
185
+ <rdfs:label>Rights</rdfs:label>
186
+ <rdfs:comment> Information about rights held in and over the
187
+ resource.</rdfs:comment>
188
+ <eor:comment> Typically, a Rights element will contain a rights
189
+ management statement for the resource, or reference a service
190
+ providing such information. Rights information often encompasses
191
+ Intellectual Property Rights (IPR), Copyright, and various Property
192
+ Rights. If the Rights element is absent, no assumptions can be made
193
+ about the status of these and other rights with respect to the
194
+ resource.</eor:comment>
195
+ <rdfs:isDefinedBy rdf:resource = "&dcns;" />
196
+ </rdf:Property>
197
+
198
+ </rdf:RDF>
@@ -0,0 +1,95 @@
1
+ <?xml version="1.0"?>
2
+
3
+ <!--
4
+ RDF Schema declaration for the EOR Toolkit Vocabulary
5
+ 2001/03/28
6
+ comments, etc. to webteam <dcmi-feedback@dublincore.org>
7
+ -->
8
+
9
+ <!DOCTYPE rdf:RDF [
10
+ <!ENTITY rdfns 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
11
+ <!ENTITY rdfsns 'http://www.w3.org/2000/01/rdf-schema#'>
12
+ <!ENTITY dcns 'http://purl.org/dc/elements/1.1/'>
13
+ <!ENTITY eorns 'http://dublincore.org/2000/03/13/eor#'>
14
+ ]>
15
+
16
+ <rdf:RDF xmlns:rdf="&rdfns;"
17
+ xmlns:rdfs="&rdfsns;"
18
+ xmlns:dc="&dcns;"
19
+ xmlns:eor="&eorns;">
20
+
21
+ <eor:Schema rdf:about="&eorns;">
22
+ <!-- dumb down rule... use rdf:value for a simple default name -->
23
+ <rdf:value>The EOR Vocabulary v1.0</rdf:value>
24
+ <dc:title>The EOR Vocabulary v1.0</dc:title>
25
+ <dc:creator>Eric Miller, emiller@oclc.org</dc:creator>
26
+ <dc:contributor>Tod Matola, matola@oclc.org</dc:contributor>
27
+ <dc:contributor>Harry Wagner, wagnerh@oclc.org</dc:contributor>
28
+ <dc:description>The EOR vocabulary is a simple vocabulary intended
29
+ to support the EOR Toolkit and provides an additional level of
30
+ conformance, validation and general description beyond the
31
+ base-level RDF specifications specifically defined for RDF-based,
32
+ Dublin Core metadata applications.</dc:description>
33
+ <dc:date>2000-03-13</dc:date>
34
+ </eor:Schema>
35
+
36
+ <!-- Data Type declaration -->
37
+
38
+ <rdfs:Class rdf:about = "&eorns;DataType">
39
+ <rdfs:label>Data Type</rdfs:label>
40
+ <rdfs:comment>A data type.</rdfs:comment>
41
+ <rdfs:subClassOf rdf:resource =
42
+ "http://www.w3.org/2000/01/rdf-schema#Literal" />
43
+ <rdfs:isDefinedBy rdf:resource = "&eorns;" />
44
+ </rdfs:Class>
45
+
46
+ <!-- Class declarations -->
47
+
48
+ <rdfs:Class rdf:about = "&eorns;Schema">
49
+ <rdfs:label>RDF Schema</rdfs:label>
50
+ <rdfs:comment>A RDF schema</rdfs:comment>
51
+ <rdfs:subClassOf rdf:resource =
52
+ "http://purl.org/dc/dcmitype/Text" />
53
+ <rdfs:isDefinedBy rdf:resource = "&eorns;" />
54
+ </rdfs:Class>
55
+
56
+ <rdfs:Class rdf:about = "&eorns;Profile">
57
+ <rdfs:label>Profile</rdfs:label>
58
+ <rdfs:comment>An application profile</rdfs:comment>
59
+ <rdfs:subClassOf rdf:resource = "Schema" />
60
+ <rdfs:isDefinedBy rdf:resource = "&eorns;" />
61
+ </rdfs:Class>
62
+
63
+ <rdfs:Class rdf:about = "&eorns;WebPage">
64
+ <rdfs:label>Web Page</rdfs:label>
65
+ <rdfs:comment>A web page</rdfs:comment>
66
+ <rdfs:subClassOf rdf:resource =
67
+ "http://purl.org/dc/dcmitype/Text" />
68
+ <rdfs:isDefinedBy rdf:resource = "&eorns;" />
69
+ </rdfs:Class>
70
+
71
+ <!-- Additional Class relations -->
72
+
73
+ <rdf:Property rdf:about = "&eorns;alias">
74
+ <rdfs:label>alias</rdfs:label>
75
+ <rdfs:comment>An alias.</rdfs:comment>
76
+ <rdfs:isDefinedBy rdf:resource = "&eorns;" />
77
+ </rdf:Property>
78
+
79
+
80
+ <!-- Additional Property declarations -->
81
+
82
+ <rdf:Property rdf:about = "&eorns;label">
83
+ <rdfs:label>label</rdfs:label>
84
+ <rdfs:comment>A application-specific label.</rdfs:comment>
85
+ <rdfs:isDefinedBy rdf:resource = "&eorns;" />
86
+ </rdf:Property>
87
+
88
+ <rdf:Property rdf:about = "&eorns;comment">
89
+ <rdfs:label>Comment</rdfs:label>
90
+ <rdfs:comment>A comment or note providing additional
91
+ application-specific information.</rdfs:comment>
92
+ <rdfs:isDefinedBy rdf:resource = "&eorns;" />
93
+ </rdf:Property>
94
+
95
+ </rdf:RDF>
@@ -0,0 +1,287 @@
1
+ <?xml version="1.0"?>
2
+ <!DOCTYPE owl [
3
+ <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
4
+ <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
5
+ <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
6
+ <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
7
+ ]>
8
+
9
+ <rdf:RDF
10
+ xmlns ="&owl;"
11
+ xmlns:owl ="&owl;"
12
+ xml:base ="http://www.w3.org/2002/07/owl"
13
+ xmlns:rdf ="&rdf;"
14
+ xmlns:rdfs="&rdfs;"
15
+ xmlns:dc ="http://purl.org/dc/elements/1.1/"
16
+ >
17
+
18
+ <Ontology rdf:about="">
19
+ <versionInfo>March 18. 2003, GS</versionInfo>
20
+ <imports rdf:resource="http://www.w3.org/2000/01/rdf-schema"/>
21
+ <dc:title>Classes and properties for the Web Ontology Language OWL</dc:title>
22
+ <dc:creator>W3C Web Ontology (WebOnt) Working Group</dc:creator>
23
+ <dc:subject>OWL; Web Ontology Language; Semantic Web</dc:subject>
24
+ <dc:description>This file specifies in RDF Schema format the
25
+ built-in classes and properties that together form the basis of
26
+ the RDF/XML syntax of OWL Full, OWL DL and OWL Lite with the help
27
+ of RDF Schema. We do not expect people to import this file
28
+ explicitly into their ontology. People that do import this file
29
+ should expect their ontology to be an OWL Full ontology.
30
+ </dc:description>
31
+ <dc:publisher>W3C</dc:publisher>
32
+ <dc:date>2003-02-10</dc:date>
33
+ <dc:format>text/xml</dc:format>
34
+ <dc:language>en</dc:language>
35
+ <dc:identifier>http://www.w3.org/2002/07/owl</dc:identifier>
36
+ </Ontology>
37
+
38
+ <rdfs:Class rdf:ID="Class">
39
+ <rdfs:label>Class</rdfs:label>
40
+ <rdfs:subClassOf rdf:resource="&rdfs;Class"/>
41
+ </rdfs:Class>
42
+
43
+ <Class rdf:ID="Thing">
44
+ <rdfs:label>Thing</rdfs:label>
45
+ <unionOf rdf:parseType="Collection">
46
+ <Class rdf:about="#Nothing"/>
47
+ <Class>
48
+ <complementOf rdf:resource="#Nothing"/>
49
+ </Class>
50
+ </unionOf>
51
+ </Class>
52
+
53
+ <Class rdf:ID="Nothing">
54
+ <rdfs:label>Nothing</rdfs:label>
55
+ <complementOf rdf:resource="#Thing"/>
56
+ </Class>
57
+
58
+ <rdf:Property rdf:ID="equivalentClass">
59
+ <rdfs:label>equivalentClass</rdfs:label>
60
+ <rdfs:subPropertyOf rdf:resource="&rdfs;subClassOf"/>
61
+ <rdfs:domain rdf:resource="#Class"/>
62
+ <rdfs:range rdf:resource="#Class"/>
63
+ </rdf:Property>
64
+
65
+ <rdf:Property rdf:ID="disjointWith">
66
+ <rdfs:label>disjointWith</rdfs:label>
67
+ <rdfs:domain rdf:resource="#Class"/>
68
+ <rdfs:range rdf:resource="#Class"/>
69
+ </rdf:Property>
70
+
71
+ <rdf:Property rdf:ID="equivalentProperty">
72
+ <rdfs:label>equivalentProperty</rdfs:label>
73
+ <rdfs:subPropertyOf rdf:resource="&rdfs;subPropertyOf"/>
74
+ </rdf:Property>
75
+
76
+ <rdf:Property rdf:ID="sameIndividualAs">
77
+ <rdfs:label>sameIndividualAs</rdfs:label>
78
+ <rdfs:domain rdf:resource="#Thing"/>
79
+ <rdfs:range rdf:resource="#Thing"/>
80
+ <rdfs:subPropertyOf rdf:resource="#sameAs"/>
81
+ </rdf:Property>
82
+
83
+ <rdf:Property rdf:ID="sameAs">
84
+ <rdfs:label>sameAs</rdfs:label>
85
+ <rdfs:subPropertyOf rdf:resource="#sameIndividualAs"/>
86
+ </rdf:Property>
87
+
88
+ <rdf:Property rdf:ID="differentFrom">
89
+ <rdfs:label>differentFrom</rdfs:label>
90
+ <rdfs:domain rdf:resource="#Thing"/>
91
+ <rdfs:range rdf:resource="#Thing"/>
92
+ </rdf:Property>
93
+
94
+ <rdfs:Class rdf:ID="AllDifferent">
95
+ <rdfs:label>AllDifferent</rdfs:label>
96
+ </rdfs:Class>
97
+
98
+ <rdf:Property rdf:ID="distinctMembers">
99
+ <rdfs:label>distinctMembers</rdfs:label>
100
+ <rdfs:domain rdf:resource="#AllDifferent"/>
101
+ <rdfs:range rdf:resource="&rdf;List"/>
102
+ </rdf:Property>
103
+
104
+ <rdf:Property rdf:ID="unionOf">
105
+ <rdfs:label>unionOf</rdfs:label>
106
+ <rdfs:domain rdf:resource="#Class"/>
107
+ <rdfs:range rdf:resource="&rdf;List"/>
108
+ </rdf:Property>
109
+
110
+ <rdf:Property rdf:ID="intersectionOf">
111
+ <rdfs:label>intersectionOf</rdfs:label>
112
+ <rdfs:domain rdf:resource="#Class"/>
113
+ <rdfs:range rdf:resource="&rdf;List"/>
114
+ </rdf:Property>
115
+
116
+ <rdf:Property rdf:ID="complementOf">
117
+ <rdfs:label>complementOf</rdfs:label>
118
+ <rdfs:domain rdf:resource="#Class"/>
119
+ <rdfs:range rdf:resource="#Class"/>
120
+ </rdf:Property>
121
+
122
+ <rdf:Property rdf:ID="oneOf">
123
+ <rdfs:label>oneOf</rdfs:label>
124
+ <rdfs:domain rdf:resource="&rdfs;Class"/>
125
+ <rdfs:range rdf:resource="&rdf;List"/>
126
+ </rdf:Property>
127
+
128
+ <rdfs:Class rdf:ID="Restriction">
129
+ <rdfs:label>Restriction</rdfs:label>
130
+ <rdfs:subClassOf rdf:resource="#Class"/>
131
+ </rdfs:Class>
132
+
133
+ <rdf:Property rdf:ID="onProperty">
134
+ <rdfs:label>onProperty</rdfs:label>
135
+ <rdfs:domain rdf:resource="#Restriction"/>
136
+ <rdfs:range rdf:resource="&rdf;Property"/>
137
+ </rdf:Property>
138
+
139
+ <rdf:Property rdf:ID="allValuesFrom">
140
+ <rdfs:label>allValuesFrom</rdfs:label>
141
+ <rdfs:domain rdf:resource="#Restriction"/>
142
+ <rdfs:range rdf:resource="&rdfs;Class"/>
143
+ </rdf:Property>
144
+
145
+ <rdf:Property rdf:ID="hasValue">
146
+ <rdfs:label>hasValue</rdfs:label>
147
+ <rdfs:domain rdf:resource="#Restriction"/>
148
+ </rdf:Property>
149
+
150
+ <rdf:Property rdf:ID="someValuesFrom">
151
+ <rdfs:label>someValuesFrom</rdfs:label>
152
+ <rdfs:domain rdf:resource="#Restriction"/>
153
+ <rdfs:range rdf:resource="&rdfs;Class"/>
154
+ </rdf:Property>
155
+
156
+ <rdf:Property rdf:ID="minCardinality">
157
+ <rdfs:label>minCardinality</rdfs:label>
158
+ <rdfs:domain rdf:resource="#Restriction"/>
159
+ <rdfs:range rdf:resource="&xsd;nonNegativeInteger"/>
160
+ </rdf:Property>
161
+
162
+ <rdf:Property rdf:ID="maxCardinality">
163
+ <rdfs:label>maxCardinality</rdfs:label>
164
+ <rdfs:domain rdf:resource="#Restriction"/>
165
+ <rdfs:range rdf:resource="&xsd;nonNegativeInteger"/>
166
+ </rdf:Property>
167
+
168
+ <rdf:Property rdf:ID="cardinality">
169
+ <rdfs:label>cardinality</rdfs:label>
170
+ <rdfs:domain rdf:resource="#Restriction"/>
171
+ <rdfs:range rdf:resource="&xsd;nonNegativeInteger"/>
172
+ </rdf:Property>
173
+
174
+ <rdfs:Class rdf:ID="ObjectProperty">
175
+ <rdfs:label>ObjectProperty</rdfs:label>
176
+ <rdfs:subClassOf rdf:resource="&rdf;Property"/>
177
+ </rdfs:Class>
178
+
179
+ <rdfs:Class rdf:ID="DatatypeProperty">
180
+ <rdfs:label>DatatypeProperty</rdfs:label>
181
+ <rdfs:subClassOf rdf:resource="&rdf;Property"/>
182
+ </rdfs:Class>
183
+
184
+ <rdf:Property rdf:ID="inverseOf">
185
+ <rdfs:label>inverseOf</rdfs:label>
186
+ <rdfs:domain rdf:resource="#ObjectProperty"/>
187
+ <rdfs:range rdf:resource="#ObjectProperty"/>
188
+ </rdf:Property>
189
+
190
+ <rdfs:Class rdf:ID="TransitiveProperty">
191
+ <rdfs:label>TransitiveProperty</rdfs:label>
192
+ <rdfs:subClassOf rdf:resource="#ObjectProperty"/>
193
+ </rdfs:Class>
194
+
195
+ <rdfs:Class rdf:ID="SymmetricProperty">
196
+ <rdfs:label>SymmetricProperty</rdfs:label>
197
+ <rdfs:subClassOf rdf:resource="#ObjectProperty"/>
198
+ </rdfs:Class>
199
+
200
+ <rdfs:Class rdf:ID="FunctionalProperty">
201
+ <rdfs:label>FunctionalProperty</rdfs:label>
202
+ <rdfs:subClassOf rdf:resource="&rdf;Property"/>
203
+ </rdfs:Class>
204
+
205
+ <rdfs:Class rdf:ID="InverseFunctionalProperty">
206
+ <rdfs:label>InverseFunctionalProperty</rdfs:label>
207
+ <rdfs:subClassOf rdf:resource="&owl;ObjectProperty"/>
208
+ </rdfs:Class>
209
+
210
+ <rdfs:Class rdf:ID="AnnotationProperty">
211
+ <rdfs:subClassOf rdf:resource="&rdf;Property"/>
212
+ </rdfs:Class>
213
+
214
+ <rdf:Description rdf:about="&rdfs;label">
215
+ <rdf:type rdf:resource="#AnnotationProperty"/>
216
+ </rdf:Description>
217
+
218
+ <rdf:Description rdf:about="&rdfs;comment">
219
+ <rdf:type rdf:resource="#AnnotationProperty"/>
220
+ </rdf:Description>
221
+
222
+ <rdf:Description rdf:about="&rdfs;seeAlso">
223
+ <rdf:type rdf:resource="#AnnotationProperty"/>
224
+ </rdf:Description>
225
+
226
+ <rdf:Description rdf:about="&rdfs;isDefinedBy">
227
+ <rdf:type rdf:resource="#AnnotationProperty"/>
228
+ </rdf:Description>
229
+
230
+ <rdfs:Class rdf:ID="Ontology">
231
+ <rdfs:label>Ontology</rdfs:label>
232
+ </rdfs:Class>
233
+
234
+ <rdfs:Class rdf:ID="OntologyProperty">
235
+ <rdfs:subClassOf rdf:resource="&rdf;Property"/>
236
+ </rdfs:Class>
237
+
238
+ <rdf:Property rdf:ID="imports">
239
+ <rdfs:label>imports</rdfs:label>
240
+ <rdf:type rdf:resource="#OntologyProperty"/>
241
+ <rdfs:domain rdf:resource="#Ontology"/>
242
+ <rdfs:range rdf:resource="#Ontology"/>
243
+ </rdf:Property>
244
+
245
+ <rdf:Property rdf:ID="versionInfo">
246
+ <rdfs:label>versionInfo</rdfs:label>
247
+ <rdf:type rdf:resource="#AnnotationProperty"/>
248
+ </rdf:Property>
249
+
250
+ <rdf:Property rdf:ID="priorVersion">
251
+ <rdfs:label>priorVersion</rdfs:label>
252
+ <rdf:type rdf:resource="#OntologyProperty"/>
253
+ <rdfs:domain rdf:resource="#Ontology"/>
254
+ <rdfs:range rdf:resource="#Ontology"/>
255
+ </rdf:Property>
256
+
257
+ <rdf:Property rdf:ID="backwardCompatibleWith">
258
+ <rdfs:label>backwardCompatibleWitesh</rdfs:label>
259
+ <rdf:type rdf:resource="#OntologyProperty"/>
260
+ <rdfs:domain rdf:resource="#Ontology"/>
261
+ <rdfs:range rdf:resource="#Ontology"/>
262
+ </rdf:Property>
263
+
264
+ <rdf:Property rdf:ID="incompatibleWith">
265
+ <rdfs:label>incompatibleWith</rdfs:label>
266
+ <rdf:type rdf:resource="#OntologyProperty"/>
267
+ <rdfs:domain rdf:resource="#Ontology"/>
268
+ <rdfs:range rdf:resource="#Ontology"/>
269
+ </rdf:Property>
270
+
271
+ <rdfs:Class rdf:ID="DeprecatedClass">
272
+ <rdfs:label>DeprecatedClass</rdfs:label>
273
+ <rdfs:subClassOf rdf:resource="&rdfs;Class"/>
274
+ </rdfs:Class>
275
+
276
+ <rdfs:Class rdf:ID="DeprecatedProperty">
277
+ <rdfs:label>DeprecatedProperty</rdfs:label>
278
+ <rdfs:subClassOf rdf:resource="&rdf;Property"/>
279
+ </rdfs:Class>
280
+
281
+ <rdfs:Class rdf:ID="DataRange">
282
+ <rdfs:label>DataRange</rdfs:label>
283
+ </rdfs:Class>
284
+
285
+
286
+ </rdf:RDF>
287
+
@@ -0,0 +1,90 @@
1
+ @prefix void: <http://rdfs.org/ns/void#> .
2
+ @prefix vann: <http://purl.org/vocab/vann/> .
3
+ @prefix lib: <http://www.swi-prolog.org/rdf/library/> .
4
+ @prefix owl: <http://www.w3.org/2002/07/owl#> .
5
+ @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
6
+ @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
7
+
8
+ # Class lib:Ontology
9
+
10
+ lib:Ontology
11
+ a owl:Class ;
12
+ rdfs:comment "Ontology in library" ;
13
+ rdfs:subClassOf void:DataSet ;
14
+ rdfs:subClassOf owl:Ontology .
15
+ lib:Schema
16
+ a owl:Class ;
17
+ rdfs:comment "Collection of classes and properties" ;
18
+ rdfs:subClassOf lib:Ontology .
19
+ lib:Instances
20
+ a owl:Class ;
21
+ rdfs:comment "Collection of instances" ;
22
+ rdfs:subClassOf lib:Ontology .
23
+ lib:Virtual
24
+ a owl:Class ;
25
+ rdfs:comment "Entry itself is not loadable" .
26
+
27
+ lib:schema
28
+ a owl:OntologyProperty ;
29
+ rdfs:subPropertyOf owl:imports ;
30
+ rdfs:domain lib:Ontology ;
31
+ rdfs:range lib:Schema ;
32
+ rdfs:comment "URL for file holding schemas" .
33
+
34
+ lib:instances
35
+ a owl:OntologyProperty ;
36
+ rdfs:subPropertyOf owl:imports ;
37
+ rdfs:domain lib:Ontology ;
38
+ rdfs:range lib:Instances ;
39
+ rdfs:comment "URL for file holding instances" .
40
+
41
+ lib:baseURI
42
+ a owl:OntologyProperty ;
43
+ rdfs:domain lib:Ontology ;
44
+ rdfs:comment "URI based as initial Base URI" .
45
+
46
+ lib:blankNodes
47
+ a owl:OntologyProperty ;
48
+ rdfs:domain lib:Ontology ;
49
+ rdfs:range rdfs:Literal ;
50
+ rdfs:comment """How to handle identical blank notes.
51
+ One of 'share' or 'noshare'""" .
52
+
53
+ lib:source
54
+ a owl:OntologyProperty ;
55
+ rdfs:domain lib:Ontology ;
56
+ rdfs:comment "URL from which we claim to have loaded the data" .
57
+
58
+ lib:format
59
+ a owl:OntologyProperty ;
60
+ rdfs:domain lib:Ontology ;
61
+ rdfs:comment "Data format (e.g., 'turtle') to overrule content-type" .
62
+
63
+ # Deprecated
64
+
65
+ lib:providesNamespace
66
+ a owl:OntologyProperty ;
67
+ rdfs:domain lib:Ontology ;
68
+ rdfs:range lib:Namespace .
69
+
70
+ lib:usesNamespace
71
+ a owl:OntologyProperty ;
72
+ rdfs:domain lib:Ontology ;
73
+ rdfs:range lib:Namespace .
74
+
75
+ # Class lib:Namespace
76
+
77
+ lib:Namespace
78
+ a owl:Class ;
79
+ rdfs:subClassOf rdfs:Resource .
80
+ lib:mnemonic
81
+ a rdfs:Property ;
82
+ rdfs:subPropertyOf vann:preferredNamespacePrefix ;
83
+ rdfs:domain lib:Namespace ;
84
+ rdfs:range rdf:Literal .
85
+ lib:namespace
86
+ a rdfs:Property ;
87
+ rdfs:subPropertyOf vann:preferredNamespaceUri ;
88
+ rdfs:domain lib:Namespace ;
89
+ rdfs:comment """lib:namespace is a resource; vann:preferredNamespaceUri
90
+ is a literal""" .