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.
- package/README.md +29 -0
- package/bin/swipl +0 -0
- package/bin/swipl-win +0 -0
- package/build-manifest.json +70 -0
- package/lib/cmake/swipl/SWIPLConfig.cmake +21 -0
- package/lib/cmake/swipl/SWIPLConfigVersion.cmake +65 -0
- package/lib/cmake/swipl/SWIPLTargets-release.cmake +28 -0
- package/lib/cmake/swipl/SWIPLTargets.cmake +109 -0
- package/lib/swipl/ABI +1 -0
- package/lib/swipl/LICENSE +41 -0
- package/lib/swipl/README.md +116 -0
- package/lib/swipl/app/README.md +25 -0
- package/lib/swipl/app/app.pl +87 -0
- package/lib/swipl/app/pack.pl +350 -0
- package/lib/swipl/app/qlf.pl +521 -0
- package/lib/swipl/app/splfr.pl +177 -0
- package/lib/swipl/app/sys.pl +310 -0
- package/lib/swipl/bin/swipl.home +1 -0
- package/lib/swipl/boot/apply.pl +73 -0
- package/lib/swipl/boot/attvar.pl +344 -0
- package/lib/swipl/boot/autoload.pl +1226 -0
- package/lib/swipl/boot/bags.pl +283 -0
- package/lib/swipl/boot/dcg.pl +388 -0
- package/lib/swipl/boot/dicts.pl +193 -0
- package/lib/swipl/boot/dwim.pl +485 -0
- package/lib/swipl/boot/engines.pl +152 -0
- package/lib/swipl/boot/expand.pl +1628 -0
- package/lib/swipl/boot/gc.pl +65 -0
- package/lib/swipl/boot/history.pl +304 -0
- package/lib/swipl/boot/init.pl +4682 -0
- package/lib/swipl/boot/iri.pl +64 -0
- package/lib/swipl/boot/license.pl +390 -0
- package/lib/swipl/boot/load.pl +81 -0
- package/lib/swipl/boot/messages.pl +2521 -0
- package/lib/swipl/boot/packs.pl +306 -0
- package/lib/swipl/boot/predopts.pl +154 -0
- package/lib/swipl/boot/qlf.pl +141 -0
- package/lib/swipl/boot/rc.pl +263 -0
- package/lib/swipl/boot/syspred.pl +1634 -0
- package/lib/swipl/boot/tabling.pl +2321 -0
- package/lib/swipl/boot/threads.pl +42 -0
- package/lib/swipl/boot/toplevel.pl +2248 -0
- package/lib/swipl/boot/topvars.pl +261 -0
- package/lib/swipl/boot.prc +0 -0
- package/lib/swipl/cmake/swipl.cmake +131 -0
- package/lib/swipl/customize/README.md +23 -0
- package/lib/swipl/customize/edit +101 -0
- package/lib/swipl/customize/init.pl +164 -0
- package/lib/swipl/demo/README.md +33 -0
- package/lib/swipl/demo/likes.pl +44 -0
- package/lib/swipl/doc/packages/examples/chr/bool.chr +281 -0
- package/lib/swipl/doc/packages/examples/chr/chrdif.chr +87 -0
- package/lib/swipl/doc/packages/examples/chr/chrfreeze.chr +6 -0
- package/lib/swipl/doc/packages/examples/chr/family.chr +116 -0
- package/lib/swipl/doc/packages/examples/chr/fib.chr +24 -0
- package/lib/swipl/doc/packages/examples/chr/fibonacci.chr +31 -0
- package/lib/swipl/doc/packages/examples/chr/gcd.chr +28 -0
- package/lib/swipl/doc/packages/examples/chr/leq.chr +34 -0
- package/lib/swipl/doc/packages/examples/chr/listdom.chr +138 -0
- package/lib/swipl/doc/packages/examples/chr/primes.chr +29 -0
- package/lib/swipl/doc/packages/examples/http/README.md +98 -0
- package/lib/swipl/doc/packages/examples/http/calc.pl +92 -0
- package/lib/swipl/doc/packages/examples/http/demo_body.pl +232 -0
- package/lib/swipl/doc/packages/examples/http/demo_client.pl +165 -0
- package/lib/swipl/doc/packages/examples/http/demo_daemon.pl +38 -0
- package/lib/swipl/doc/packages/examples/http/demo_files.pl +50 -0
- package/lib/swipl/doc/packages/examples/http/demo_hello.pl +15 -0
- package/lib/swipl/doc/packages/examples/http/demo_login.pl +280 -0
- package/lib/swipl/doc/packages/examples/http/demo_openid.pl +177 -0
- package/lib/swipl/doc/packages/examples/http/demo_pwp.pl +20 -0
- package/lib/swipl/doc/packages/examples/http/demo_rest.pl +56 -0
- package/lib/swipl/doc/packages/examples/http/demo_threads.pl +52 -0
- package/lib/swipl/doc/packages/examples/http/linux-init-script +126 -0
- package/lib/swipl/doc/packages/examples/http/pwp/context.pwp +23 -0
- package/lib/swipl/doc/packages/examples/http/pwp/index.pwp +25 -0
- package/lib/swipl/doc/packages/examples/http/pwp/pwp1.pwp +12 -0
- package/lib/swipl/doc/packages/examples/http/pwp/pwp2.pwp +10 -0
- package/lib/swipl/doc/packages/examples/http/pwp/pwp3.pwp +25 -0
- package/lib/swipl/doc/packages/examples/http/pwp/pwp4.pwp +23 -0
- package/lib/swipl/doc/packages/examples/http/pwp/pwp5.pwp +11 -0
- package/lib/swipl/doc/packages/examples/http/pwp/pwp6.pwp +3 -0
- package/lib/swipl/doc/packages/examples/http/pwp/pwp7.pwp +3 -0
- package/lib/swipl/doc/packages/examples/http/pwp/pwp8.pwp +3 -0
- package/lib/swipl/doc/packages/examples/http/pwp/pwpdb.pl +12 -0
- package/lib/swipl/doc/packages/examples/http/systemd-script.service +18 -0
- package/lib/swipl/doc/packages/examples/http/upstart-script.conf +20 -0
- package/lib/swipl/doc/packages/examples/plunit/read.pl +17 -0
- package/lib/swipl/doc/packages/examples/plunit/simple.pl +33 -0
- package/lib/swipl/doc/packages/examples/ssl/client.pl +83 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/README +52 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/client/client-cert.p12 +0 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/client/client-cert.pem +85 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/client/client-key.pem +30 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/cacert.pem +82 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/careq.pem +18 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/crlnumber +1 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/index.txt +3 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/index.txt.attr +1 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/newcerts/9DC08797A0F63F7C.pem +85 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/newcerts/9DC08797A0F63F7D.pem +85 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/private/cakey.pem +30 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/demoCA/serial +1 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/server/server-cert.pem +85 -0
- package/lib/swipl/doc/packages/examples/ssl/etc/server/server-key.pem +30 -0
- package/lib/swipl/doc/packages/examples/ssl/https.pl +267 -0
- package/lib/swipl/doc/packages/examples/ssl/server.pl +106 -0
- package/lib/swipl/include/SWI-Prolog.h +1544 -0
- package/lib/swipl/include/SWI-Stream.h +537 -0
- package/lib/swipl/include/Yap/YapInterface.h +283 -0
- package/lib/swipl/include/sicstus/sicstus.h +452 -0
- package/lib/swipl/lib/x86_64-linux/cgi.so +0 -0
- package/lib/swipl/lib/x86_64-linux/crypt.so +0 -0
- package/lib/swipl/lib/x86_64-linux/crypto4pl.so +0 -0
- package/lib/swipl/lib/x86_64-linux/double_metaphone.so +0 -0
- package/lib/swipl/lib/x86_64-linux/files.so +0 -0
- package/lib/swipl/lib/x86_64-linux/hashstream.so +0 -0
- package/lib/swipl/lib/x86_64-linux/http_stream.so +0 -0
- package/lib/swipl/lib/x86_64-linux/isub.so +0 -0
- package/lib/swipl/lib/x86_64-linux/json.so +0 -0
- package/lib/swipl/lib/x86_64-linux/libswipl.so.10 +0 -0
- package/lib/swipl/lib/x86_64-linux/mallocinfo.so +0 -0
- package/lib/swipl/lib/x86_64-linux/md54pl.so +0 -0
- package/lib/swipl/lib/x86_64-linux/memfile.so +0 -0
- package/lib/swipl/lib/x86_64-linux/ntriples.so +0 -0
- package/lib/swipl/lib/x86_64-linux/pcre4pl.so +0 -0
- package/lib/swipl/lib/x86_64-linux/porter_stem.so +0 -0
- package/lib/swipl/lib/x86_64-linux/process.so +0 -0
- package/lib/swipl/lib/x86_64-linux/prolog_stream.so +0 -0
- package/lib/swipl/lib/x86_64-linux/rdf_db.so +0 -0
- package/lib/swipl/lib/x86_64-linux/readutil.so +0 -0
- package/lib/swipl/lib/x86_64-linux/rlimit.so +0 -0
- package/lib/swipl/lib/x86_64-linux/sched.so +0 -0
- package/lib/swipl/lib/x86_64-linux/sgml2pl.so +0 -0
- package/lib/swipl/lib/x86_64-linux/sha4pl.so +0 -0
- package/lib/swipl/lib/x86_64-linux/snowball.so +0 -0
- package/lib/swipl/lib/x86_64-linux/socket.so +0 -0
- package/lib/swipl/lib/x86_64-linux/ssl4pl.so +0 -0
- package/lib/swipl/lib/x86_64-linux/streaminfo.so +0 -0
- package/lib/swipl/lib/x86_64-linux/syslog.so +0 -0
- package/lib/swipl/lib/x86_64-linux/time.so +0 -0
- package/lib/swipl/lib/x86_64-linux/turtle.so +0 -0
- package/lib/swipl/lib/x86_64-linux/uid.so +0 -0
- package/lib/swipl/lib/x86_64-linux/unix.so +0 -0
- package/lib/swipl/lib/x86_64-linux/uri.so +0 -0
- package/lib/swipl/lib/x86_64-linux/websocket.so +0 -0
- package/lib/swipl/lib/x86_64-linux/zlib4pl.so +0 -0
- package/lib/swipl/library/INDEX.pl +1020 -0
- package/lib/swipl/library/aggregate.pl +755 -0
- package/lib/swipl/library/ansi_term.pl +653 -0
- package/lib/swipl/library/apply.pl +426 -0
- package/lib/swipl/library/apply_macros.pl +497 -0
- package/lib/swipl/library/arithmetic.pl +320 -0
- package/lib/swipl/library/assoc.pl +522 -0
- package/lib/swipl/library/atom.pl +169 -0
- package/lib/swipl/library/backcomp.pl +688 -0
- package/lib/swipl/library/base32.pl +291 -0
- package/lib/swipl/library/base64.pl +441 -0
- package/lib/swipl/library/broadcast.pl +161 -0
- package/lib/swipl/library/build/cmake.pl +137 -0
- package/lib/swipl/library/build/conan.pl +232 -0
- package/lib/swipl/library/build/make.pl +168 -0
- package/lib/swipl/library/build/tools.pl +825 -0
- package/lib/swipl/library/charsio.pl +195 -0
- package/lib/swipl/library/check.pl +1097 -0
- package/lib/swipl/library/check_installation.pl +912 -0
- package/lib/swipl/library/clp/INDEX.pl +157 -0
- package/lib/swipl/library/clp/bounds.pl +2036 -0
- package/lib/swipl/library/clp/clp_distinct.pl +263 -0
- package/lib/swipl/library/clp/clp_events.pl +92 -0
- package/lib/swipl/library/clp/clpb.pl +1896 -0
- package/lib/swipl/library/clp/clpfd.pl +7906 -0
- package/lib/swipl/library/clp/simplex.pl +1580 -0
- package/lib/swipl/library/codesio.pl +182 -0
- package/lib/swipl/library/coinduction.pl +183 -0
- package/lib/swipl/library/console_input.pl +289 -0
- package/lib/swipl/library/csv.pl +611 -0
- package/lib/swipl/library/ctypes.pl +161 -0
- package/lib/swipl/library/date.pl +370 -0
- package/lib/swipl/library/dcg/INDEX.pl +35 -0
- package/lib/swipl/library/dcg/basics.pl +514 -0
- package/lib/swipl/library/dcg/high_order.pl +227 -0
- package/lib/swipl/library/debug.pl +499 -0
- package/lib/swipl/library/dialect/bim.pl +186 -0
- package/lib/swipl/library/dialect/commons.pl +77 -0
- package/lib/swipl/library/dialect/eclipse/test_util_iso.pl +355 -0
- package/lib/swipl/library/dialect/hprolog/format.pl +44 -0
- package/lib/swipl/library/dialect/hprolog.pl +314 -0
- package/lib/swipl/library/dialect/ifprolog.pl +1317 -0
- package/lib/swipl/library/dialect/iso/iso_predicates.pl +277 -0
- package/lib/swipl/library/dialect/sicstus/README.TXT +1 -0
- package/lib/swipl/library/dialect/sicstus/arrays.pl +121 -0
- package/lib/swipl/library/dialect/sicstus/block.pl +278 -0
- package/lib/swipl/library/dialect/sicstus/lists.pl +167 -0
- package/lib/swipl/library/dialect/sicstus/ordsets.pl +52 -0
- package/lib/swipl/library/dialect/sicstus/sockets.pl +174 -0
- package/lib/swipl/library/dialect/sicstus/system.pl +262 -0
- package/lib/swipl/library/dialect/sicstus/terms.pl +57 -0
- package/lib/swipl/library/dialect/sicstus/timeout.pl +92 -0
- package/lib/swipl/library/dialect/sicstus.pl +582 -0
- package/lib/swipl/library/dialect/sicstus4/aggregate.pl +60 -0
- package/lib/swipl/library/dialect/sicstus4/between.pl +62 -0
- package/lib/swipl/library/dialect/sicstus4/clpfd.pl +75 -0
- package/lib/swipl/library/dialect/sicstus4/file_systems.pl +413 -0
- package/lib/swipl/library/dialect/sicstus4/lists.pl +274 -0
- package/lib/swipl/library/dialect/sicstus4/ordsets.pl +54 -0
- package/lib/swipl/library/dialect/sicstus4/samsort.pl +86 -0
- package/lib/swipl/library/dialect/sicstus4/sets.pl +124 -0
- package/lib/swipl/library/dialect/sicstus4/sockets.pl +164 -0
- package/lib/swipl/library/dialect/sicstus4/system.pl +80 -0
- package/lib/swipl/library/dialect/sicstus4/terms.pl +89 -0
- package/lib/swipl/library/dialect/sicstus4/timeout.pl +43 -0
- package/lib/swipl/library/dialect/sicstus4/types.pl +103 -0
- package/lib/swipl/library/dialect/sicstus4.pl +200 -0
- package/lib/swipl/library/dialect/swi/syspred_options.pl +250 -0
- package/lib/swipl/library/dialect/xsb/README.md +20 -0
- package/lib/swipl/library/dialect/xsb/basics.pl +318 -0
- package/lib/swipl/library/dialect/xsb/consult.pl +87 -0
- package/lib/swipl/library/dialect/xsb/curr_sym.pl +57 -0
- package/lib/swipl/library/dialect/xsb/error_handler.pl +111 -0
- package/lib/swipl/library/dialect/xsb/gensym.pl +53 -0
- package/lib/swipl/library/dialect/xsb/gpp.pl +138 -0
- package/lib/swipl/library/dialect/xsb/intern.pl +48 -0
- package/lib/swipl/library/dialect/xsb/lists.pl +47 -0
- package/lib/swipl/library/dialect/xsb/machine.pl +295 -0
- package/lib/swipl/library/dialect/xsb/ordsets.pl +53 -0
- package/lib/swipl/library/dialect/xsb/setof.pl +54 -0
- package/lib/swipl/library/dialect/xsb/source.pl +308 -0
- package/lib/swipl/library/dialect/xsb/standard.pl +169 -0
- package/lib/swipl/library/dialect/xsb/storage.pl +70 -0
- package/lib/swipl/library/dialect/xsb/string.pl +76 -0
- package/lib/swipl/library/dialect/xsb/thread.pl +62 -0
- package/lib/swipl/library/dialect/xsb/timed_call.pl +158 -0
- package/lib/swipl/library/dialect/xsb.pl +688 -0
- package/lib/swipl/library/dialect/yap/README.TXT +8 -0
- package/lib/swipl/library/dialect/yap.pl +283 -0
- package/lib/swipl/library/dialect.pl +123 -0
- package/lib/swipl/library/dicts.pl +399 -0
- package/lib/swipl/library/dif.pl +426 -0
- package/lib/swipl/library/edinburgh.pl +138 -0
- package/lib/swipl/library/edit.pl +783 -0
- package/lib/swipl/library/error.pl +495 -0
- package/lib/swipl/library/exceptions.pl +231 -0
- package/lib/swipl/library/explain.pl +543 -0
- package/lib/swipl/library/ext/RDF/INDEX.pl +25 -0
- package/lib/swipl/library/ext/RDF/rdf.pl +450 -0
- package/lib/swipl/library/ext/RDF/rdf_parser.pl +649 -0
- package/lib/swipl/library/ext/RDF/rdf_triple.pl +448 -0
- package/lib/swipl/library/ext/RDF/rdf_write.pl +701 -0
- package/lib/swipl/library/ext/RDF/rewrite_term.pl +177 -0
- package/lib/swipl/library/ext/chr/chr/a_star.pl +80 -0
- package/lib/swipl/library/ext/chr/chr/binomialheap.pl +142 -0
- package/lib/swipl/library/ext/chr/chr/builtins.pl +629 -0
- package/lib/swipl/library/ext/chr/chr/chr_compiler_errors.pl +179 -0
- package/lib/swipl/library/ext/chr/chr/chr_compiler_options.pl +382 -0
- package/lib/swipl/library/ext/chr/chr/chr_compiler_utility.pl +338 -0
- package/lib/swipl/library/ext/chr/chr/chr_debug.pl +59 -0
- package/lib/swipl/library/ext/chr/chr/chr_hashtable_store.pl +425 -0
- package/lib/swipl/library/ext/chr/chr/chr_integertable_store.pl +139 -0
- package/lib/swipl/library/ext/chr/chr/chr_messages.pl +176 -0
- package/lib/swipl/library/ext/chr/chr/chr_op.pl +53 -0
- package/lib/swipl/library/ext/chr/chr/chr_runtime.pl +1016 -0
- package/lib/swipl/library/ext/chr/chr/chr_translate.pl +25424 -0
- package/lib/swipl/library/ext/chr/chr/clean_code.pl +252 -0
- package/lib/swipl/library/ext/chr/chr/find.pl +78 -0
- package/lib/swipl/library/ext/chr/chr/guard_entailment.pl +19432 -0
- package/lib/swipl/library/ext/chr/chr/listmap.pl +108 -0
- package/lib/swipl/library/ext/chr/chr/pairlist.pl +78 -0
- package/lib/swipl/library/ext/chr/chr.pl +686 -0
- package/lib/swipl/library/ext/clib/INDEX.pl +158 -0
- package/lib/swipl/library/ext/clib/cgi.pl +86 -0
- package/lib/swipl/library/ext/clib/crypt.pl +44 -0
- package/lib/swipl/library/ext/clib/filesex.pl +644 -0
- package/lib/swipl/library/ext/clib/hash_stream.pl +119 -0
- package/lib/swipl/library/ext/clib/mallocinfo.pl +138 -0
- package/lib/swipl/library/ext/clib/md5.pl +68 -0
- package/lib/swipl/library/ext/clib/memfile.pl +61 -0
- package/lib/swipl/library/ext/clib/process.pl +573 -0
- package/lib/swipl/library/ext/clib/prolog_server.pl +157 -0
- package/lib/swipl/library/ext/clib/prolog_stream.pl +80 -0
- package/lib/swipl/library/ext/clib/rlimit.pl +54 -0
- package/lib/swipl/library/ext/clib/sched.pl +85 -0
- package/lib/swipl/library/ext/clib/sha.pl +162 -0
- package/lib/swipl/library/ext/clib/socket.pl +1102 -0
- package/lib/swipl/library/ext/clib/streaminfo.pl +103 -0
- package/lib/swipl/library/ext/clib/streampool.pl +136 -0
- package/lib/swipl/library/ext/clib/syslog.pl +180 -0
- package/lib/swipl/library/ext/clib/time.pl +194 -0
- package/lib/swipl/library/ext/clib/udp_broadcast.pl +975 -0
- package/lib/swipl/library/ext/clib/uid.pl +220 -0
- package/lib/swipl/library/ext/clib/unix.pl +317 -0
- package/lib/swipl/library/ext/clib/uri.pl +530 -0
- package/lib/swipl/library/ext/clib/uuid.pl +207 -0
- package/lib/swipl/library/ext/http/http/INDEX.pl +266 -0
- package/lib/swipl/library/ext/http/http/README.md +34 -0
- package/lib/swipl/library/ext/http/http/ax.pl +189 -0
- package/lib/swipl/library/ext/http/http/dcg_basics.pl +49 -0
- package/lib/swipl/library/ext/http/http/graphql.pl +1367 -0
- package/lib/swipl/library/ext/http/http/html_decl.pl +416 -0
- package/lib/swipl/library/ext/http/http/html_head.pl +654 -0
- package/lib/swipl/library/ext/http/http/html_quasiquotations.pl +120 -0
- package/lib/swipl/library/ext/http/http/html_write.pl +1425 -0
- package/lib/swipl/library/ext/http/http/htmx.pl +139 -0
- package/lib/swipl/library/ext/http/http/http_authenticate.pl +364 -0
- package/lib/swipl/library/ext/http/http/http_client.pl +412 -0
- package/lib/swipl/library/ext/http/http/http_cookie.pl +245 -0
- package/lib/swipl/library/ext/http/http/http_cors.pl +176 -0
- package/lib/swipl/library/ext/http/http/http_digest.pl +820 -0
- package/lib/swipl/library/ext/http/http/http_dirindex.pl +296 -0
- package/lib/swipl/library/ext/http/http/http_dispatch.pl +1552 -0
- package/lib/swipl/library/ext/http/http/http_dyn_workers.pl +214 -0
- package/lib/swipl/library/ext/http/http/http_error.pl +126 -0
- package/lib/swipl/library/ext/http/http/http_exception.pl +225 -0
- package/lib/swipl/library/ext/http/http/http_files.pl +163 -0
- package/lib/swipl/library/ext/http/http/http_header.pl +2820 -0
- package/lib/swipl/library/ext/http/http/http_hook.pl +106 -0
- package/lib/swipl/library/ext/http/http/http_host.pl +204 -0
- package/lib/swipl/library/ext/http/http/http_load.pl +113 -0
- package/lib/swipl/library/ext/http/http/http_log.pl +738 -0
- package/lib/swipl/library/ext/http/http/http_multipart_plugin.pl +232 -0
- package/lib/swipl/library/ext/http/http/http_open.pl +1821 -0
- package/lib/swipl/library/ext/http/http/http_openid.pl +1561 -0
- package/lib/swipl/library/ext/http/http/http_parameters.pl +504 -0
- package/lib/swipl/library/ext/http/http/http_path.pl +380 -0
- package/lib/swipl/library/ext/http/http/http_proxy.pl +80 -0
- package/lib/swipl/library/ext/http/http/http_pwp.pl +351 -0
- package/lib/swipl/library/ext/http/http/http_redis_plugin.pl +332 -0
- package/lib/swipl/library/ext/http/http/http_server.pl +105 -0
- package/lib/swipl/library/ext/http/http/http_server_files.pl +126 -0
- package/lib/swipl/library/ext/http/http/http_server_health.pl +186 -0
- package/lib/swipl/library/ext/http/http/http_session.pl +1040 -0
- package/lib/swipl/library/ext/http/http/http_sgml_plugin.pl +137 -0
- package/lib/swipl/library/ext/http/http/http_stream.pl +376 -0
- package/lib/swipl/library/ext/http/http/http_unix_daemon.pl +989 -0
- package/lib/swipl/library/ext/http/http/http_wrapper.pl +559 -0
- package/lib/swipl/library/ext/http/http/hub.pl +600 -0
- package/lib/swipl/library/ext/http/http/js_write.pl +461 -0
- package/lib/swipl/library/ext/http/http/mimepack.pl +224 -0
- package/lib/swipl/library/ext/http/http/mimetype.pl +276 -0
- package/lib/swipl/library/ext/http/http/term_html.pl +797 -0
- package/lib/swipl/library/ext/http/http/thread_httpd.pl +1181 -0
- package/lib/swipl/library/ext/http/http/web/css/dirindex.css +24 -0
- package/lib/swipl/library/ext/http/http/web/css/openid.css +57 -0
- package/lib/swipl/library/ext/http/http/web/icons/back.png +0 -0
- package/lib/swipl/library/ext/http/http/web/icons/c.png +0 -0
- package/lib/swipl/library/ext/http/http/web/icons/compressed.png +0 -0
- package/lib/swipl/library/ext/http/http/web/icons/folder.png +0 -0
- package/lib/swipl/library/ext/http/http/web/icons/generic.png +0 -0
- package/lib/swipl/library/ext/http/http/web/icons/layout.png +0 -0
- package/lib/swipl/library/ext/http/http/web/icons/openid-logo-square.png +0 -0
- package/lib/swipl/library/ext/http/http/web/icons/openid-logo-tiny.png +0 -0
- package/lib/swipl/library/ext/http/http/websocket.pl +729 -0
- package/lib/swipl/library/ext/http/http/yadis.pl +205 -0
- package/lib/swipl/library/ext/json/INDEX.pl +36 -0
- package/lib/swipl/library/ext/json/http/INDEX.pl +16 -0
- package/lib/swipl/library/ext/json/http/http_json.pl +490 -0
- package/lib/swipl/library/ext/json/http/js_grammar.pl +53 -0
- package/lib/swipl/library/ext/json/http/json.pl +48 -0
- package/lib/swipl/library/ext/json/http/json_convert.pl +48 -0
- package/lib/swipl/library/ext/json/json.pl +1215 -0
- package/lib/swipl/library/ext/json/json_convert.pl +681 -0
- package/lib/swipl/library/ext/json/json_grammar.pl +349 -0
- package/lib/swipl/library/ext/json/json_rpc_client.pl +423 -0
- package/lib/swipl/library/ext/json/json_rpc_common.pl +104 -0
- package/lib/swipl/library/ext/json/json_rpc_server.pl +489 -0
- package/lib/swipl/library/ext/json/json_schema.pl +2111 -0
- package/lib/swipl/library/ext/nlp/INDEX.pl +15 -0
- package/lib/swipl/library/ext/nlp/double_metaphone.pl +86 -0
- package/lib/swipl/library/ext/nlp/isub.pl +162 -0
- package/lib/swipl/library/ext/nlp/porter_stem.pl +50 -0
- package/lib/swipl/library/ext/nlp/snowball.pl +97 -0
- package/lib/swipl/library/ext/pcre/INDEX.pl +17 -0
- package/lib/swipl/library/ext/pcre/pcre.pl +974 -0
- package/lib/swipl/library/ext/plunit/INDEX.pl +20 -0
- package/lib/swipl/library/ext/plunit/plunit.pl +2631 -0
- package/lib/swipl/library/ext/plunit/test_wizard.pl +249 -0
- package/lib/swipl/library/ext/semweb/semweb/INDEX.pl +288 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf11.pl +2106 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf11_containers.pl +299 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_cache.pl +278 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_compare.pl +132 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_db.pl +3468 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_edit.pl +1145 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_http_plugin.pl +274 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_library.pl +1021 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_litindex.pl +1035 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_ntriples.pl +422 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_persistency.pl +1576 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_portray.pl +182 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_prefixes.pl +681 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_sandbox.pl +153 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_turtle.pl +54 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_turtle_write.pl +1587 -0
- package/lib/swipl/library/ext/semweb/semweb/rdf_zlib_plugin.pl +52 -0
- package/lib/swipl/library/ext/semweb/semweb/rdfa.pl +1510 -0
- package/lib/swipl/library/ext/semweb/semweb/rdfs.pl +475 -0
- package/lib/swipl/library/ext/semweb/semweb/sparql_client.pl +643 -0
- package/lib/swipl/library/ext/semweb/semweb/turtle.pl +455 -0
- package/lib/swipl/library/ext/sgml/DTD/HTML4.dcl +88 -0
- package/lib/swipl/library/ext/sgml/DTD/HTML4.dtd +1092 -0
- package/lib/swipl/library/ext/sgml/DTD/HTML4.soc +6 -0
- package/lib/swipl/library/ext/sgml/DTD/HTML5.dtd +906 -0
- package/lib/swipl/library/ext/sgml/DTD/HTMLlat1.ent +195 -0
- package/lib/swipl/library/ext/sgml/DTD/HTMLspec.ent +77 -0
- package/lib/swipl/library/ext/sgml/DTD/HTMLsym.ent +241 -0
- package/lib/swipl/library/ext/sgml/INDEX.pl +64 -0
- package/lib/swipl/library/ext/sgml/c14n2.pl +203 -0
- package/lib/swipl/library/ext/sgml/iso_639.pl +631 -0
- package/lib/swipl/library/ext/sgml/pwp.pl +705 -0
- package/lib/swipl/library/ext/sgml/sgml.pl +815 -0
- package/lib/swipl/library/ext/sgml/sgml_write.pl +1003 -0
- package/lib/swipl/library/ext/sgml/xpath.pl +620 -0
- package/lib/swipl/library/ext/sgml/xsdp_types.pl +232 -0
- package/lib/swipl/library/ext/ssl/INDEX.pl +60 -0
- package/lib/swipl/library/ext/ssl/crypto.pl +1015 -0
- package/lib/swipl/library/ext/ssl/http/INDEX.pl +5 -0
- package/lib/swipl/library/ext/ssl/http/http_ssl_plugin.pl +296 -0
- package/lib/swipl/library/ext/ssl/saml.pl +609 -0
- package/lib/swipl/library/ext/ssl/ssl.pl +647 -0
- package/lib/swipl/library/ext/ssl/xmldsig.pl +391 -0
- package/lib/swipl/library/ext/ssl/xmlenc.pl +354 -0
- package/lib/swipl/library/ext/zlib/INDEX.pl +8 -0
- package/lib/swipl/library/ext/zlib/zlib.pl +112 -0
- package/lib/swipl/library/fastrw.pl +105 -0
- package/lib/swipl/library/files.pl +80 -0
- package/lib/swipl/library/gensym.pl +111 -0
- package/lib/swipl/library/git.pl +1027 -0
- package/lib/swipl/library/hashtable.pl +365 -0
- package/lib/swipl/library/heaps.pl +252 -0
- package/lib/swipl/library/hotfix.pl +239 -0
- package/lib/swipl/library/http/jquery.pl +103 -0
- package/lib/swipl/library/http/web/js/jquery-3.6.0.min.js +2 -0
- package/lib/swipl/library/increval.pl +217 -0
- package/lib/swipl/library/intercept.pl +263 -0
- package/lib/swipl/library/iostream.pl +237 -0
- package/lib/swipl/library/iri_scheme/file.pl +70 -0
- package/lib/swipl/library/lazy_lists.pl +481 -0
- package/lib/swipl/library/listing.pl +1362 -0
- package/lib/swipl/library/lists.pl +860 -0
- package/lib/swipl/library/lynx/INDEX.pl +14 -0
- package/lib/swipl/library/lynx/format.pl +380 -0
- package/lib/swipl/library/lynx/html_style.pl +129 -0
- package/lib/swipl/library/lynx/html_text.pl +865 -0
- package/lib/swipl/library/lynx/pldoc_style.pl +87 -0
- package/lib/swipl/library/macros.pl +451 -0
- package/lib/swipl/library/main.pl +1200 -0
- package/lib/swipl/library/make.pl +197 -0
- package/lib/swipl/library/modules.pl +129 -0
- package/lib/swipl/library/nb_rbtrees.pl +267 -0
- package/lib/swipl/library/nb_set.pl +203 -0
- package/lib/swipl/library/obfuscate.pl +115 -0
- package/lib/swipl/library/occurs.pl +241 -0
- package/lib/swipl/library/operators.pl +182 -0
- package/lib/swipl/library/option.pl +388 -0
- package/lib/swipl/library/optparse.pl +966 -0
- package/lib/swipl/library/ordsets.pl +518 -0
- package/lib/swipl/library/oset.pl +160 -0
- package/lib/swipl/library/pairs.pl +187 -0
- package/lib/swipl/library/persistency.pl +713 -0
- package/lib/swipl/library/pio.pl +47 -0
- package/lib/swipl/library/portray_text.pl +277 -0
- package/lib/swipl/library/pprint.pl +940 -0
- package/lib/swipl/library/predicate_options.pl +975 -0
- package/lib/swipl/library/prolog_autoload.pl +233 -0
- package/lib/swipl/library/prolog_breakpoints.pl +396 -0
- package/lib/swipl/library/prolog_clause.pl +1104 -0
- package/lib/swipl/library/prolog_code.pl +416 -0
- package/lib/swipl/library/prolog_codewalk.pl +1248 -0
- package/lib/swipl/library/prolog_colour.pl +3301 -0
- package/lib/swipl/library/prolog_colour.qlf +0 -0
- package/lib/swipl/library/prolog_config.pl +154 -0
- package/lib/swipl/library/prolog_coverage.pl +1333 -0
- package/lib/swipl/library/prolog_debug.pl +404 -0
- package/lib/swipl/library/prolog_deps.pl +675 -0
- package/lib/swipl/library/prolog_evaluable.pl +234 -0
- package/lib/swipl/library/prolog_format.pl +219 -0
- package/lib/swipl/library/prolog_history.pl +161 -0
- package/lib/swipl/library/prolog_jiti.pl +333 -0
- package/lib/swipl/library/prolog_locale.pl +61 -0
- package/lib/swipl/library/prolog_metainference.pl +307 -0
- package/lib/swipl/library/prolog_pack.pl +3906 -0
- package/lib/swipl/library/prolog_profile.pl +346 -0
- package/lib/swipl/library/prolog_qlfmake.pl +533 -0
- package/lib/swipl/library/prolog_source.pl +1188 -0
- package/lib/swipl/library/prolog_stack.pl +794 -0
- package/lib/swipl/library/prolog_trace.pl +365 -0
- package/lib/swipl/library/prolog_versions.pl +347 -0
- package/lib/swipl/library/prolog_wrap.pl +164 -0
- package/lib/swipl/library/prolog_xref.pl +3090 -0
- package/lib/swipl/library/prolog_xref.qlf +0 -0
- package/lib/swipl/library/pure_input.pl +266 -0
- package/lib/swipl/library/qpforeign.pl +695 -0
- package/lib/swipl/library/qsave.pl +1516 -0
- package/lib/swipl/library/quasi_quotations.pl +300 -0
- package/lib/swipl/library/quintus.pl +437 -0
- package/lib/swipl/library/random.pl +459 -0
- package/lib/swipl/library/rbtrees.pl +1153 -0
- package/lib/swipl/library/readln.pl +256 -0
- package/lib/swipl/library/readutil.pl +304 -0
- package/lib/swipl/library/record.pl +544 -0
- package/lib/swipl/library/rwlocks.pl +172 -0
- package/lib/swipl/library/sandbox.pl +1384 -0
- package/lib/swipl/library/semweb/dc.rdfs +198 -0
- package/lib/swipl/library/semweb/eor.rdfs +95 -0
- package/lib/swipl/library/semweb/owl.owl +287 -0
- package/lib/swipl/library/semweb/rdf_library.ttl +90 -0
- package/lib/swipl/library/semweb/rdfs.rdfs +251 -0
- package/lib/swipl/library/settings.pl +755 -0
- package/lib/swipl/library/shell.pl +462 -0
- package/lib/swipl/library/shlib.pl +670 -0
- package/lib/swipl/library/solution_sequences.pl +439 -0
- package/lib/swipl/library/sort.pl +119 -0
- package/lib/swipl/library/statistics.pl +541 -0
- package/lib/swipl/library/streams.pl +118 -0
- package/lib/swipl/library/strings.pl +469 -0
- package/lib/swipl/library/system.pl +95 -0
- package/lib/swipl/library/tables.pl +381 -0
- package/lib/swipl/library/tableutil.pl +771 -0
- package/lib/swipl/library/tabling.pl +42 -0
- package/lib/swipl/library/terms.pl +457 -0
- package/lib/swipl/library/theme/auto.pl +61 -0
- package/lib/swipl/library/theme/dark.pl +455 -0
- package/lib/swipl/library/theme/light.pl +45 -0
- package/lib/swipl/library/thread.pl +810 -0
- package/lib/swipl/library/thread_pool.pl +508 -0
- package/lib/swipl/library/threadutil.pl +574 -0
- package/lib/swipl/library/tty.pl +316 -0
- package/lib/swipl/library/ugraphs.pl +644 -0
- package/lib/swipl/library/unicode/INDEX.pl +6 -0
- package/lib/swipl/library/unicode/blocks.pl +414 -0
- package/lib/swipl/library/url.pl +1129 -0
- package/lib/swipl/library/utf8.pl +145 -0
- package/lib/swipl/library/varnumbers.pl +221 -0
- package/lib/swipl/library/vm.pl +251 -0
- package/lib/swipl/library/wfs.pl +205 -0
- package/lib/swipl/library/when.pl +263 -0
- package/lib/swipl/library/writef.pl +278 -0
- package/lib/swipl/library/www_browser.pl +251 -0
- package/lib/swipl/library/yall.pl +574 -0
- package/lib/swipl/library/zip.pl +211 -0
- package/lib/swipl/swipl.home +1 -0
- package/lib/vendor/libcrypto.so.3 +0 -0
- package/lib/vendor/libpcre2-8.so.0 +0 -0
- package/lib/vendor/libssl.so.3 +0 -0
- package/lib/vendor/libz.so.1 +0 -0
- package/licenses/OpenSSL-LICENSE.txt +177 -0
- package/licenses/PCRE2-COPYING +5 -0
- package/licenses/README.md +12 -0
- package/licenses/SWI-Prolog-LICENSE +41 -0
- package/licenses/zlib-LICENSE +22 -0
- 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""" .
|