eye (1:11.23.4-1)
2 versions available in kali/kali-last-snapshot/main/i386
Details
Core information at a glance
- Distribution
- kali
- Origin
- kali-last-snapshot
- Repository
- https://http.kali.org/kali
- Codename
- kali-last-snapshot
- Component
- main
- Source
- none
- Architecture
- i386
- Section
- science
- Priority
- optional
- Maintainer
- Jonas Smedegaard <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 65 kB
- Size expected
- 2.7 MB
- Size actual
- 2.7 MB
- Size match
Suggested packages
Recommended additional packages
- None
Description
semantic web reasoning engine
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 9ca73eec…bf226ad4 | |
| SHA-1 | c5fc81bc…cb0653a5 | |
| SHA-256 | 5a6a38c8…6e0416a8 | |
| SHA-512 | 22bec596…9cea1607 |
Contents
Files and directories included
. usr usr/bin usr/bin/eye usr/share usr/share/doc usr/share/doc/eye usr/share/doc/eye/NEWS.Debian.gz usr/share/doc/eye/README.Debian usr/share/doc/eye/README.html usr/share/doc/eye/README.txt usr/share/doc/eye/TODO.Debian usr/share/doc/eye/blogic.html usr/share/doc/eye/blogic.txt usr/share/doc/eye/changelog.Debian.gz usr/share/doc/eye/changelog.gz usr/share/doc/eye/command_line.html usr/share/doc/eye/command_line.txt.gz usr/share/doc/eye/copyright usr/share/doc/eye/examples usr/share/doc/eye/examples/reasoning usr/share/doc/eye/examples/reasoning/3outof5 usr/share/doc/eye/examples/reasoning/3outof5/README usr/share/doc/eye/examples/reasoning/3outof5/answer.n3 usr/share/doc/eye/examples/reasoning/3outof5/proof.n3 usr/share/doc/eye/examples/reasoning/3outof5/query.n3 usr/share/doc/eye/examples/reasoning/3outof5/sample.n3 usr/share/doc/eye/examples/reasoning/3outof5/test usr/share/doc/eye/examples/reasoning/4color usr/share/doc/eye/examples/reasoning/4color/4color_answer.n3 usr/share/doc/eye/examples/reasoning/4color/4color_data.n3 usr/share/doc/eye/examples/reasoning/4color/4color_proof.n3 usr/share/doc/eye/examples/reasoning/4color/4color_query.n3 usr/share/doc/eye/examples/reasoning/4color/4color_rules.n3 usr/share/doc/eye/examples/reasoning/4color/README usr/share/doc/eye/examples/reasoning/4color/test usr/share/doc/eye/examples/reasoning/4number usr/share/doc/eye/examples/reasoning/4number/4number-answer.n3 usr/share/doc/eye/examples/reasoning/4number/4number-proof.n3 usr/share/doc/eye/examples/reasoning/4number/4number-query.n3 usr/share/doc/eye/examples/reasoning/4number/4number.n3 usr/share/doc/eye/examples/reasoning/4number/README usr/share/doc/eye/examples/reasoning/4number/test usr/share/doc/eye/examples/reasoning/README usr/share/doc/eye/examples/reasoning/access-control-policy usr/share/doc/eye/examples/reasoning/access-control-policy/README usr/share/doc/eye/examples/reasoning/access-control-policy/acp-answer.n3 usr/share/doc/eye/examples/reasoning/access-control-policy/acp-proof.n3 usr/share/doc/eye/examples/reasoning/access-control-policy/acp-query.n3 usr/share/doc/eye/examples/reasoning/access-control-policy/acp.n3 usr/share/doc/eye/examples/reasoning/access-control-policy/test usr/share/doc/eye/examples/reasoning/ackermann usr/share/doc/eye/examples/reasoning/ackermann/README usr/share/doc/eye/examples/reasoning/ackermann/ackermann-answer.n3 usr/share/doc/eye/examples/reasoning/ackermann/ackermann-proof.n3 usr/share/doc/eye/examples/reasoning/ackermann/ackermann-query.n3 usr/share/doc/eye/examples/reasoning/ackermann/ackermann.n3 usr/share/doc/eye/examples/reasoning/ackermann/test usr/share/doc/eye/examples/reasoning/age usr/share/doc/eye/examples/reasoning/age/README usr/share/doc/eye/examples/reasoning/age/age-answer.n3 usr/share/doc/eye/examples/reasoning/age/age-proof.n3 usr/share/doc/eye/examples/reasoning/age/age-query.n3 usr/share/doc/eye/examples/reasoning/age/age.n3 usr/share/doc/eye/examples/reasoning/age/test usr/share/doc/eye/examples/reasoning/allen usr/share/doc/eye/examples/reasoning/allen/README usr/share/doc/eye/examples/reasoning/allen/allen.n3 usr/share/doc/eye/examples/reasoning/allen/answer.n3 usr/share/doc/eye/examples/reasoning/allen/eventTime_rules.n3 usr/share/doc/eye/examples/reasoning/allen/logic.n3 usr/share/doc/eye/examples/reasoning/allen/population.n3 usr/share/doc/eye/examples/reasoning/allen/query.n3 usr/share/doc/eye/examples/reasoning/allen/test usr/share/doc/eye/examples/reasoning/allen/token.n3 usr/share/doc/eye/examples/reasoning/allen/try.n3 usr/share/doc/eye/examples/reasoning/arcus usr/share/doc/eye/examples/reasoning/arcus/3outof5 usr/share/doc/eye/examples/reasoning/arcus/3outof5/3outof5-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/3outof5/3outof5-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/3outof5/3outof5.ttl usr/share/doc/eye/examples/reasoning/arcus/3outof5/README.md usr/share/doc/eye/examples/reasoning/arcus/3outof5/test usr/share/doc/eye/examples/reasoning/arcus/4color usr/share/doc/eye/examples/reasoning/arcus/4color/4color-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/4color/4color-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/4color/4color.ttl usr/share/doc/eye/examples/reasoning/arcus/4color/README.md usr/share/doc/eye/examples/reasoning/arcus/4color/test usr/share/doc/eye/examples/reasoning/arcus/README.md usr/share/doc/eye/examples/reasoning/arcus/access-control-policy usr/share/doc/eye/examples/reasoning/arcus/access-control-policy/README.md usr/share/doc/eye/examples/reasoning/arcus/access-control-policy/access-control-policy-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/access-control-policy/access-control-policy-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/access-control-policy/access-control-policy.ttl usr/share/doc/eye/examples/reasoning/arcus/access-control-policy/test usr/share/doc/eye/examples/reasoning/arcus/ackermann usr/share/doc/eye/examples/reasoning/arcus/ackermann/README.md usr/share/doc/eye/examples/reasoning/arcus/ackermann/ackermann-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/ackermann/ackermann-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/ackermann/ackermann.ttl usr/share/doc/eye/examples/reasoning/arcus/ackermann/test usr/share/doc/eye/examples/reasoning/arcus/age usr/share/doc/eye/examples/reasoning/arcus/age/README.md usr/share/doc/eye/examples/reasoning/arcus/age/age-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/age/age-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/age/age.ttl usr/share/doc/eye/examples/reasoning/arcus/age/test usr/share/doc/eye/examples/reasoning/arcus/backward usr/share/doc/eye/examples/reasoning/arcus/backward/README.md usr/share/doc/eye/examples/reasoning/arcus/backward/backward-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/backward/backward-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/backward/backward.ttl usr/share/doc/eye/examples/reasoning/arcus/backward/test usr/share/doc/eye/examples/reasoning/arcus/basic-monadic usr/share/doc/eye/examples/reasoning/arcus/basic-monadic/1tt1.ttl usr/share/doc/eye/examples/reasoning/arcus/basic-monadic/1tt10.ttl usr/share/doc/eye/examples/reasoning/arcus/basic-monadic/1tt2.ttl usr/share/doc/eye/examples/reasoning/arcus/basic-monadic/1tt3.ttl usr/share/doc/eye/examples/reasoning/arcus/basic-monadic/1tt4.ttl usr/share/doc/eye/examples/reasoning/arcus/basic-monadic/1tt5.ttl usr/share/doc/eye/examples/reasoning/arcus/basic-monadic/1tt6.ttl usr/share/doc/eye/examples/reasoning/arcus/basic-monadic/1tt7.ttl usr/share/doc/eye/examples/reasoning/arcus/basic-monadic/1tt8.ttl usr/share/doc/eye/examples/reasoning/arcus/basic-monadic/1tt9.ttl usr/share/doc/eye/examples/reasoning/arcus/basic-monadic/README.md usr/share/doc/eye/examples/reasoning/arcus/basic-monadic/basic-monadic-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/basic-monadic/basic-monadic-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/basic-monadic/basic-monadic.ttl usr/share/doc/eye/examples/reasoning/arcus/basic-monadic/test usr/share/doc/eye/examples/reasoning/arcus/beetle usr/share/doc/eye/examples/reasoning/arcus/beetle/README.md usr/share/doc/eye/examples/reasoning/arcus/beetle/beetle-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/beetle/beetle-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/beetle/beetle.ttl usr/share/doc/eye/examples/reasoning/arcus/beetle/test usr/share/doc/eye/examples/reasoning/arcus/beetle12 usr/share/doc/eye/examples/reasoning/arcus/beetle12/README.md usr/share/doc/eye/examples/reasoning/arcus/beetle12/beetle12-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/beetle12/beetle12-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/beetle12/beetle12.ttl usr/share/doc/eye/examples/reasoning/arcus/beetle12/test usr/share/doc/eye/examples/reasoning/arcus/beetle6 usr/share/doc/eye/examples/reasoning/arcus/beetle6/README.md usr/share/doc/eye/examples/reasoning/arcus/beetle6/beetle6-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/beetle6/beetle6-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/beetle6/beetle6.ttl usr/share/doc/eye/examples/reasoning/arcus/beetle6/test usr/share/doc/eye/examples/reasoning/arcus/cardinality usr/share/doc/eye/examples/reasoning/arcus/cardinality/README.md usr/share/doc/eye/examples/reasoning/arcus/cardinality/cardinality-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/cardinality/cardinality-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/cardinality/cardinality.ttl usr/share/doc/eye/examples/reasoning/arcus/cardinality/test usr/share/doc/eye/examples/reasoning/arcus/collatz usr/share/doc/eye/examples/reasoning/arcus/collatz/README.md usr/share/doc/eye/examples/reasoning/arcus/collatz/collatz-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/collatz/collatz-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/collatz/collatz.ttl usr/share/doc/eye/examples/reasoning/arcus/collatz/test usr/share/doc/eye/examples/reasoning/arcus/combinatorics usr/share/doc/eye/examples/reasoning/arcus/combinatorics/README.md usr/share/doc/eye/examples/reasoning/arcus/combinatorics/combinatorics-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/combinatorics/combinatorics-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/combinatorics/combinatorics.ttl usr/share/doc/eye/examples/reasoning/arcus/combinatorics/test usr/share/doc/eye/examples/reasoning/arcus/complex usr/share/doc/eye/examples/reasoning/arcus/complex/README.md usr/share/doc/eye/examples/reasoning/arcus/complex/complex-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/complex/complex-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/complex/complex.ttl usr/share/doc/eye/examples/reasoning/arcus/complex/test usr/share/doc/eye/examples/reasoning/arcus/control-system usr/share/doc/eye/examples/reasoning/arcus/control-system/README.md usr/share/doc/eye/examples/reasoning/arcus/control-system/control-system-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/control-system/control-system-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/control-system/control-system.ttl usr/share/doc/eye/examples/reasoning/arcus/control-system/test usr/share/doc/eye/examples/reasoning/arcus/crypto usr/share/doc/eye/examples/reasoning/arcus/crypto/README.md usr/share/doc/eye/examples/reasoning/arcus/crypto/crypto-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/crypto/crypto-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/crypto/crypto.ttl usr/share/doc/eye/examples/reasoning/arcus/crypto/test usr/share/doc/eye/examples/reasoning/arcus/deep-taxonomy usr/share/doc/eye/examples/reasoning/arcus/deep-taxonomy/README.md usr/share/doc/eye/examples/reasoning/arcus/deep-taxonomy/deep-taxonomy-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/deep-taxonomy/deep-taxonomy-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/deep-taxonomy/deep-taxonomy.ttl usr/share/doc/eye/examples/reasoning/arcus/deep-taxonomy/test usr/share/doc/eye/examples/reasoning/arcus/defeasable-logic usr/share/doc/eye/examples/reasoning/arcus/defeasable-logic/README.md usr/share/doc/eye/examples/reasoning/arcus/defeasable-logic/defeasable-logic-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/defeasable-logic/defeasable-logic-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/defeasable-logic/defeasable-logic.ttl usr/share/doc/eye/examples/reasoning/arcus/defeasable-logic/test usr/share/doc/eye/examples/reasoning/arcus/derived-rule usr/share/doc/eye/examples/reasoning/arcus/derived-rule/README.md usr/share/doc/eye/examples/reasoning/arcus/derived-rule/derived-rule-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/derived-rule/derived-rule-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/derived-rule/derived-rule.ttl usr/share/doc/eye/examples/reasoning/arcus/derived-rule/test usr/share/doc/eye/examples/reasoning/arcus/diamond-property usr/share/doc/eye/examples/reasoning/arcus/diamond-property/README.md usr/share/doc/eye/examples/reasoning/arcus/diamond-property/diamond-property-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/diamond-property/diamond-property-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/diamond-property/diamond-property.ttl usr/share/doc/eye/examples/reasoning/arcus/diamond-property/test usr/share/doc/eye/examples/reasoning/arcus/dijkstra usr/share/doc/eye/examples/reasoning/arcus/dijkstra/README.md usr/share/doc/eye/examples/reasoning/arcus/dijkstra/dijkstra-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/dijkstra/dijkstra-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/dijkstra/dijkstra.ttl usr/share/doc/eye/examples/reasoning/arcus/dijkstra/test usr/share/doc/eye/examples/reasoning/arcus/dog usr/share/doc/eye/examples/reasoning/arcus/dog/README.md usr/share/doc/eye/examples/reasoning/arcus/dog/dog-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/dog/dog-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/dog/dog.ttl usr/share/doc/eye/examples/reasoning/arcus/dog/test usr/share/doc/eye/examples/reasoning/arcus/easter usr/share/doc/eye/examples/reasoning/arcus/easter/README.md usr/share/doc/eye/examples/reasoning/arcus/easter/easter-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/easter/easter-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/easter/easter.ttl usr/share/doc/eye/examples/reasoning/arcus/easter/test usr/share/doc/eye/examples/reasoning/arcus/eulers-identity usr/share/doc/eye/examples/reasoning/arcus/eulers-identity/README.md usr/share/doc/eye/examples/reasoning/arcus/eulers-identity/eulers-identity-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/eulers-identity/eulers-identity-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/eulers-identity/eulers-identity.ttl usr/share/doc/eye/examples/reasoning/arcus/eulers-identity/test usr/share/doc/eye/examples/reasoning/arcus/fibonacci usr/share/doc/eye/examples/reasoning/arcus/fibonacci/README.md usr/share/doc/eye/examples/reasoning/arcus/fibonacci/fibonacci-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/fibonacci/fibonacci-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/fibonacci/fibonacci.ttl usr/share/doc/eye/examples/reasoning/arcus/fibonacci/test usr/share/doc/eye/examples/reasoning/arcus/fuse usr/share/doc/eye/examples/reasoning/arcus/fuse/README.md usr/share/doc/eye/examples/reasoning/arcus/fuse/fuse-output.err usr/share/doc/eye/examples/reasoning/arcus/fuse/fuse.ttl usr/share/doc/eye/examples/reasoning/arcus/fuse/test usr/share/doc/eye/examples/reasoning/arcus/good-cobbler usr/share/doc/eye/examples/reasoning/arcus/good-cobbler/README.md usr/share/doc/eye/examples/reasoning/arcus/good-cobbler/good-cobbler-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/good-cobbler/good-cobbler-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/good-cobbler/good-cobbler.ttl usr/share/doc/eye/examples/reasoning/arcus/good-cobbler/test usr/share/doc/eye/examples/reasoning/arcus/gps usr/share/doc/eye/examples/reasoning/arcus/gps/README.md usr/share/doc/eye/examples/reasoning/arcus/gps/gps-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/gps/gps-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/gps/gps-schema usr/share/doc/eye/examples/reasoning/arcus/gps/gps.ttl usr/share/doc/eye/examples/reasoning/arcus/gps/test usr/share/doc/eye/examples/reasoning/arcus/graph usr/share/doc/eye/examples/reasoning/arcus/graph/README.md usr/share/doc/eye/examples/reasoning/arcus/graph/graph-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/graph/graph-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/graph/graph.ttl usr/share/doc/eye/examples/reasoning/arcus/graph/test usr/share/doc/eye/examples/reasoning/arcus/gray-code-counter usr/share/doc/eye/examples/reasoning/arcus/gray-code-counter/README.md usr/share/doc/eye/examples/reasoning/arcus/gray-code-counter/gray-code-counter-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/gray-code-counter/gray-code-counter-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/gray-code-counter/gray-code-counter.ttl usr/share/doc/eye/examples/reasoning/arcus/gray-code-counter/test usr/share/doc/eye/examples/reasoning/arcus/hanoi usr/share/doc/eye/examples/reasoning/arcus/hanoi/README.md usr/share/doc/eye/examples/reasoning/arcus/hanoi/hanoi-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/hanoi/hanoi-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/hanoi/hanoi.ttl usr/share/doc/eye/examples/reasoning/arcus/hanoi/test usr/share/doc/eye/examples/reasoning/arcus/heisenberg usr/share/doc/eye/examples/reasoning/arcus/heisenberg/README.md usr/share/doc/eye/examples/reasoning/arcus/heisenberg/heisenberg-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/heisenberg/heisenberg-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/heisenberg/heisenberg.ttl usr/share/doc/eye/examples/reasoning/arcus/heisenberg/test usr/share/doc/eye/examples/reasoning/arcus/ldes usr/share/doc/eye/examples/reasoning/arcus/ldes/README.md usr/share/doc/eye/examples/reasoning/arcus/ldes/ldes-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/ldes/ldes-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/ldes/ldes.ttl usr/share/doc/eye/examples/reasoning/arcus/ldes/test usr/share/doc/eye/examples/reasoning/arcus/meta-interpretation usr/share/doc/eye/examples/reasoning/arcus/meta-interpretation/README.md usr/share/doc/eye/examples/reasoning/arcus/meta-interpretation/meta-interpretation-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/meta-interpretation/meta-interpretation-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/meta-interpretation/meta-interpretation.ttl usr/share/doc/eye/examples/reasoning/arcus/meta-interpretation/test usr/share/doc/eye/examples/reasoning/arcus/n-queens usr/share/doc/eye/examples/reasoning/arcus/n-queens/README.md usr/share/doc/eye/examples/reasoning/arcus/n-queens/n-queens-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/n-queens/n-queens-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/n-queens/n-queens.ttl usr/share/doc/eye/examples/reasoning/arcus/n-queens/test usr/share/doc/eye/examples/reasoning/arcus/path-discovery usr/share/doc/eye/examples/reasoning/arcus/path-discovery/README.md usr/share/doc/eye/examples/reasoning/arcus/path-discovery/path-discovery-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/path-discovery/path-discovery-data.ttl usr/share/doc/eye/examples/reasoning/arcus/path-discovery/path-discovery-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/path-discovery/path-discovery.ttl usr/share/doc/eye/examples/reasoning/arcus/path-discovery/test usr/share/doc/eye/examples/reasoning/arcus/peano usr/share/doc/eye/examples/reasoning/arcus/peano/README.md usr/share/doc/eye/examples/reasoning/arcus/peano/peano-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/peano/peano-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/peano/peano.ttl usr/share/doc/eye/examples/reasoning/arcus/peano/test usr/share/doc/eye/examples/reasoning/arcus/positive usr/share/doc/eye/examples/reasoning/arcus/positive/README.md usr/share/doc/eye/examples/reasoning/arcus/positive/positive-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/positive/positive-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/positive/positive.ttl usr/share/doc/eye/examples/reasoning/arcus/positive/test usr/share/doc/eye/examples/reasoning/arcus/prescription usr/share/doc/eye/examples/reasoning/arcus/prescription/README.md usr/share/doc/eye/examples/reasoning/arcus/prescription/prescription-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/prescription/prescription-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/prescription/prescription.ttl usr/share/doc/eye/examples/reasoning/arcus/prescription/test usr/share/doc/eye/examples/reasoning/arcus/pythagoras usr/share/doc/eye/examples/reasoning/arcus/pythagoras/README.md usr/share/doc/eye/examples/reasoning/arcus/pythagoras/pythagoras-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/pythagoras/pythagoras-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/pythagoras/pythagoras.ttl usr/share/doc/eye/examples/reasoning/arcus/pythagoras/test usr/share/doc/eye/examples/reasoning/arcus/query-generation usr/share/doc/eye/examples/reasoning/arcus/query-generation/README.md usr/share/doc/eye/examples/reasoning/arcus/query-generation/generated-query.ttl usr/share/doc/eye/examples/reasoning/arcus/query-generation/query-generation.ttl usr/share/doc/eye/examples/reasoning/arcus/query-generation/test usr/share/doc/eye/examples/reasoning/arcus/slide32 usr/share/doc/eye/examples/reasoning/arcus/slide32/README.md usr/share/doc/eye/examples/reasoning/arcus/slide32/slide32-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/slide32/slide32-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/slide32/slide32.ttl usr/share/doc/eye/examples/reasoning/arcus/slide32/test usr/share/doc/eye/examples/reasoning/arcus/slide33 usr/share/doc/eye/examples/reasoning/arcus/slide33/README.md usr/share/doc/eye/examples/reasoning/arcus/slide33/slide33-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/slide33/slide33-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/slide33/slide33.ttl usr/share/doc/eye/examples/reasoning/arcus/slide33/test usr/share/doc/eye/examples/reasoning/arcus/snaf usr/share/doc/eye/examples/reasoning/arcus/snaf/README.md usr/share/doc/eye/examples/reasoning/arcus/snaf/snaf-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/snaf/snaf-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/snaf/snaf.ttl usr/share/doc/eye/examples/reasoning/arcus/snaf/test usr/share/doc/eye/examples/reasoning/arcus/socrates usr/share/doc/eye/examples/reasoning/arcus/socrates/README.md usr/share/doc/eye/examples/reasoning/arcus/socrates/socrates-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/socrates/socrates-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/socrates/socrates.ttl usr/share/doc/eye/examples/reasoning/arcus/socrates/test usr/share/doc/eye/examples/reasoning/arcus/takeuchi usr/share/doc/eye/examples/reasoning/arcus/takeuchi/README.md usr/share/doc/eye/examples/reasoning/arcus/takeuchi/takeuchi-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/takeuchi/takeuchi-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/takeuchi/takeuchi.ttl usr/share/doc/eye/examples/reasoning/arcus/takeuchi/test usr/share/doc/eye/examples/reasoning/arcus/test usr/share/doc/eye/examples/reasoning/arcus/turing usr/share/doc/eye/examples/reasoning/arcus/turing/README.md usr/share/doc/eye/examples/reasoning/arcus/turing/test usr/share/doc/eye/examples/reasoning/arcus/turing/turing-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/turing/turing-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/turing/turing.ttl usr/share/doc/eye/examples/reasoning/arcus/universal usr/share/doc/eye/examples/reasoning/arcus/universal/README.md usr/share/doc/eye/examples/reasoning/arcus/universal/test usr/share/doc/eye/examples/reasoning/arcus/universal/universal-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/universal/universal-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/universal/universal.ttl usr/share/doc/eye/examples/reasoning/arcus/water usr/share/doc/eye/examples/reasoning/arcus/water/README.md usr/share/doc/eye/examples/reasoning/arcus/water/test usr/share/doc/eye/examples/reasoning/arcus/water/water-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/water/water-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/water/water.ttl usr/share/doc/eye/examples/reasoning/arcus/wet usr/share/doc/eye/examples/reasoning/arcus/wet/README.md usr/share/doc/eye/examples/reasoning/arcus/wet/test usr/share/doc/eye/examples/reasoning/arcus/wet/wet-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/wet/wet-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/wet/wet.ttl usr/share/doc/eye/examples/reasoning/arcus/wind-turbine usr/share/doc/eye/examples/reasoning/arcus/wind-turbine/README.md usr/share/doc/eye/examples/reasoning/arcus/wind-turbine/test usr/share/doc/eye/examples/reasoning/arcus/wind-turbine/wind-turbine-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/wind-turbine/wind-turbine-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/wind-turbine/wind-turbine.ttl usr/share/doc/eye/examples/reasoning/arcus/witch usr/share/doc/eye/examples/reasoning/arcus/witch/README.md usr/share/doc/eye/examples/reasoning/arcus/witch/test usr/share/doc/eye/examples/reasoning/arcus/witch/witch-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/witch/witch-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/witch/witch.ttl usr/share/doc/eye/examples/reasoning/arcus/zebra usr/share/doc/eye/examples/reasoning/arcus/zebra/README.md usr/share/doc/eye/examples/reasoning/arcus/zebra/test usr/share/doc/eye/examples/reasoning/arcus/zebra/zebra-answer.ttl usr/share/doc/eye/examples/reasoning/arcus/zebra/zebra-proof.ttl usr/share/doc/eye/examples/reasoning/arcus/zebra/zebra.ttl usr/share/doc/eye/examples/reasoning/arvol usr/share/doc/eye/examples/reasoning/arvol/README.md usr/share/doc/eye/examples/reasoning/arvol/input usr/share/doc/eye/examples/reasoning/arvol/input/access-control-policy.pl usr/share/doc/eye/examples/reasoning/arvol/input/ackermann.pl usr/share/doc/eye/examples/reasoning/arvol/input/age.pl usr/share/doc/eye/examples/reasoning/arvol/input/animal.pl usr/share/doc/eye/examples/reasoning/arvol/input/basic-monadic.pl usr/share/doc/eye/examples/reasoning/arvol/input/best-route.pl usr/share/doc/eye/examples/reasoning/arvol/input/collatz.pl usr/share/doc/eye/examples/reasoning/arvol/input/combinatorics.pl usr/share/doc/eye/examples/reasoning/arvol/input/complex.pl usr/share/doc/eye/examples/reasoning/arvol/input/conflict-resolution.pl usr/share/doc/eye/examples/reasoning/arvol/input/control-system.pl usr/share/doc/eye/examples/reasoning/arvol/input/curly.pl usr/share/doc/eye/examples/reasoning/arvol/input/d3-group.pl usr/share/doc/eye/examples/reasoning/arvol/input/data-negotiation.pl usr/share/doc/eye/examples/reasoning/arvol/input/deep-taxonomy.pl usr/share/doc/eye/examples/reasoning/arvol/input/deontic-logic.pl usr/share/doc/eye/examples/reasoning/arvol/input/derivative.pl usr/share/doc/eye/examples/reasoning/arvol/input/derived-rule.pl usr/share/doc/eye/examples/reasoning/arvol/input/dijkstra.pl usr/share/doc/eye/examples/reasoning/arvol/input/display-user-details.pl usr/share/doc/eye/examples/reasoning/arvol/input/dog.pl usr/share/doc/eye/examples/reasoning/arvol/input/easter.pl usr/share/doc/eye/examples/reasoning/arvol/input/enigma1225.pl usr/share/doc/eye/examples/reasoning/arvol/input/equation-solver.pl usr/share/doc/eye/examples/reasoning/arvol/input/eulerian-path.pl usr/share/doc/eye/examples/reasoning/arvol/input/eulers-identity.pl usr/share/doc/eye/examples/reasoning/arvol/input/evolutionary-algorithm.pl usr/share/doc/eye/examples/reasoning/arvol/input/fast-fourier-transform.pl usr/share/doc/eye/examples/reasoning/arvol/input/fibonacci.pl usr/share/doc/eye/examples/reasoning/arvol/input/flute-puzzle.pl usr/share/doc/eye/examples/reasoning/arvol/input/four-color.pl usr/share/doc/eye/examples/reasoning/arvol/input/fuse.pl usr/share/doc/eye/examples/reasoning/arvol/input/gdpr-compliance.pl usr/share/doc/eye/examples/reasoning/arvol/input/goldbach.pl usr/share/doc/eye/examples/reasoning/arvol/input/good-cobbler.pl usr/share/doc/eye/examples/reasoning/arvol/input/gps.pl usr/share/doc/eye/examples/reasoning/arvol/input/graph-reachability.pl usr/share/doc/eye/examples/reasoning/arvol/input/graph.pl usr/share/doc/eye/examples/reasoning/arvol/input/gray-code-counter.pl usr/share/doc/eye/examples/reasoning/arvol/input/hamiltonian-path.pl usr/share/doc/eye/examples/reasoning/arvol/input/hanoi.pl usr/share/doc/eye/examples/reasoning/arvol/input/healthcare-access-control.pl usr/share/doc/eye/examples/reasoning/arvol/input/intel-4004.pl usr/share/doc/eye/examples/reasoning/arvol/input/kaprekar.pl usr/share/doc/eye/examples/reasoning/arvol/input/lee.pl usr/share/doc/eye/examples/reasoning/arvol/input/matrix.pl usr/share/doc/eye/examples/reasoning/arvol/input/meta-interpretation.pl usr/share/doc/eye/examples/reasoning/arvol/input/monkey-bananas.pl usr/share/doc/eye/examples/reasoning/arvol/input/multi-agent.pl usr/share/doc/eye/examples/reasoning/arvol/input/n-queens.pl usr/share/doc/eye/examples/reasoning/arvol/input/newton-raphson.pl usr/share/doc/eye/examples/reasoning/arvol/input/padovan.pl usr/share/doc/eye/examples/reasoning/arvol/input/path-discovery.pl usr/share/doc/eye/examples/reasoning/arvol/input/path.pl usr/share/doc/eye/examples/reasoning/arvol/input/peano.pl usr/share/doc/eye/examples/reasoning/arvol/input/peasant.pl usr/share/doc/eye/examples/reasoning/arvol/input/pi.pl usr/share/doc/eye/examples/reasoning/arvol/input/polygon.pl usr/share/doc/eye/examples/reasoning/arvol/input/polynomial.pl usr/share/doc/eye/examples/reasoning/arvol/input/prime.pl usr/share/doc/eye/examples/reasoning/arvol/input/proposition-prover.pl usr/share/doc/eye/examples/reasoning/arvol/input/qiana.pl usr/share/doc/eye/examples/reasoning/arvol/input/quantum-darwinism.pl usr/share/doc/eye/examples/reasoning/arvol/input/quine-mccluskey.pl usr/share/doc/eye/examples/reasoning/arvol/input/sieve.pl usr/share/doc/eye/examples/reasoning/arvol/input/socrates.pl usr/share/doc/eye/examples/reasoning/arvol/input/superdense-coding.pl usr/share/doc/eye/examples/reasoning/arvol/input/takeuchi.pl usr/share/doc/eye/examples/reasoning/arvol/input/traveling-salesman.pl usr/share/doc/eye/examples/reasoning/arvol/input/turing.pl usr/share/doc/eye/examples/reasoning/arvol/input/universal.pl usr/share/doc/eye/examples/reasoning/arvol/input/wind-turbine.pl usr/share/doc/eye/examples/reasoning/arvol/input/wolf-goat-cabbage.pl usr/share/doc/eye/examples/reasoning/arvol/input/workplace.pl usr/share/doc/eye/examples/reasoning/arvol/input/zebra.pl usr/share/doc/eye/examples/reasoning/arvol/output usr/share/doc/eye/examples/reasoning/arvol/output/access-control-policy.pl usr/share/doc/eye/examples/reasoning/arvol/output/ackermann.pl usr/share/doc/eye/examples/reasoning/arvol/output/age.pl usr/share/doc/eye/examples/reasoning/arvol/output/animal.pl usr/share/doc/eye/examples/reasoning/arvol/output/basic-monadic.pl usr/share/doc/eye/examples/reasoning/arvol/output/best-route.pl usr/share/doc/eye/examples/reasoning/arvol/output/collatz.pl usr/share/doc/eye/examples/reasoning/arvol/output/combinatorics.pl usr/share/doc/eye/examples/reasoning/arvol/output/complex.pl usr/share/doc/eye/examples/reasoning/arvol/output/conflict-resolution.pl usr/share/doc/eye/examples/reasoning/arvol/output/control-system.pl usr/share/doc/eye/examples/reasoning/arvol/output/curly.pl usr/share/doc/eye/examples/reasoning/arvol/output/d3-group.pl usr/share/doc/eye/examples/reasoning/arvol/output/data-negotiation.pl usr/share/doc/eye/examples/reasoning/arvol/output/deep-taxonomy.pl usr/share/doc/eye/examples/reasoning/arvol/output/deontic-logic.pl usr/share/doc/eye/examples/reasoning/arvol/output/derivative.pl usr/share/doc/eye/examples/reasoning/arvol/output/derived-rule.pl usr/share/doc/eye/examples/reasoning/arvol/output/dijkstra.pl usr/share/doc/eye/examples/reasoning/arvol/output/display-user-details.pl usr/share/doc/eye/examples/reasoning/arvol/output/dog.pl usr/share/doc/eye/examples/reasoning/arvol/output/easter.pl usr/share/doc/eye/examples/reasoning/arvol/output/enigma1225.pl usr/share/doc/eye/examples/reasoning/arvol/output/equation-solver.pl usr/share/doc/eye/examples/reasoning/arvol/output/eulerian-path.pl usr/share/doc/eye/examples/reasoning/arvol/output/eulers-identity.pl usr/share/doc/eye/examples/reasoning/arvol/output/evolutionary-algorithm.pl usr/share/doc/eye/examples/reasoning/arvol/output/fast-fourier-transform.pl usr/share/doc/eye/examples/reasoning/arvol/output/fibonacci.pl usr/share/doc/eye/examples/reasoning/arvol/output/flute-puzzle.pl usr/share/doc/eye/examples/reasoning/arvol/output/four-color.pl usr/share/doc/eye/examples/reasoning/arvol/output/fuse.pl usr/share/doc/eye/examples/reasoning/arvol/output/gdpr-compliance.pl usr/share/doc/eye/examples/reasoning/arvol/output/goldbach.pl usr/share/doc/eye/examples/reasoning/arvol/output/good-cobbler.pl usr/share/doc/eye/examples/reasoning/arvol/output/gps.pl usr/share/doc/eye/examples/reasoning/arvol/output/graph-reachability.pl usr/share/doc/eye/examples/reasoning/arvol/output/graph.pl usr/share/doc/eye/examples/reasoning/arvol/output/gray-code-counter.pl usr/share/doc/eye/examples/reasoning/arvol/output/hamiltonian-path.pl usr/share/doc/eye/examples/reasoning/arvol/output/hanoi.pl usr/share/doc/eye/examples/reasoning/arvol/output/healthcare-access-control.pl usr/share/doc/eye/examples/reasoning/arvol/output/intel-4004.pl usr/share/doc/eye/examples/reasoning/arvol/output/kaprekar.pl usr/share/doc/eye/examples/reasoning/arvol/output/lee.pl usr/share/doc/eye/examples/reasoning/arvol/output/matrix.pl usr/share/doc/eye/examples/reasoning/arvol/output/meta-interpretation.pl usr/share/doc/eye/examples/reasoning/arvol/output/monkey-bananas.pl usr/share/doc/eye/examples/reasoning/arvol/output/multi-agent.pl usr/share/doc/eye/examples/reasoning/arvol/output/n-queens.pl usr/share/doc/eye/examples/reasoning/arvol/output/newton-raphson.pl usr/share/doc/eye/examples/reasoning/arvol/output/padovan.pl usr/share/doc/eye/examples/reasoning/arvol/output/path-discovery.pl usr/share/doc/eye/examples/reasoning/arvol/output/path.pl usr/share/doc/eye/examples/reasoning/arvol/output/peano.pl usr/share/doc/eye/examples/reasoning/arvol/output/peasant.pl usr/share/doc/eye/examples/reasoning/arvol/output/pi.pl usr/share/doc/eye/examples/reasoning/arvol/output/polygon.pl usr/share/doc/eye/examples/reasoning/arvol/output/polynomial.pl usr/share/doc/eye/examples/reasoning/arvol/output/prime.pl usr/share/doc/eye/examples/reasoning/arvol/output/proposition-prover.pl usr/share/doc/eye/examples/reasoning/arvol/output/qiana.pl usr/share/doc/eye/examples/reasoning/arvol/output/quantum-darwinism.pl usr/share/doc/eye/examples/reasoning/arvol/output/quine-mccluskey.pl usr/share/doc/eye/examples/reasoning/arvol/output/sieve.pl usr/share/doc/eye/examples/reasoning/arvol/output/socrates.pl usr/share/doc/eye/examples/reasoning/arvol/output/superdense-coding.pl usr/share/doc/eye/examples/reasoning/arvol/output/takeuchi.pl usr/share/doc/eye/examples/reasoning/arvol/output/traveling-salesman.pl usr/share/doc/eye/examples/reasoning/arvol/output/turing.pl usr/share/doc/eye/examples/reasoning/arvol/output/universal.pl usr/share/doc/eye/examples/reasoning/arvol/output/wind-turbine.pl usr/share/doc/eye/examples/reasoning/arvol/output/wolf-goat-cabbage.pl usr/share/doc/eye/examples/reasoning/arvol/output/workplace.pl usr/share/doc/eye/examples/reasoning/arvol/output/zebra.pl usr/share/doc/eye/examples/reasoning/arvol/proof usr/share/doc/eye/examples/reasoning/arvol/proof/access-control-policy.pl usr/share/doc/eye/examples/reasoning/arvol/proof/ackermann.pl usr/share/doc/eye/examples/reasoning/arvol/proof/age.pl usr/share/doc/eye/examples/reasoning/arvol/proof/animal.pl usr/share/doc/eye/examples/reasoning/arvol/proof/basic-monadic.pl usr/share/doc/eye/examples/reasoning/arvol/proof/best-route.pl usr/share/doc/eye/examples/reasoning/arvol/proof/collatz.pl usr/share/doc/eye/examples/reasoning/arvol/proof/combinatorics.pl usr/share/doc/eye/examples/reasoning/arvol/proof/complex.pl usr/share/doc/eye/examples/reasoning/arvol/proof/conflict-resolution.pl usr/share/doc/eye/examples/reasoning/arvol/proof/control-system.pl usr/share/doc/eye/examples/reasoning/arvol/proof/curly.pl usr/share/doc/eye/examples/reasoning/arvol/proof/d3-group.pl usr/share/doc/eye/examples/reasoning/arvol/proof/data-negotiation.pl usr/share/doc/eye/examples/reasoning/arvol/proof/deep-taxonomy.pl usr/share/doc/eye/examples/reasoning/arvol/proof/deontic-logic.pl usr/share/doc/eye/examples/reasoning/arvol/proof/derivative.pl usr/share/doc/eye/examples/reasoning/arvol/proof/derived-rule.pl usr/share/doc/eye/examples/reasoning/arvol/proof/dijkstra.pl usr/share/doc/eye/examples/reasoning/arvol/proof/display-user-details.pl usr/share/doc/eye/examples/reasoning/arvol/proof/dog.pl usr/share/doc/eye/examples/reasoning/arvol/proof/easter.pl usr/share/doc/eye/examples/reasoning/arvol/proof/enigma1225.pl usr/share/doc/eye/examples/reasoning/arvol/proof/equation-solver.pl usr/share/doc/eye/examples/reasoning/arvol/proof/eulerian-path.pl usr/share/doc/eye/examples/reasoning/arvol/proof/eulers-identity.pl usr/share/doc/eye/examples/reasoning/arvol/proof/evolutionary-algorithm.pl usr/share/doc/eye/examples/reasoning/arvol/proof/fast-fourier-transform.pl usr/share/doc/eye/examples/reasoning/arvol/proof/fibonacci.pl usr/share/doc/eye/examples/reasoning/arvol/proof/flute-puzzle.pl usr/share/doc/eye/examples/reasoning/arvol/proof/four-color.pl usr/share/doc/eye/examples/reasoning/arvol/proof/fuse.pl usr/share/doc/eye/examples/reasoning/arvol/proof/gdpr-compliance.pl usr/share/doc/eye/examples/reasoning/arvol/proof/goldbach.pl usr/share/doc/eye/examples/reasoning/arvol/proof/good-cobbler.pl usr/share/doc/eye/examples/reasoning/arvol/proof/gps.pl usr/share/doc/eye/examples/reasoning/arvol/proof/graph-reachability.pl usr/share/doc/eye/examples/reasoning/arvol/proof/graph.pl usr/share/doc/eye/examples/reasoning/arvol/proof/gray-code-counter.pl usr/share/doc/eye/examples/reasoning/arvol/proof/hamiltonian-path.pl usr/share/doc/eye/examples/reasoning/arvol/proof/hanoi.pl usr/share/doc/eye/examples/reasoning/arvol/proof/healthcare-access-control.pl usr/share/doc/eye/examples/reasoning/arvol/proof/intel-4004.pl usr/share/doc/eye/examples/reasoning/arvol/proof/kaprekar.pl usr/share/doc/eye/examples/reasoning/arvol/proof/lee.pl usr/share/doc/eye/examples/reasoning/arvol/proof/matrix.pl usr/share/doc/eye/examples/reasoning/arvol/proof/meta-interpretation.pl usr/share/doc/eye/examples/reasoning/arvol/proof/monkey-bananas.pl usr/share/doc/eye/examples/reasoning/arvol/proof/multi-agent.pl usr/share/doc/eye/examples/reasoning/arvol/proof/n-queens.pl usr/share/doc/eye/examples/reasoning/arvol/proof/newton-raphson.pl usr/share/doc/eye/examples/reasoning/arvol/proof/padovan.pl usr/share/doc/eye/examples/reasoning/arvol/proof/path-discovery.pl usr/share/doc/eye/examples/reasoning/arvol/proof/path.pl usr/share/doc/eye/examples/reasoning/arvol/proof/peano.pl usr/share/doc/eye/examples/reasoning/arvol/proof/peasant.pl usr/share/doc/eye/examples/reasoning/arvol/proof/pi.pl usr/share/doc/eye/examples/reasoning/arvol/proof/polygon.pl usr/share/doc/eye/examples/reasoning/arvol/proof/polynomial.pl usr/share/doc/eye/examples/reasoning/arvol/proof/prime.pl usr/share/doc/eye/examples/reasoning/arvol/proof/proposition-prover.pl usr/share/doc/eye/examples/reasoning/arvol/proof/qiana.pl usr/share/doc/eye/examples/reasoning/arvol/proof/quantum-darwinism.pl usr/share/doc/eye/examples/reasoning/arvol/proof/quine-mccluskey.pl usr/share/doc/eye/examples/reasoning/arvol/proof/sieve.pl usr/share/doc/eye/examples/reasoning/arvol/proof/socrates.pl usr/share/doc/eye/examples/reasoning/arvol/proof/superdense-coding.pl usr/share/doc/eye/examples/reasoning/arvol/proof/takeuchi.pl usr/share/doc/eye/examples/reasoning/arvol/proof/traveling-salesman.pl usr/share/doc/eye/examples/reasoning/arvol/proof/turing.pl usr/share/doc/eye/examples/reasoning/arvol/proof/universal.pl usr/share/doc/eye/examples/reasoning/arvol/proof/wind-turbine.pl usr/share/doc/eye/examples/reasoning/arvol/proof/wolf-goat-cabbage.pl usr/share/doc/eye/examples/reasoning/arvol/proof/workplace.pl usr/share/doc/eye/examples/reasoning/arvol/proof/zebra.pl usr/share/doc/eye/examples/reasoning/arvol/test usr/share/doc/eye/examples/reasoning/backward usr/share/doc/eye/examples/reasoning/backward/README usr/share/doc/eye/examples/reasoning/backward/backward-answer.n3 usr/share/doc/eye/examples/reasoning/backward/backward-proof.n3 usr/share/doc/eye/examples/reasoning/backward/backward-query.n3 usr/share/doc/eye/examples/reasoning/backward/backward.n3 usr/share/doc/eye/examples/reasoning/backward/test usr/share/doc/eye/examples/reasoning/backward-more usr/share/doc/eye/examples/reasoning/backward-more/README usr/share/doc/eye/examples/reasoning/backward-more/backward-more-answer1.n3 usr/share/doc/eye/examples/reasoning/backward-more/backward-more-answer2.n3 usr/share/doc/eye/examples/reasoning/backward-more/backward-more-answer3.n3 usr/share/doc/eye/examples/reasoning/backward-more/backward-more-answer4.n3 usr/share/doc/eye/examples/reasoning/backward-more/backward-more-answer5.n3 usr/share/doc/eye/examples/reasoning/backward-more/backward-more-answer6.n3 usr/share/doc/eye/examples/reasoning/backward-more/backward-more-proof1.n3 usr/share/doc/eye/examples/reasoning/backward-more/backward-more-proof2.n3 usr/share/doc/eye/examples/reasoning/backward-more/backward-more-proof3.n3 usr/share/doc/eye/examples/reasoning/backward-more/backward-more-proof4.n3 usr/share/doc/eye/examples/reasoning/backward-more/backward-more-proof5.n3 usr/share/doc/eye/examples/reasoning/backward-more/backward-more-proof6.n3 usr/share/doc/eye/examples/reasoning/backward-more/backward-more-query1.n3 usr/share/doc/eye/examples/reasoning/backward-more/backward-more-query2.n3 usr/share/doc/eye/examples/reasoning/backward-more/backward-more-query3.n3 usr/share/doc/eye/examples/reasoning/backward-more/backward-more-query4.n3 usr/share/doc/eye/examples/reasoning/backward-more/backward-more-query5.n3 usr/share/doc/eye/examples/reasoning/backward-more/backward-more-query6.n3 usr/share/doc/eye/examples/reasoning/backward-more/backward-more.n3 usr/share/doc/eye/examples/reasoning/backward-more/test usr/share/doc/eye/examples/reasoning/basic-monadic usr/share/doc/eye/examples/reasoning/basic-monadic/10tt_answer.n3 usr/share/doc/eye/examples/reasoning/basic-monadic/10tt_proof.n3 usr/share/doc/eye/examples/reasoning/basic-monadic/1tt1.ttl usr/share/doc/eye/examples/reasoning/basic-monadic/1tt10.ttl usr/share/doc/eye/examples/reasoning/basic-monadic/1tt2.ttl usr/share/doc/eye/examples/reasoning/basic-monadic/1tt3.ttl usr/share/doc/eye/examples/reasoning/basic-monadic/1tt4.ttl usr/share/doc/eye/examples/reasoning/basic-monadic/1tt5.ttl usr/share/doc/eye/examples/reasoning/basic-monadic/1tt6.ttl usr/share/doc/eye/examples/reasoning/basic-monadic/1tt7.ttl usr/share/doc/eye/examples/reasoning/basic-monadic/1tt8.ttl usr/share/doc/eye/examples/reasoning/basic-monadic/1tt9.ttl usr/share/doc/eye/examples/reasoning/basic-monadic/README usr/share/doc/eye/examples/reasoning/basic-monadic/query.n3 usr/share/doc/eye/examples/reasoning/basic-monadic/test usr/share/doc/eye/examples/reasoning/bcrule usr/share/doc/eye/examples/reasoning/bcrule/README usr/share/doc/eye/examples/reasoning/bcrule/example1-pass-only-new.n3 usr/share/doc/eye/examples/reasoning/bcrule/example1-pass.n3 usr/share/doc/eye/examples/reasoning/bcrule/example1.n3 usr/share/doc/eye/examples/reasoning/bcrule/example2-pass-only-new.n3 usr/share/doc/eye/examples/reasoning/bcrule/example2-pass.n3 usr/share/doc/eye/examples/reasoning/bcrule/example2.n3 usr/share/doc/eye/examples/reasoning/bcrule/example3-pass-only-new.n3 usr/share/doc/eye/examples/reasoning/bcrule/example3-pass.n3 usr/share/doc/eye/examples/reasoning/bcrule/example3.n3 usr/share/doc/eye/examples/reasoning/bcrule/example4-pass-only-new.n3 usr/share/doc/eye/examples/reasoning/bcrule/example4-pass.n3 usr/share/doc/eye/examples/reasoning/bcrule/example4.n3 usr/share/doc/eye/examples/reasoning/bcrule/example5-pass-only-new.n3 usr/share/doc/eye/examples/reasoning/bcrule/example5-pass.n3 usr/share/doc/eye/examples/reasoning/bcrule/example5.n3 usr/share/doc/eye/examples/reasoning/bcrule/test usr/share/doc/eye/examples/reasoning/beam-bending-safety usr/share/doc/eye/examples/reasoning/beam-bending-safety/README usr/share/doc/eye/examples/reasoning/beam-bending-safety/beam-bending-safety-output.n3 usr/share/doc/eye/examples/reasoning/beam-bending-safety/beam-bending-safety.n3 usr/share/doc/eye/examples/reasoning/beam-bending-safety/test usr/share/doc/eye/examples/reasoning/bi usr/share/doc/eye/examples/reasoning/bi/README usr/share/doc/eye/examples/reasoning/bi/ab_c.n3 usr/share/doc/eye/examples/reasoning/bi/abc.n3 usr/share/doc/eye/examples/reasoning/bi/biA.n3 usr/share/doc/eye/examples/reasoning/bi/biP.n3 usr/share/doc/eye/examples/reasoning/bi/biQ.n3 usr/share/doc/eye/examples/reasoning/bi/medic.n3 usr/share/doc/eye/examples/reasoning/bi/test usr/share/doc/eye/examples/reasoning/blogic usr/share/doc/eye/examples/reasoning/blogic/README.md usr/share/doc/eye/examples/reasoning/blogic/input usr/share/doc/eye/examples/reasoning/blogic/input/age.n3 usr/share/doc/eye/examples/reasoning/blogic/input/beetle.n3 usr/share/doc/eye/examples/reasoning/blogic/input/beetle12.n3 usr/share/doc/eye/examples/reasoning/blogic/input/beetle6.n3 usr/share/doc/eye/examples/reasoning/blogic/input/eulers-identity.n3 usr/share/doc/eye/examples/reasoning/blogic/input/fibonacci.n3 usr/share/doc/eye/examples/reasoning/blogic/input/gps.n3 usr/share/doc/eye/examples/reasoning/blogic/input/peano.n3 usr/share/doc/eye/examples/reasoning/blogic/input/slide32.n3 usr/share/doc/eye/examples/reasoning/blogic/input/slide33.n3 usr/share/doc/eye/examples/reasoning/blogic/input/turing.n3 usr/share/doc/eye/examples/reasoning/blogic/input/water.n3 usr/share/doc/eye/examples/reasoning/blogic/output usr/share/doc/eye/examples/reasoning/blogic/output/age.n3 usr/share/doc/eye/examples/reasoning/blogic/output/beetle.n3 usr/share/doc/eye/examples/reasoning/blogic/output/beetle12.n3 usr/share/doc/eye/examples/reasoning/blogic/output/beetle6.n3 usr/share/doc/eye/examples/reasoning/blogic/output/eulers-identity.n3 usr/share/doc/eye/examples/reasoning/blogic/output/fibonacci.n3 usr/share/doc/eye/examples/reasoning/blogic/output/gps.n3 usr/share/doc/eye/examples/reasoning/blogic/output/peano.n3 usr/share/doc/eye/examples/reasoning/blogic/output/slide32.n3 usr/share/doc/eye/examples/reasoning/blogic/output/slide33.n3 usr/share/doc/eye/examples/reasoning/blogic/output/turing.n3 usr/share/doc/eye/examples/reasoning/blogic/output/water.n3 usr/share/doc/eye/examples/reasoning/blogic/test usr/share/doc/eye/examples/reasoning/bmi usr/share/doc/eye/examples/reasoning/bmi/README usr/share/doc/eye/examples/reasoning/bmi/age_rules_backward.n3 usr/share/doc/eye/examples/reasoning/bmi/bmi_instances.n3 usr/share/doc/eye/examples/reasoning/bmi/bmi_proof.n3 usr/share/doc/eye/examples/reasoning/bmi/bmi_query.n3 usr/share/doc/eye/examples/reasoning/bmi/bmi_rules.n3 usr/share/doc/eye/examples/reasoning/bmi/test usr/share/doc/eye/examples/reasoning/bmi/weightStatus_rules.n3 usr/share/doc/eye/examples/reasoning/bnode-scope usr/share/doc/eye/examples/reasoning/bnode-scope/README usr/share/doc/eye/examples/reasoning/bnode-scope/test usr/share/doc/eye/examples/reasoning/bnode-scope/test1-answer.n3 usr/share/doc/eye/examples/reasoning/bnode-scope/test1-proof.n3 usr/share/doc/eye/examples/reasoning/bnode-scope/test1.n3 usr/share/doc/eye/examples/reasoning/braking-safety-worlds usr/share/doc/eye/examples/reasoning/braking-safety-worlds/README usr/share/doc/eye/examples/reasoning/braking-safety-worlds/braking-safety-worlds-output.n3 usr/share/doc/eye/examples/reasoning/braking-safety-worlds/braking-safety-worlds.n3 usr/share/doc/eye/examples/reasoning/braking-safety-worlds/test usr/share/doc/eye/examples/reasoning/ccd usr/share/doc/eye/examples/reasoning/ccd/README usr/share/doc/eye/examples/reasoning/ccd/background_rules.n3 usr/share/doc/eye/examples/reasoning/ccd/ccd_rules.n3 usr/share/doc/eye/examples/reasoning/ccd/test usr/share/doc/eye/examples/reasoning/ccd/test_answer.n3 usr/share/doc/eye/examples/reasoning/ccd/test_data.n3 usr/share/doc/eye/examples/reasoning/ccd/test_proof.n3 usr/share/doc/eye/examples/reasoning/ccd/test_query.n3 usr/share/doc/eye/examples/reasoning/ccd/train_data.n3 usr/share/doc/eye/examples/reasoning/ccd/train_model.n3 usr/share/doc/eye/examples/reasoning/ccd/train_model_proof.n3 usr/share/doc/eye/examples/reasoning/ccd/train_query.n3 usr/share/doc/eye/examples/reasoning/ccd/train_rules.n3 usr/share/doc/eye/examples/reasoning/cha58 usr/share/doc/eye/examples/reasoning/cha58/README usr/share/doc/eye/examples/reasoning/cha58/cha58-answer.ttl usr/share/doc/eye/examples/reasoning/cha58/cha58-data.ttl usr/share/doc/eye/examples/reasoning/cha58/cha58-query.n3 usr/share/doc/eye/examples/reasoning/cha58/cha58-rules.n3 usr/share/doc/eye/examples/reasoning/cha58/test usr/share/doc/eye/examples/reasoning/collatz usr/share/doc/eye/examples/reasoning/collatz/README usr/share/doc/eye/examples/reasoning/collatz/collatz-answer.n3 usr/share/doc/eye/examples/reasoning/collatz/collatz-query.n3 usr/share/doc/eye/examples/reasoning/collatz/collatz.n3 usr/share/doc/eye/examples/reasoning/collatz/test usr/share/doc/eye/examples/reasoning/combinatorics usr/share/doc/eye/examples/reasoning/combinatorics/README usr/share/doc/eye/examples/reasoning/combinatorics/combination-answer.n3 usr/share/doc/eye/examples/reasoning/combinatorics/combination-proof.n3 usr/share/doc/eye/examples/reasoning/combinatorics/combination-query.n3 usr/share/doc/eye/examples/reasoning/combinatorics/combination.n3 usr/share/doc/eye/examples/reasoning/combinatorics/permutation-answer.n3 usr/share/doc/eye/examples/reasoning/combinatorics/permutation-proof.n3 usr/share/doc/eye/examples/reasoning/combinatorics/permutation-query.n3 usr/share/doc/eye/examples/reasoning/combinatorics/permutation.n3 usr/share/doc/eye/examples/reasoning/combinatorics/test usr/share/doc/eye/examples/reasoning/complex usr/share/doc/eye/examples/reasoning/complex/README usr/share/doc/eye/examples/reasoning/complex/complex-answer.n3 usr/share/doc/eye/examples/reasoning/complex/complex.n3 usr/share/doc/eye/examples/reasoning/complex/test usr/share/doc/eye/examples/reasoning/complex-matrix-stability-worlds usr/share/doc/eye/examples/reasoning/complex-matrix-stability-worlds/README usr/share/doc/eye/examples/reasoning/complex-matrix-stability-worlds/complex-matrix-stability-worlds-output.n3 usr/share/doc/eye/examples/reasoning/complex-matrix-stability-worlds/complex-matrix-stability-worlds.n3 usr/share/doc/eye/examples/reasoning/complex-matrix-stability-worlds/test usr/share/doc/eye/examples/reasoning/control-system usr/share/doc/eye/examples/reasoning/control-system/README usr/share/doc/eye/examples/reasoning/control-system/answer-001.n3 usr/share/doc/eye/examples/reasoning/control-system/data-001.n3 usr/share/doc/eye/examples/reasoning/control-system/proof-001.n3 usr/share/doc/eye/examples/reasoning/control-system/query-001.n3 usr/share/doc/eye/examples/reasoning/control-system/rules-001.n3 usr/share/doc/eye/examples/reasoning/control-system/test usr/share/doc/eye/examples/reasoning/crypto usr/share/doc/eye/examples/reasoning/crypto/README usr/share/doc/eye/examples/reasoning/crypto/crypto-proof.n3 usr/share/doc/eye/examples/reasoning/crypto/cryptoP.n3 usr/share/doc/eye/examples/reasoning/crypto/test usr/share/doc/eye/examples/reasoning/csv usr/share/doc/eye/examples/reasoning/csv/README usr/share/doc/eye/examples/reasoning/csv/select-data-extra.n3 usr/share/doc/eye/examples/reasoning/csv/select-data.csv usr/share/doc/eye/examples/reasoning/csv/select-data.n3 usr/share/doc/eye/examples/reasoning/csv/select-proof-extra.n3 usr/share/doc/eye/examples/reasoning/csv/select-proof.n3 usr/share/doc/eye/examples/reasoning/csv/select-query.n3 usr/share/doc/eye/examples/reasoning/csv/test usr/share/doc/eye/examples/reasoning/dairy-energy-balance usr/share/doc/eye/examples/reasoning/dairy-energy-balance/README usr/share/doc/eye/examples/reasoning/dairy-energy-balance/dairy-energy-balance-output.n3 usr/share/doc/eye/examples/reasoning/dairy-energy-balance/dairy-energy-balance.n3 usr/share/doc/eye/examples/reasoning/dairy-energy-balance/test usr/share/doc/eye/examples/reasoning/dcg usr/share/doc/eye/examples/reasoning/dcg/README usr/share/doc/eye/examples/reasoning/dcg/dcg-pass.n3 usr/share/doc/eye/examples/reasoning/dcg/dcg.n3 usr/share/doc/eye/examples/reasoning/dcg/dcg2-pass.n3 usr/share/doc/eye/examples/reasoning/dcg/dcg2.n3 usr/share/doc/eye/examples/reasoning/dcg/dcg3-pass.n3 usr/share/doc/eye/examples/reasoning/dcg/dcg3.n3 usr/share/doc/eye/examples/reasoning/dcg/test usr/share/doc/eye/examples/reasoning/deep-taxonomy usr/share/doc/eye/examples/reasoning/deep-taxonomy/README usr/share/doc/eye/examples/reasoning/deep-taxonomy/test usr/share/doc/eye/examples/reasoning/deep-taxonomy/test-answer.ttl usr/share/doc/eye/examples/reasoning/deep-taxonomy/test-dl.ttl usr/share/doc/eye/examples/reasoning/deep-taxonomy/test-facts.ttl usr/share/doc/eye/examples/reasoning/deep-taxonomy/test-query.n3 usr/share/doc/eye/examples/reasoning/deep-taxonomy/test-rules.n3 usr/share/doc/eye/examples/reasoning/defeasable-logic usr/share/doc/eye/examples/reasoning/defeasable-logic/README usr/share/doc/eye/examples/reasoning/defeasable-logic/defeasable-logic-answer.n3 usr/share/doc/eye/examples/reasoning/defeasable-logic/defeasable-logic.n3 usr/share/doc/eye/examples/reasoning/defeasable-logic/test usr/share/doc/eye/examples/reasoning/delfour-insight-economy usr/share/doc/eye/examples/reasoning/delfour-insight-economy/README usr/share/doc/eye/examples/reasoning/delfour-insight-economy/catalog.ttl usr/share/doc/eye/examples/reasoning/delfour-insight-economy/context.ttl usr/share/doc/eye/examples/reasoning/delfour-insight-economy/insight_policy.ttl usr/share/doc/eye/examples/reasoning/delfour-insight-economy/now.ttl usr/share/doc/eye/examples/reasoning/delfour-insight-economy/phone.n3 usr/share/doc/eye/examples/reasoning/delfour-insight-economy/profile.ttl usr/share/doc/eye/examples/reasoning/delfour-insight-economy/request.ttl usr/share/doc/eye/examples/reasoning/delfour-insight-economy/scan.ttl usr/share/doc/eye/examples/reasoning/delfour-insight-economy/scanner.n3 usr/share/doc/eye/examples/reasoning/delfour-insight-economy/scanner_out.ttl usr/share/doc/eye/examples/reasoning/delfour-insight-economy/test usr/share/doc/eye/examples/reasoning/deontic-logic usr/share/doc/eye/examples/reasoning/deontic-logic/README usr/share/doc/eye/examples/reasoning/deontic-logic/deontic-query.n3 usr/share/doc/eye/examples/reasoning/deontic-logic/deontic.n3 usr/share/doc/eye/examples/reasoning/deontic-logic/example1-answer.n3 usr/share/doc/eye/examples/reasoning/deontic-logic/example1-proof.n3 usr/share/doc/eye/examples/reasoning/deontic-logic/example1.n3 usr/share/doc/eye/examples/reasoning/deontic-logic/example2-answer.n3 usr/share/doc/eye/examples/reasoning/deontic-logic/example2-proof.n3 usr/share/doc/eye/examples/reasoning/deontic-logic/example2.n3 usr/share/doc/eye/examples/reasoning/deontic-logic/example3-answer.n3 usr/share/doc/eye/examples/reasoning/deontic-logic/example3-fuse.err usr/share/doc/eye/examples/reasoning/deontic-logic/example3.n3 usr/share/doc/eye/examples/reasoning/deontic-logic/test usr/share/doc/eye/examples/reasoning/dependent-type usr/share/doc/eye/examples/reasoning/dependent-type/README usr/share/doc/eye/examples/reasoning/dependent-type/dependent-type-answer.n3 usr/share/doc/eye/examples/reasoning/dependent-type/dependent-type.n3 usr/share/doc/eye/examples/reasoning/dependent-type/test usr/share/doc/eye/examples/reasoning/derived-rule usr/share/doc/eye/examples/reasoning/derived-rule/README usr/share/doc/eye/examples/reasoning/derived-rule/derived-rule-answer.n3 usr/share/doc/eye/examples/reasoning/derived-rule/derived-rule-proof.n3 usr/share/doc/eye/examples/reasoning/derived-rule/derived-rule-query.n3 usr/share/doc/eye/examples/reasoning/derived-rule/derived-rule.n3 usr/share/doc/eye/examples/reasoning/derived-rule/test usr/share/doc/eye/examples/reasoning/diamond-property usr/share/doc/eye/examples/reasoning/diamond-property/README usr/share/doc/eye/examples/reasoning/diamond-property/diamond-property-answer.n3 usr/share/doc/eye/examples/reasoning/diamond-property/diamond-property-proof.n3 usr/share/doc/eye/examples/reasoning/diamond-property/diamond-property-query.n3 usr/share/doc/eye/examples/reasoning/diamond-property/diamond-property.n3 usr/share/doc/eye/examples/reasoning/diamond-property/test usr/share/doc/eye/examples/reasoning/dijkstra usr/share/doc/eye/examples/reasoning/dijkstra/README usr/share/doc/eye/examples/reasoning/dijkstra/dijkstra-answer.n3 usr/share/doc/eye/examples/reasoning/dijkstra/dijkstra-proof.n3 usr/share/doc/eye/examples/reasoning/dijkstra/dijkstra-query.n3 usr/share/doc/eye/examples/reasoning/dijkstra/dijkstra.n3 usr/share/doc/eye/examples/reasoning/dijkstra/test usr/share/doc/eye/examples/reasoning/dining-philosophers usr/share/doc/eye/examples/reasoning/dining-philosophers/README usr/share/doc/eye/examples/reasoning/dining-philosophers/dp.n3 usr/share/doc/eye/examples/reasoning/dining-philosophers/dpE.n3 usr/share/doc/eye/examples/reasoning/dining-philosophers/dpQ.n3 usr/share/doc/eye/examples/reasoning/dining-philosophers/test usr/share/doc/eye/examples/reasoning/dog usr/share/doc/eye/examples/reasoning/dog/README usr/share/doc/eye/examples/reasoning/dog/dog-answer.n3 usr/share/doc/eye/examples/reasoning/dog/dog.n3 usr/share/doc/eye/examples/reasoning/dog/test usr/share/doc/eye/examples/reasoning/easter usr/share/doc/eye/examples/reasoning/easter/README usr/share/doc/eye/examples/reasoning/easter/easterA.n3 usr/share/doc/eye/examples/reasoning/easter/easterE.n3 usr/share/doc/eye/examples/reasoning/easter/easterF.n3 usr/share/doc/eye/examples/reasoning/easter/easterP.n3 usr/share/doc/eye/examples/reasoning/easter/test usr/share/doc/eye/examples/reasoning/edt usr/share/doc/eye/examples/reasoning/edt/README usr/share/doc/eye/examples/reasoning/edt/gentd.n3 usr/share/doc/eye/examples/reasoning/edt/gentf.n3 usr/share/doc/eye/examples/reasoning/edt/prepare usr/share/doc/eye/examples/reasoning/edt/test usr/share/doc/eye/examples/reasoning/edt/test-answer.n3 usr/share/doc/eye/examples/reasoning/edt/test-dl.ttl usr/share/doc/eye/examples/reasoning/edt/test-facts.ttl usr/share/doc/eye/examples/reasoning/edt/test-query.n3 usr/share/doc/eye/examples/reasoning/edt/test-rules.n3 usr/share/doc/eye/examples/reasoning/entail usr/share/doc/eye/examples/reasoning/entail/README usr/share/doc/eye/examples/reasoning/entail/socrates-check.n3 usr/share/doc/eye/examples/reasoning/entail/socrates-claim.n3 usr/share/doc/eye/examples/reasoning/entail/socrates.n3 usr/share/doc/eye/examples/reasoning/entail/test usr/share/doc/eye/examples/reasoning/epidemic-policy usr/share/doc/eye/examples/reasoning/epidemic-policy/README usr/share/doc/eye/examples/reasoning/epidemic-policy/epidemic-policy-answer.n3 usr/share/doc/eye/examples/reasoning/epidemic-policy/epidemic-policy.n3 usr/share/doc/eye/examples/reasoning/epidemic-policy/test usr/share/doc/eye/examples/reasoning/euler-identity usr/share/doc/eye/examples/reasoning/euler-identity/README usr/share/doc/eye/examples/reasoning/euler-identity/euler-identity-output.ttl usr/share/doc/eye/examples/reasoning/euler-identity/euler-identity.n3 usr/share/doc/eye/examples/reasoning/euler-identity/test usr/share/doc/eye/examples/reasoning/euq usr/share/doc/eye/examples/reasoning/euq/README usr/share/doc/eye/examples/reasoning/euq/euq.n3 usr/share/doc/eye/examples/reasoning/euq/euqA.n3 usr/share/doc/eye/examples/reasoning/euq/test usr/share/doc/eye/examples/reasoning/ev-range-worlds usr/share/doc/eye/examples/reasoning/ev-range-worlds/README usr/share/doc/eye/examples/reasoning/ev-range-worlds/ev-range-worlds-output.n3 usr/share/doc/eye/examples/reasoning/ev-range-worlds/ev-range-worlds.n3 usr/share/doc/eye/examples/reasoning/ev-range-worlds/test usr/share/doc/eye/examples/reasoning/exoplanet-validation-worlds usr/share/doc/eye/examples/reasoning/exoplanet-validation-worlds/README usr/share/doc/eye/examples/reasoning/exoplanet-validation-worlds/exoplanet-validation-worlds-output.n3 usr/share/doc/eye/examples/reasoning/exoplanet-validation-worlds/exoplanet-validation-worlds.n3 usr/share/doc/eye/examples/reasoning/exoplanet-validation-worlds/test usr/share/doc/eye/examples/reasoning/fcm usr/share/doc/eye/examples/reasoning/fcm/README usr/share/doc/eye/examples/reasoning/fcm/example001P.n3 usr/share/doc/eye/examples/reasoning/fcm/example002P.n3 usr/share/doc/eye/examples/reasoning/fcm/example003Q.n3 usr/share/doc/eye/examples/reasoning/fcm/fcm-plugin.n3 usr/share/doc/eye/examples/reasoning/fcm/fcm_proof.n3 usr/share/doc/eye/examples/reasoning/fcm/fl-rules.n3 usr/share/doc/eye/examples/reasoning/fcm/test usr/share/doc/eye/examples/reasoning/fgcm usr/share/doc/eye/examples/reasoning/fgcm/README usr/share/doc/eye/examples/reasoning/fgcm/fgcm-model.n3 usr/share/doc/eye/examples/reasoning/fgcm/fgcm-plugin.n3 usr/share/doc/eye/examples/reasoning/fgcm/fgcm-query.n3 usr/share/doc/eye/examples/reasoning/fgcm/fgcm_proof.n3 usr/share/doc/eye/examples/reasoning/fgcm/patient.n3 usr/share/doc/eye/examples/reasoning/fgcm/test usr/share/doc/eye/examples/reasoning/fibonacci usr/share/doc/eye/examples/reasoning/fibonacci/README usr/share/doc/eye/examples/reasoning/fibonacci/fibonacci.n3 usr/share/doc/eye/examples/reasoning/fibonacci/fibonacciA.n3 usr/share/doc/eye/examples/reasoning/fibonacci/fibonacciQ.n3 usr/share/doc/eye/examples/reasoning/fibonacci/test usr/share/doc/eye/examples/reasoning/field-nitrogen-balance usr/share/doc/eye/examples/reasoning/field-nitrogen-balance/README usr/share/doc/eye/examples/reasoning/field-nitrogen-balance/field-nitrogen-balance-output.n3 usr/share/doc/eye/examples/reasoning/field-nitrogen-balance/field-nitrogen-balance.n3 usr/share/doc/eye/examples/reasoning/field-nitrogen-balance/test usr/share/doc/eye/examples/reasoning/filter usr/share/doc/eye/examples/reasoning/filter/README usr/share/doc/eye/examples/reasoning/filter/filter-answer.n3 usr/share/doc/eye/examples/reasoning/filter/filter-proof.n3 usr/share/doc/eye/examples/reasoning/filter/filter-query.n3 usr/share/doc/eye/examples/reasoning/filter/filter.n3 usr/share/doc/eye/examples/reasoning/filter/test usr/share/doc/eye/examples/reasoning/four-types-of-specification usr/share/doc/eye/examples/reasoning/four-types-of-specification/agri-drought-relief-answer.n3 usr/share/doc/eye/examples/reasoning/four-types-of-specification/agri-drought-relief.n3 usr/share/doc/eye/examples/reasoning/four-types-of-specification/bikepass-youth-discount-answer.n3 usr/share/doc/eye/examples/reasoning/four-types-of-specification/bikepass-youth-discount.n3 usr/share/doc/eye/examples/reasoning/four-types-of-specification/health-hypertension-copay-aid-answer.n3 usr/share/doc/eye/examples/reasoning/four-types-of-specification/health-hypertension-copay-aid.n3 usr/share/doc/eye/examples/reasoning/four-types-of-specification/leisure-sports-voucher-answer.n3 usr/share/doc/eye/examples/reasoning/four-types-of-specification/leisure-sports-voucher.n3 usr/share/doc/eye/examples/reasoning/four-types-of-specification/student-grant-needbased-answer.n3 usr/share/doc/eye/examples/reasoning/four-types-of-specification/student-grant-needbased.n3 usr/share/doc/eye/examples/reasoning/four-types-of-specification/test usr/share/doc/eye/examples/reasoning/fundamental-theorem-of-arithmetic usr/share/doc/eye/examples/reasoning/fundamental-theorem-of-arithmetic/README usr/share/doc/eye/examples/reasoning/fundamental-theorem-of-arithmetic/fundamental-theorem-of-arithmetic-answer.n3 usr/share/doc/eye/examples/reasoning/fundamental-theorem-of-arithmetic/fundamental-theorem-of-arithmetic.n3 usr/share/doc/eye/examples/reasoning/fundamental-theorem-of-arithmetic/test usr/share/doc/eye/examples/reasoning/fuse usr/share/doc/eye/examples/reasoning/fuse/README usr/share/doc/eye/examples/reasoning/fuse/fuse-output.err usr/share/doc/eye/examples/reasoning/fuse/fuse.n3 usr/share/doc/eye/examples/reasoning/fuse/test usr/share/doc/eye/examples/reasoning/gcd-bezout-identity usr/share/doc/eye/examples/reasoning/gcd-bezout-identity/README usr/share/doc/eye/examples/reasoning/gcd-bezout-identity/gcd-bezout-identity-answer.n3 usr/share/doc/eye/examples/reasoning/gcd-bezout-identity/gcd-bezout-identity.n3 usr/share/doc/eye/examples/reasoning/gcd-bezout-identity/test usr/share/doc/eye/examples/reasoning/gdpr-compliance usr/share/doc/eye/examples/reasoning/gdpr-compliance/README usr/share/doc/eye/examples/reasoning/gdpr-compliance/gdpr-compliance-answer.n3 usr/share/doc/eye/examples/reasoning/gdpr-compliance/gdpr-compliance-proof.n3 usr/share/doc/eye/examples/reasoning/gdpr-compliance/gdpr-compliance-query.n3 usr/share/doc/eye/examples/reasoning/gdpr-compliance/gdpr-compliance.n3 usr/share/doc/eye/examples/reasoning/gdpr-compliance/test usr/share/doc/eye/examples/reasoning/gedcom usr/share/doc/eye/examples/reasoning/gedcom/README usr/share/doc/eye/examples/reasoning/gedcom/gedcom-answer.n3 usr/share/doc/eye/examples/reasoning/gedcom/gedcom-facts.n3 usr/share/doc/eye/examples/reasoning/gedcom/gedcom-filter.n3 usr/share/doc/eye/examples/reasoning/gedcom/gedcom-proof.n3 usr/share/doc/eye/examples/reasoning/gedcom/gedcom-relations.n3 usr/share/doc/eye/examples/reasoning/gedcom/test usr/share/doc/eye/examples/reasoning/glass usr/share/doc/eye/examples/reasoning/glass/README usr/share/doc/eye/examples/reasoning/glass/test usr/share/doc/eye/examples/reasoning/glass/test.n3 usr/share/doc/eye/examples/reasoning/glass/testA.n3 usr/share/doc/eye/examples/reasoning/glass/testE.n3 usr/share/doc/eye/examples/reasoning/glass/testQ.n3 usr/share/doc/eye/examples/reasoning/goldbach usr/share/doc/eye/examples/reasoning/goldbach/README usr/share/doc/eye/examples/reasoning/goldbach/goldbach-answer.n3 usr/share/doc/eye/examples/reasoning/goldbach/goldbach-query.n3 usr/share/doc/eye/examples/reasoning/goldbach/goldbach.n3 usr/share/doc/eye/examples/reasoning/goldbach/test usr/share/doc/eye/examples/reasoning/good-cobbler usr/share/doc/eye/examples/reasoning/good-cobbler/README usr/share/doc/eye/examples/reasoning/good-cobbler/cobbler-answer.n3 usr/share/doc/eye/examples/reasoning/good-cobbler/cobbler-proof.n3 usr/share/doc/eye/examples/reasoning/good-cobbler/cobbler-query.n3 usr/share/doc/eye/examples/reasoning/good-cobbler/cobbler.n3 usr/share/doc/eye/examples/reasoning/good-cobbler/test usr/share/doc/eye/examples/reasoning/gps usr/share/doc/eye/examples/reasoning/gps/README usr/share/doc/eye/examples/reasoning/gps/gps-answer1.n3 usr/share/doc/eye/examples/reasoning/gps/gps-answer2.n3 usr/share/doc/eye/examples/reasoning/gps/gps-example1.n3 usr/share/doc/eye/examples/reasoning/gps/gps-example2.n3 usr/share/doc/eye/examples/reasoning/gps/gps-plugin.n3 usr/share/doc/eye/examples/reasoning/gps/gps-proof1.n3 usr/share/doc/eye/examples/reasoning/gps/gps-proof2.n3 usr/share/doc/eye/examples/reasoning/gps/gps-query1.n3 usr/share/doc/eye/examples/reasoning/gps/gps-query2.n3 usr/share/doc/eye/examples/reasoning/gps/gps-schema usr/share/doc/eye/examples/reasoning/gps/test usr/share/doc/eye/examples/reasoning/graph usr/share/doc/eye/examples/reasoning/graph/README usr/share/doc/eye/examples/reasoning/graph/graph.axiom.n3 usr/share/doc/eye/examples/reasoning/graph/graph.filter.n3 usr/share/doc/eye/examples/reasoning/graph/graph.proof.n3 usr/share/doc/eye/examples/reasoning/graph/rpo-rules.n3 usr/share/doc/eye/examples/reasoning/graph/test usr/share/doc/eye/examples/reasoning/gray-code-counter usr/share/doc/eye/examples/reasoning/gray-code-counter/README usr/share/doc/eye/examples/reasoning/gray-code-counter/gray-code-counter-answer.n3 usr/share/doc/eye/examples/reasoning/gray-code-counter/gray-code-counter-proof.n3 usr/share/doc/eye/examples/reasoning/gray-code-counter/gray-code-counter-query.n3 usr/share/doc/eye/examples/reasoning/gray-code-counter/gray-code-counter.n3 usr/share/doc/eye/examples/reasoning/gray-code-counter/test usr/share/doc/eye/examples/reasoning/h2o usr/share/doc/eye/examples/reasoning/h2o/README usr/share/doc/eye/examples/reasoning/h2o/data-001.n3 usr/share/doc/eye/examples/reasoning/h2o/hypothesis-001.n3 usr/share/doc/eye/examples/reasoning/h2o/proof-001.n3 usr/share/doc/eye/examples/reasoning/h2o/query-001.n3 usr/share/doc/eye/examples/reasoning/h2o/rules-001.n3 usr/share/doc/eye/examples/reasoning/h2o/test usr/share/doc/eye/examples/reasoning/hanoi usr/share/doc/eye/examples/reasoning/hanoi/README usr/share/doc/eye/examples/reasoning/hanoi/hanoi.n3 usr/share/doc/eye/examples/reasoning/hanoi/hanoiA.n3 usr/share/doc/eye/examples/reasoning/hanoi/hanoiE.n3 usr/share/doc/eye/examples/reasoning/hanoi/test usr/share/doc/eye/examples/reasoning/heron-theorem usr/share/doc/eye/examples/reasoning/heron-theorem/README usr/share/doc/eye/examples/reasoning/heron-theorem/heron-theorem-answer.n3 usr/share/doc/eye/examples/reasoning/heron-theorem/heron-theorem.n3 usr/share/doc/eye/examples/reasoning/heron-theorem/test usr/share/doc/eye/examples/reasoning/image usr/share/doc/eye/examples/reasoning/image/README usr/share/doc/eye/examples/reasoning/image/easter-proof.n3 usr/share/doc/eye/examples/reasoning/image/easter.n3 usr/share/doc/eye/examples/reasoning/image/prepare usr/share/doc/eye/examples/reasoning/image/query.n3 usr/share/doc/eye/examples/reasoning/image/test usr/share/doc/eye/examples/reasoning/image/year.n3 usr/share/doc/eye/examples/reasoning/iq usr/share/doc/eye/examples/reasoning/iq/README usr/share/doc/eye/examples/reasoning/iq/iq-answer.n3 usr/share/doc/eye/examples/reasoning/iq/iq-extra-answer.n3 usr/share/doc/eye/examples/reasoning/iq/iq-extra.n3 usr/share/doc/eye/examples/reasoning/iq/iq.n3 usr/share/doc/eye/examples/reasoning/iq/test usr/share/doc/eye/examples/reasoning/issue118 usr/share/doc/eye/examples/reasoning/issue118/README usr/share/doc/eye/examples/reasoning/issue118/issue118-answer.n3 usr/share/doc/eye/examples/reasoning/issue118/issue118.n3 usr/share/doc/eye/examples/reasoning/issue118/test usr/share/doc/eye/examples/reasoning/issue141 usr/share/doc/eye/examples/reasoning/issue141/README usr/share/doc/eye/examples/reasoning/issue141/test usr/share/doc/eye/examples/reasoning/issue141/test1-answer.n3 usr/share/doc/eye/examples/reasoning/issue141/test1.n3 usr/share/doc/eye/examples/reasoning/issue141/test2-answer.n3 usr/share/doc/eye/examples/reasoning/issue141/test2.n3 usr/share/doc/eye/examples/reasoning/issue141/test3-answer.n3 usr/share/doc/eye/examples/reasoning/issue141/test3.n3 usr/share/doc/eye/examples/reasoning/issue148 usr/share/doc/eye/examples/reasoning/issue148/README usr/share/doc/eye/examples/reasoning/issue148/issue148-answer.n3 usr/share/doc/eye/examples/reasoning/issue148/req.n3 usr/share/doc/eye/examples/reasoning/issue148/resource.n3 usr/share/doc/eye/examples/reasoning/issue148/response usr/share/doc/eye/examples/reasoning/issue148/test usr/share/doc/eye/examples/reasoning/issue148/test.n3 usr/share/doc/eye/examples/reasoning/issue148/tuner.n3 usr/share/doc/eye/examples/reasoning/issue154 usr/share/doc/eye/examples/reasoning/issue154/README usr/share/doc/eye/examples/reasoning/issue154/issue154-answer.n3 usr/share/doc/eye/examples/reasoning/issue154/issue154.n3 usr/share/doc/eye/examples/reasoning/issue154/test usr/share/doc/eye/examples/reasoning/kaprekar usr/share/doc/eye/examples/reasoning/kaprekar/README usr/share/doc/eye/examples/reasoning/kaprekar/kaprekar-answer.n3 usr/share/doc/eye/examples/reasoning/kaprekar/kaprekar-query.n3 usr/share/doc/eye/examples/reasoning/kaprekar/kaprekar.n3 usr/share/doc/eye/examples/reasoning/kaprekar/test usr/share/doc/eye/examples/reasoning/law-of-cosines usr/share/doc/eye/examples/reasoning/law-of-cosines/README usr/share/doc/eye/examples/reasoning/law-of-cosines/law-of-cosines-answer.n3 usr/share/doc/eye/examples/reasoning/law-of-cosines/law-of-cosines.n3 usr/share/doc/eye/examples/reasoning/law-of-cosines/test usr/share/doc/eye/examples/reasoning/ldes usr/share/doc/eye/examples/reasoning/ldes/README usr/share/doc/eye/examples/reasoning/ldes/ldes-answer.n3 usr/share/doc/eye/examples/reasoning/ldes/ldes-data.trig usr/share/doc/eye/examples/reasoning/ldes/ldes-query.n3 usr/share/doc/eye/examples/reasoning/ldes/test usr/share/doc/eye/examples/reasoning/lee usr/share/doc/eye/examples/reasoning/lee/README usr/share/doc/eye/examples/reasoning/lee/lee.n3 usr/share/doc/eye/examples/reasoning/lee/leeA.n3 usr/share/doc/eye/examples/reasoning/lee/leeE.n3 usr/share/doc/eye/examples/reasoning/lee/leeQ.n3 usr/share/doc/eye/examples/reasoning/lee/test usr/share/doc/eye/examples/reasoning/lingua usr/share/doc/eye/examples/reasoning/lingua/README.md usr/share/doc/eye/examples/reasoning/lingua/input usr/share/doc/eye/examples/reasoning/lingua/input/ackermann.trig usr/share/doc/eye/examples/reasoning/lingua/input/acp.trig usr/share/doc/eye/examples/reasoning/lingua/input/age.trig usr/share/doc/eye/examples/reasoning/lingua/input/backward.trig usr/share/doc/eye/examples/reasoning/lingua/input/cobbler.trig usr/share/doc/eye/examples/reasoning/lingua/input/color.trig usr/share/doc/eye/examples/reasoning/lingua/input/complex.trig usr/share/doc/eye/examples/reasoning/lingua/input/control.trig usr/share/doc/eye/examples/reasoning/lingua/input/derived.trig usr/share/doc/eye/examples/reasoning/lingua/input/easter.trig usr/share/doc/eye/examples/reasoning/lingua/input/equality.trig usr/share/doc/eye/examples/reasoning/lingua/input/fibonacci.trig usr/share/doc/eye/examples/reasoning/lingua/input/filter.trig usr/share/doc/eye/examples/reasoning/lingua/input/gcc.trig usr/share/doc/eye/examples/reasoning/lingua/input/gps.trig usr/share/doc/eye/examples/reasoning/lingua/input/graph.trig usr/share/doc/eye/examples/reasoning/lingua/input/hanoi.trig usr/share/doc/eye/examples/reasoning/lingua/input/issue118.trig usr/share/doc/eye/examples/reasoning/lingua/input/ldes.trig usr/share/doc/eye/examples/reasoning/lingua/input/mapping.trig usr/share/doc/eye/examples/reasoning/lingua/input/mi.trig usr/share/doc/eye/examples/reasoning/lingua/input/pack.trig usr/share/doc/eye/examples/reasoning/lingua/input/patch.trig usr/share/doc/eye/examples/reasoning/lingua/input/peano.trig usr/share/doc/eye/examples/reasoning/lingua/input/pi.trig usr/share/doc/eye/examples/reasoning/lingua/input/qiana.trig usr/share/doc/eye/examples/reasoning/lingua/input/queens.trig usr/share/doc/eye/examples/reasoning/lingua/input/restdesc.trig usr/share/doc/eye/examples/reasoning/lingua/input/sha512.trig usr/share/doc/eye/examples/reasoning/lingua/input/snaf.trig usr/share/doc/eye/examples/reasoning/lingua/input/socrates.trig usr/share/doc/eye/examples/reasoning/lingua/input/statement.trig usr/share/doc/eye/examples/reasoning/lingua/input/tak.trig usr/share/doc/eye/examples/reasoning/lingua/input/turing.trig usr/share/doc/eye/examples/reasoning/lingua/input/union.trig usr/share/doc/eye/examples/reasoning/lingua/input/universal.trig usr/share/doc/eye/examples/reasoning/lingua/input/witch.trig usr/share/doc/eye/examples/reasoning/lingua/output usr/share/doc/eye/examples/reasoning/lingua/output/ackermann.trig usr/share/doc/eye/examples/reasoning/lingua/output/acp.trig usr/share/doc/eye/examples/reasoning/lingua/output/age.trig usr/share/doc/eye/examples/reasoning/lingua/output/backward.trig usr/share/doc/eye/examples/reasoning/lingua/output/cobbler.trig usr/share/doc/eye/examples/reasoning/lingua/output/color.trig usr/share/doc/eye/examples/reasoning/lingua/output/complex.trig usr/share/doc/eye/examples/reasoning/lingua/output/control.trig usr/share/doc/eye/examples/reasoning/lingua/output/derived.trig usr/share/doc/eye/examples/reasoning/lingua/output/easter.trig usr/share/doc/eye/examples/reasoning/lingua/output/equality.trig usr/share/doc/eye/examples/reasoning/lingua/output/fibonacci.trig usr/share/doc/eye/examples/reasoning/lingua/output/filter.trig usr/share/doc/eye/examples/reasoning/lingua/output/gcc.trig usr/share/doc/eye/examples/reasoning/lingua/output/gps.trig usr/share/doc/eye/examples/reasoning/lingua/output/graph.trig usr/share/doc/eye/examples/reasoning/lingua/output/hanoi.trig usr/share/doc/eye/examples/reasoning/lingua/output/issue118.trig usr/share/doc/eye/examples/reasoning/lingua/output/ldes.trig usr/share/doc/eye/examples/reasoning/lingua/output/mapping.trig usr/share/doc/eye/examples/reasoning/lingua/output/mi.trig usr/share/doc/eye/examples/reasoning/lingua/output/pack.trig usr/share/doc/eye/examples/reasoning/lingua/output/patch.trig usr/share/doc/eye/examples/reasoning/lingua/output/peano.trig usr/share/doc/eye/examples/reasoning/lingua/output/pi.trig usr/share/doc/eye/examples/reasoning/lingua/output/qiana.trig usr/share/doc/eye/examples/reasoning/lingua/output/queens.trig usr/share/doc/eye/examples/reasoning/lingua/output/restdesc.trig usr/share/doc/eye/examples/reasoning/lingua/output/sha512.trig usr/share/doc/eye/examples/reasoning/lingua/output/snaf.trig usr/share/doc/eye/examples/reasoning/lingua/output/socrates.trig usr/share/doc/eye/examples/reasoning/lingua/output/statement.trig usr/share/doc/eye/examples/reasoning/lingua/output/tak.trig usr/share/doc/eye/examples/reasoning/lingua/output/turing.trig usr/share/doc/eye/examples/reasoning/lingua/output/union.trig usr/share/doc/eye/examples/reasoning/lingua/output/universal.trig usr/share/doc/eye/examples/reasoning/lingua/output/witch.trig usr/share/doc/eye/examples/reasoning/lingua/test usr/share/doc/eye/examples/reasoning/lldm usr/share/doc/eye/examples/reasoning/lldm/README usr/share/doc/eye/examples/reasoning/lldm/lldmD.n3 usr/share/doc/eye/examples/reasoning/lldm/lldmE.n3 usr/share/doc/eye/examples/reasoning/lldm/lldmF.n3 usr/share/doc/eye/examples/reasoning/lldm/lldmP.n3 usr/share/doc/eye/examples/reasoning/lldm/test usr/share/doc/eye/examples/reasoning/map usr/share/doc/eye/examples/reasoning/map/README usr/share/doc/eye/examples/reasoning/map/agent1-answer.n3 usr/share/doc/eye/examples/reasoning/map/agent1-map.n3 usr/share/doc/eye/examples/reasoning/map/agent1-proof.n3 usr/share/doc/eye/examples/reasoning/map/agent1-query.n3 usr/share/doc/eye/examples/reasoning/map/agent2-answer.n3 usr/share/doc/eye/examples/reasoning/map/agent2-map.n3 usr/share/doc/eye/examples/reasoning/map/agent2-proof.n3 usr/share/doc/eye/examples/reasoning/map/agent2-query.n3 usr/share/doc/eye/examples/reasoning/map/gps-plugin.n3 usr/share/doc/eye/examples/reasoning/map/test usr/share/doc/eye/examples/reasoning/medic usr/share/doc/eye/examples/reasoning/medic/README usr/share/doc/eye/examples/reasoning/medic/medic.n3 usr/share/doc/eye/examples/reasoning/medic/medicE.n3 usr/share/doc/eye/examples/reasoning/medic/medicF.n3 usr/share/doc/eye/examples/reasoning/medic/test usr/share/doc/eye/examples/reasoning/meta-interpretation usr/share/doc/eye/examples/reasoning/meta-interpretation/README usr/share/doc/eye/examples/reasoning/meta-interpretation/mi-answer.n3 usr/share/doc/eye/examples/reasoning/meta-interpretation/mi-query.n3 usr/share/doc/eye/examples/reasoning/meta-interpretation/mi.n3 usr/share/doc/eye/examples/reasoning/meta-interpretation/test usr/share/doc/eye/examples/reasoning/mmln usr/share/doc/eye/examples/reasoning/mmln/README usr/share/doc/eye/examples/reasoning/mmln/mmln-gv-example.n3 usr/share/doc/eye/examples/reasoning/mmln/mmln-gv-mln.n3 usr/share/doc/eye/examples/reasoning/mmln/mmln-gv-proof.n3 usr/share/doc/eye/examples/reasoning/mmln/mmln-gv-query.n3 usr/share/doc/eye/examples/reasoning/mmln/mmln-plugin.n3 usr/share/doc/eye/examples/reasoning/mmln/test usr/share/doc/eye/examples/reasoning/multi-agent usr/share/doc/eye/examples/reasoning/multi-agent/README usr/share/doc/eye/examples/reasoning/multi-agent/multi-agent-answer.n3 usr/share/doc/eye/examples/reasoning/multi-agent/multi-agent-proof.n3 usr/share/doc/eye/examples/reasoning/multi-agent/multi-agent-query.n3 usr/share/doc/eye/examples/reasoning/multi-agent/multi-agent.n3 usr/share/doc/eye/examples/reasoning/multi-agent/test usr/share/doc/eye/examples/reasoning/n-queens usr/share/doc/eye/examples/reasoning/n-queens/README usr/share/doc/eye/examples/reasoning/n-queens/n-queens-answer.n3 usr/share/doc/eye/examples/reasoning/n-queens/n-queens-proof.n3 usr/share/doc/eye/examples/reasoning/n-queens/n-queens-query.n3 usr/share/doc/eye/examples/reasoning/n-queens/n-queens.n3 usr/share/doc/eye/examples/reasoning/n-queens/test usr/share/doc/eye/examples/reasoning/n3-dev usr/share/doc/eye/examples/reasoning/n3-dev/README usr/share/doc/eye/examples/reasoning/n3-dev/prepare usr/share/doc/eye/examples/reasoning/n3-dev/run-manifest.n3 usr/share/doc/eye/examples/reasoning/n3-dev/run-outcome-pass.n3 usr/share/doc/eye/examples/reasoning/n3-dev/run-outcome.n3 usr/share/doc/eye/examples/reasoning/n3-dev/test usr/share/doc/eye/examples/reasoning/n3-star usr/share/doc/eye/examples/reasoning/n3-star/README usr/share/doc/eye/examples/reasoning/n3-star/example-pass.n3 usr/share/doc/eye/examples/reasoning/n3-star/example.n3 usr/share/doc/eye/examples/reasoning/n3-star/test usr/share/doc/eye/examples/reasoning/n3c usr/share/doc/eye/examples/reasoning/n3c/README usr/share/doc/eye/examples/reasoning/n3c/components.n3 usr/share/doc/eye/examples/reasoning/n3c/forAllIn_answer.n3 usr/share/doc/eye/examples/reasoning/n3c/forAllIn_proof.n3 usr/share/doc/eye/examples/reasoning/n3c/forAllIn_query.n3 usr/share/doc/eye/examples/reasoning/n3c/notIn_answer.n3 usr/share/doc/eye/examples/reasoning/n3c/notIn_proof.n3 usr/share/doc/eye/examples/reasoning/n3c/notIn_query.n3 usr/share/doc/eye/examples/reasoning/n3c/subtasks.n3 usr/share/doc/eye/examples/reasoning/n3c/tasks.n3 usr/share/doc/eye/examples/reasoning/n3c/test usr/share/doc/eye/examples/reasoning/n3gl usr/share/doc/eye/examples/reasoning/n3gl/README usr/share/doc/eye/examples/reasoning/n3gl/example-pass.n3 usr/share/doc/eye/examples/reasoning/n3gl/example.n3 usr/share/doc/eye/examples/reasoning/n3gl/test usr/share/doc/eye/examples/reasoning/n3patch usr/share/doc/eye/examples/reasoning/n3patch/README usr/share/doc/eye/examples/reasoning/n3patch/patch-rule.n3 usr/share/doc/eye/examples/reasoning/n3patch/patch.n3 usr/share/doc/eye/examples/reasoning/n3patch/patched-data.ttl usr/share/doc/eye/examples/reasoning/n3patch/sample-data.ttl usr/share/doc/eye/examples/reasoning/n3patch/test usr/share/doc/eye/examples/reasoning/n3plus1 usr/share/doc/eye/examples/reasoning/n3plus1/README usr/share/doc/eye/examples/reasoning/n3plus1/in.n3 usr/share/doc/eye/examples/reasoning/n3plus1/out.n3 usr/share/doc/eye/examples/reasoning/n3plus1/query.n3 usr/share/doc/eye/examples/reasoning/n3plus1/test usr/share/doc/eye/examples/reasoning/nbbn usr/share/doc/eye/examples/reasoning/nbbn/README usr/share/doc/eye/examples/reasoning/nbbn/nbbn-model.n3 usr/share/doc/eye/examples/reasoning/nbbn/nbbn-plugin.n3 usr/share/doc/eye/examples/reasoning/nbbn/nbbn-query.n3 usr/share/doc/eye/examples/reasoning/nbbn/nbbn_proof.n3 usr/share/doc/eye/examples/reasoning/nbbn/test usr/share/doc/eye/examples/reasoning/nexus usr/share/doc/eye/examples/reasoning/nexus/README.md usr/share/doc/eye/examples/reasoning/nexus/ackermann usr/share/doc/eye/examples/reasoning/nexus/ackermann/README usr/share/doc/eye/examples/reasoning/nexus/ackermann/ackermann-answer.ttl usr/share/doc/eye/examples/reasoning/nexus/ackermann/ackermann-query.rq usr/share/doc/eye/examples/reasoning/nexus/ackermann/ackermann.rq usr/share/doc/eye/examples/reasoning/nexus/ackermann/test usr/share/doc/eye/examples/reasoning/nexus/basic-monadic usr/share/doc/eye/examples/reasoning/nexus/basic-monadic/10tt_answer.ttl usr/share/doc/eye/examples/reasoning/nexus/basic-monadic/1tt1.ttl usr/share/doc/eye/examples/reasoning/nexus/basic-monadic/1tt10.ttl usr/share/doc/eye/examples/reasoning/nexus/basic-monadic/1tt2.ttl usr/share/doc/eye/examples/reasoning/nexus/basic-monadic/1tt3.ttl usr/share/doc/eye/examples/reasoning/nexus/basic-monadic/1tt4.ttl usr/share/doc/eye/examples/reasoning/nexus/basic-monadic/1tt5.ttl usr/share/doc/eye/examples/reasoning/nexus/basic-monadic/1tt6.ttl usr/share/doc/eye/examples/reasoning/nexus/basic-monadic/1tt7.ttl usr/share/doc/eye/examples/reasoning/nexus/basic-monadic/1tt8.ttl usr/share/doc/eye/examples/reasoning/nexus/basic-monadic/1tt9.ttl usr/share/doc/eye/examples/reasoning/nexus/basic-monadic/README usr/share/doc/eye/examples/reasoning/nexus/basic-monadic/query.rq usr/share/doc/eye/examples/reasoning/nexus/basic-monadic/test usr/share/doc/eye/examples/reasoning/nexus/complex usr/share/doc/eye/examples/reasoning/nexus/complex/README usr/share/doc/eye/examples/reasoning/nexus/complex/complex-answer.ttl usr/share/doc/eye/examples/reasoning/nexus/complex/complex-query.rq usr/share/doc/eye/examples/reasoning/nexus/complex/complex.rq usr/share/doc/eye/examples/reasoning/nexus/complex/test usr/share/doc/eye/examples/reasoning/nexus/context-associations usr/share/doc/eye/examples/reasoning/nexus/context-associations/README usr/share/doc/eye/examples/reasoning/nexus/context-associations/context-associations-answer.ttl usr/share/doc/eye/examples/reasoning/nexus/context-associations/context-associations-query.rq usr/share/doc/eye/examples/reasoning/nexus/context-associations/context-associations.ttl usr/share/doc/eye/examples/reasoning/nexus/context-associations/test usr/share/doc/eye/examples/reasoning/nexus/control-system usr/share/doc/eye/examples/reasoning/nexus/control-system/README usr/share/doc/eye/examples/reasoning/nexus/control-system/answer.ttl usr/share/doc/eye/examples/reasoning/nexus/control-system/data.ttl usr/share/doc/eye/examples/reasoning/nexus/control-system/query.rq usr/share/doc/eye/examples/reasoning/nexus/control-system/rules.rq usr/share/doc/eye/examples/reasoning/nexus/control-system/test usr/share/doc/eye/examples/reasoning/nexus/deep-taxonomy usr/share/doc/eye/examples/reasoning/nexus/deep-taxonomy/README usr/share/doc/eye/examples/reasoning/nexus/deep-taxonomy/subclass.rq usr/share/doc/eye/examples/reasoning/nexus/deep-taxonomy/test usr/share/doc/eye/examples/reasoning/nexus/deep-taxonomy/test-answer.ttl usr/share/doc/eye/examples/reasoning/nexus/deep-taxonomy/test-dl.ttl usr/share/doc/eye/examples/reasoning/nexus/deep-taxonomy/test-facts.ttl usr/share/doc/eye/examples/reasoning/nexus/deep-taxonomy/test-query.rq usr/share/doc/eye/examples/reasoning/nexus/derived-rule usr/share/doc/eye/examples/reasoning/nexus/derived-rule/README usr/share/doc/eye/examples/reasoning/nexus/derived-rule/derived-rule-answer.ttl usr/share/doc/eye/examples/reasoning/nexus/derived-rule/derived-rule-query.rq usr/share/doc/eye/examples/reasoning/nexus/derived-rule/derived-rule.rq usr/share/doc/eye/examples/reasoning/nexus/derived-rule/derived-rule.ttl usr/share/doc/eye/examples/reasoning/nexus/derived-rule/test usr/share/doc/eye/examples/reasoning/nexus/fibonacci usr/share/doc/eye/examples/reasoning/nexus/fibonacci/README usr/share/doc/eye/examples/reasoning/nexus/fibonacci/fibonacci-answer.ttl usr/share/doc/eye/examples/reasoning/nexus/fibonacci/fibonacci-query.rq usr/share/doc/eye/examples/reasoning/nexus/fibonacci/fibonacci.rq usr/share/doc/eye/examples/reasoning/nexus/fibonacci/test usr/share/doc/eye/examples/reasoning/nexus/fuse usr/share/doc/eye/examples/reasoning/nexus/fuse/README usr/share/doc/eye/examples/reasoning/nexus/fuse/fuse-output.err usr/share/doc/eye/examples/reasoning/nexus/fuse/fuse.rq usr/share/doc/eye/examples/reasoning/nexus/fuse/fuse.ttl usr/share/doc/eye/examples/reasoning/nexus/fuse/test usr/share/doc/eye/examples/reasoning/nexus/good-cobbler usr/share/doc/eye/examples/reasoning/nexus/good-cobbler/README usr/share/doc/eye/examples/reasoning/nexus/good-cobbler/good-cobbler-answer.ttl usr/share/doc/eye/examples/reasoning/nexus/good-cobbler/good-cobbler-query.rq usr/share/doc/eye/examples/reasoning/nexus/good-cobbler/good-cobbler.ttl usr/share/doc/eye/examples/reasoning/nexus/good-cobbler/test usr/share/doc/eye/examples/reasoning/nexus/gps usr/share/doc/eye/examples/reasoning/nexus/gps/README usr/share/doc/eye/examples/reasoning/nexus/gps/gps-answer.ttl usr/share/doc/eye/examples/reasoning/nexus/gps/gps-example.rq usr/share/doc/eye/examples/reasoning/nexus/gps/gps-example.ttl usr/share/doc/eye/examples/reasoning/nexus/gps/gps-plugin.rq usr/share/doc/eye/examples/reasoning/nexus/gps/gps-query.rq usr/share/doc/eye/examples/reasoning/nexus/gps/gps-schema usr/share/doc/eye/examples/reasoning/nexus/gps/test usr/share/doc/eye/examples/reasoning/nexus/graph usr/share/doc/eye/examples/reasoning/nexus/graph/README usr/share/doc/eye/examples/reasoning/nexus/graph/graph-answer.ttl usr/share/doc/eye/examples/reasoning/nexus/graph/graph-query.rq usr/share/doc/eye/examples/reasoning/nexus/graph/graph.ttl usr/share/doc/eye/examples/reasoning/nexus/graph/rpo-rules.rq usr/share/doc/eye/examples/reasoning/nexus/graph/test usr/share/doc/eye/examples/reasoning/nexus/packaging usr/share/doc/eye/examples/reasoning/nexus/packaging/README usr/share/doc/eye/examples/reasoning/nexus/packaging/packaging-answer.trig usr/share/doc/eye/examples/reasoning/nexus/packaging/packaging-query.rq usr/share/doc/eye/examples/reasoning/nexus/packaging/packaging.trig usr/share/doc/eye/examples/reasoning/nexus/packaging/test usr/share/doc/eye/examples/reasoning/nexus/path-discovery usr/share/doc/eye/examples/reasoning/nexus/path-discovery/README usr/share/doc/eye/examples/reasoning/nexus/path-discovery/path-discovery-algorithm.rq usr/share/doc/eye/examples/reasoning/nexus/path-discovery/path-discovery-answer.ttl usr/share/doc/eye/examples/reasoning/nexus/path-discovery/path-discovery-data.ttl usr/share/doc/eye/examples/reasoning/nexus/path-discovery/path-discovery-query.rq usr/share/doc/eye/examples/reasoning/nexus/path-discovery/test usr/share/doc/eye/examples/reasoning/nexus/peano usr/share/doc/eye/examples/reasoning/nexus/peano/README usr/share/doc/eye/examples/reasoning/nexus/peano/peano-answer.ttl usr/share/doc/eye/examples/reasoning/nexus/peano/peano-query.rq usr/share/doc/eye/examples/reasoning/nexus/peano/peano.rq usr/share/doc/eye/examples/reasoning/nexus/peano/test usr/share/doc/eye/examples/reasoning/nexus/proof-by-cases usr/share/doc/eye/examples/reasoning/nexus/proof-by-cases/README usr/share/doc/eye/examples/reasoning/nexus/proof-by-cases/example1-answer.ttl usr/share/doc/eye/examples/reasoning/nexus/proof-by-cases/example1-query.rq usr/share/doc/eye/examples/reasoning/nexus/proof-by-cases/example1.rq usr/share/doc/eye/examples/reasoning/nexus/proof-by-cases/example2-answer.ttl usr/share/doc/eye/examples/reasoning/nexus/proof-by-cases/example2-query.rq usr/share/doc/eye/examples/reasoning/nexus/proof-by-cases/example2.rq usr/share/doc/eye/examples/reasoning/nexus/proof-by-cases/test usr/share/doc/eye/examples/reasoning/nexus/proof-by-contradiction usr/share/doc/eye/examples/reasoning/nexus/proof-by-contradiction/README usr/share/doc/eye/examples/reasoning/nexus/proof-by-contradiction/example1-answer.ttl usr/share/doc/eye/examples/reasoning/nexus/proof-by-contradiction/example1-query.rq usr/share/doc/eye/examples/reasoning/nexus/proof-by-contradiction/example1.rq usr/share/doc/eye/examples/reasoning/nexus/proof-by-contradiction/example2-answer.ttl usr/share/doc/eye/examples/reasoning/nexus/proof-by-contradiction/example2-query.rq usr/share/doc/eye/examples/reasoning/nexus/proof-by-contradiction/example2.rq usr/share/doc/eye/examples/reasoning/nexus/proof-by-contradiction/test usr/share/doc/eye/examples/reasoning/nexus/proof-by-induction usr/share/doc/eye/examples/reasoning/nexus/proof-by-induction/README usr/share/doc/eye/examples/reasoning/nexus/proof-by-induction/example1-answer.ttl usr/share/doc/eye/examples/reasoning/nexus/proof-by-induction/example1-query.rq usr/share/doc/eye/examples/reasoning/nexus/proof-by-induction/example1.rq usr/share/doc/eye/examples/reasoning/nexus/proof-by-induction/example2-answer.ttl usr/share/doc/eye/examples/reasoning/nexus/proof-by-induction/example2-query.rq usr/share/doc/eye/examples/reasoning/nexus/proof-by-induction/example2.rq usr/share/doc/eye/examples/reasoning/nexus/proof-by-induction/test usr/share/doc/eye/examples/reasoning/nexus/socrates usr/share/doc/eye/examples/reasoning/nexus/socrates/README usr/share/doc/eye/examples/reasoning/nexus/socrates/socrates-answer.ttl usr/share/doc/eye/examples/reasoning/nexus/socrates/socrates-query.rq usr/share/doc/eye/examples/reasoning/nexus/socrates/socrates.rq usr/share/doc/eye/examples/reasoning/nexus/socrates/socrates.ttl usr/share/doc/eye/examples/reasoning/nexus/socrates/test usr/share/doc/eye/examples/reasoning/nexus/test usr/share/doc/eye/examples/reasoning/nexus/turing usr/share/doc/eye/examples/reasoning/nexus/turing/README usr/share/doc/eye/examples/reasoning/nexus/turing/test usr/share/doc/eye/examples/reasoning/nexus/turing/turing-answer.ttl usr/share/doc/eye/examples/reasoning/nexus/turing/turing-increment.ttl usr/share/doc/eye/examples/reasoning/nexus/turing/turing-query.rq usr/share/doc/eye/examples/reasoning/nexus/turing/turing.rq usr/share/doc/eye/examples/reasoning/nexus/universal usr/share/doc/eye/examples/reasoning/nexus/universal/README usr/share/doc/eye/examples/reasoning/nexus/universal/test usr/share/doc/eye/examples/reasoning/nexus/universal/universal-answer.ttl usr/share/doc/eye/examples/reasoning/nexus/universal/universal-query.rq usr/share/doc/eye/examples/reasoning/nexus/universal/universal.rq usr/share/doc/eye/examples/reasoning/nixon-diamond usr/share/doc/eye/examples/reasoning/nixon-diamond/README usr/share/doc/eye/examples/reasoning/nixon-diamond/nixon-diamond-answer.n3 usr/share/doc/eye/examples/reasoning/nixon-diamond/nixon-diamond.n3 usr/share/doc/eye/examples/reasoning/nixon-diamond/test usr/share/doc/eye/examples/reasoning/padovan usr/share/doc/eye/examples/reasoning/padovan/README usr/share/doc/eye/examples/reasoning/padovan/padovan.n3 usr/share/doc/eye/examples/reasoning/padovan/padovanA.n3 usr/share/doc/eye/examples/reasoning/padovan/padovanQ.n3 usr/share/doc/eye/examples/reasoning/padovan/test usr/share/doc/eye/examples/reasoning/path usr/share/doc/eye/examples/reasoning/path/README usr/share/doc/eye/examples/reasoning/path/path-answer.n3 usr/share/doc/eye/examples/reasoning/path/path-query.n3 usr/share/doc/eye/examples/reasoning/path/path.n3 usr/share/doc/eye/examples/reasoning/path/test usr/share/doc/eye/examples/reasoning/path-discovery usr/share/doc/eye/examples/reasoning/path-discovery/README usr/share/doc/eye/examples/reasoning/path-discovery/path-discovery-algorithm.n3 usr/share/doc/eye/examples/reasoning/path-discovery/path-discovery-answer.n3 usr/share/doc/eye/examples/reasoning/path-discovery/path-discovery-data.ttl usr/share/doc/eye/examples/reasoning/path-discovery/path-discovery-query.n3 usr/share/doc/eye/examples/reasoning/path-discovery/test usr/share/doc/eye/examples/reasoning/peano usr/share/doc/eye/examples/reasoning/peano/README usr/share/doc/eye/examples/reasoning/peano/peano-answer.n3 usr/share/doc/eye/examples/reasoning/peano/peano-query.n3 usr/share/doc/eye/examples/reasoning/peano/peano.n3 usr/share/doc/eye/examples/reasoning/peano/test usr/share/doc/eye/examples/reasoning/peasant usr/share/doc/eye/examples/reasoning/peasant/README usr/share/doc/eye/examples/reasoning/peasant/peasant-answer.n3 usr/share/doc/eye/examples/reasoning/peasant/peasant-query.n3 usr/share/doc/eye/examples/reasoning/peasant/peasant.n3 usr/share/doc/eye/examples/reasoning/peasant/test usr/share/doc/eye/examples/reasoning/pi usr/share/doc/eye/examples/reasoning/pi/README usr/share/doc/eye/examples/reasoning/pi/pi-answer.n3 usr/share/doc/eye/examples/reasoning/pi/pi-query.n3 usr/share/doc/eye/examples/reasoning/pi/pi.n3 usr/share/doc/eye/examples/reasoning/pi/test usr/share/doc/eye/examples/reasoning/polygon usr/share/doc/eye/examples/reasoning/polygon/README usr/share/doc/eye/examples/reasoning/polygon/polygon.n3 usr/share/doc/eye/examples/reasoning/polygon/polygon_answer.n3 usr/share/doc/eye/examples/reasoning/polygon/polygon_proof.n3 usr/share/doc/eye/examples/reasoning/polygon/polygon_query.n3 usr/share/doc/eye/examples/reasoning/polygon/test usr/share/doc/eye/examples/reasoning/pptbank usr/share/doc/eye/examples/reasoning/pptbank/README usr/share/doc/eye/examples/reasoning/pptbank/acct3check1.n3 usr/share/doc/eye/examples/reasoning/pptbank/acct3check2.n3 usr/share/doc/eye/examples/reasoning/pptbank/acct3start.n3 usr/share/doc/eye/examples/reasoning/pptbank/bankSW.n3 usr/share/doc/eye/examples/reasoning/pptbank/checking.n3 usr/share/doc/eye/examples/reasoning/pptbank/proof.n3 usr/share/doc/eye/examples/reasoning/pptbank/query.n3 usr/share/doc/eye/examples/reasoning/pptbank/test usr/share/doc/eye/examples/reasoning/preduction usr/share/doc/eye/examples/reasoning/preduction/README usr/share/doc/eye/examples/reasoning/preduction/food-declarations.n3 usr/share/doc/eye/examples/reasoning/preduction/food-example.n3 usr/share/doc/eye/examples/reasoning/preduction/food-preduction.n3 usr/share/doc/eye/examples/reasoning/preduction/food-proof.n3 usr/share/doc/eye/examples/reasoning/preduction/food-query.n3 usr/share/doc/eye/examples/reasoning/preduction/food.n3 usr/share/doc/eye/examples/reasoning/preduction/food2-proof.n3 usr/share/doc/eye/examples/reasoning/preduction/food2.n3 usr/share/doc/eye/examples/reasoning/preduction/palindrome-declarations.n3 usr/share/doc/eye/examples/reasoning/preduction/palindrome-preduction.n3 usr/share/doc/eye/examples/reasoning/preduction/palindrome-proof.n3 usr/share/doc/eye/examples/reasoning/preduction/palindrome-query.n3 usr/share/doc/eye/examples/reasoning/preduction/palindrome.n3 usr/share/doc/eye/examples/reasoning/preduction/palindrome2-proof.n3 usr/share/doc/eye/examples/reasoning/preduction/palindrome2-query.n3 usr/share/doc/eye/examples/reasoning/preduction/palindrome2.n3 usr/share/doc/eye/examples/reasoning/preduction/preduction-plugin.n3 usr/share/doc/eye/examples/reasoning/preduction/test usr/share/doc/eye/examples/reasoning/prepare usr/share/doc/eye/examples/reasoning/proof-by-cases usr/share/doc/eye/examples/reasoning/proof-by-cases/README usr/share/doc/eye/examples/reasoning/proof-by-cases/example1-answer.n3 usr/share/doc/eye/examples/reasoning/proof-by-cases/example1-proof.n3 usr/share/doc/eye/examples/reasoning/proof-by-cases/example1-query.n3 usr/share/doc/eye/examples/reasoning/proof-by-cases/example1.n3 usr/share/doc/eye/examples/reasoning/proof-by-cases/example2-answer.n3 usr/share/doc/eye/examples/reasoning/proof-by-cases/example2-proof.n3 usr/share/doc/eye/examples/reasoning/proof-by-cases/example2-query.n3 usr/share/doc/eye/examples/reasoning/proof-by-cases/example2.n3 usr/share/doc/eye/examples/reasoning/proof-by-cases/test usr/share/doc/eye/examples/reasoning/proof-by-contradiction usr/share/doc/eye/examples/reasoning/proof-by-contradiction/README usr/share/doc/eye/examples/reasoning/proof-by-contradiction/example1-answer.n3 usr/share/doc/eye/examples/reasoning/proof-by-contradiction/example1-proof.n3 usr/share/doc/eye/examples/reasoning/proof-by-contradiction/example1-query.n3 usr/share/doc/eye/examples/reasoning/proof-by-contradiction/example1.n3 usr/share/doc/eye/examples/reasoning/proof-by-contradiction/example2-answer.n3 usr/share/doc/eye/examples/reasoning/proof-by-contradiction/example2-proof.n3 usr/share/doc/eye/examples/reasoning/proof-by-contradiction/example2-query.n3 usr/share/doc/eye/examples/reasoning/proof-by-contradiction/example2.n3 usr/share/doc/eye/examples/reasoning/proof-by-contradiction/test usr/share/doc/eye/examples/reasoning/proof-by-contrapositive usr/share/doc/eye/examples/reasoning/proof-by-contrapositive/README usr/share/doc/eye/examples/reasoning/proof-by-contrapositive/example1-answer.n3 usr/share/doc/eye/examples/reasoning/proof-by-contrapositive/example1-proof.n3 usr/share/doc/eye/examples/reasoning/proof-by-contrapositive/example1-query.n3 usr/share/doc/eye/examples/reasoning/proof-by-contrapositive/example1.n3 usr/share/doc/eye/examples/reasoning/proof-by-contrapositive/example2-answer.n3 usr/share/doc/eye/examples/reasoning/proof-by-contrapositive/example2-proof.n3 usr/share/doc/eye/examples/reasoning/proof-by-contrapositive/example2-query.n3 usr/share/doc/eye/examples/reasoning/proof-by-contrapositive/example2.n3 usr/share/doc/eye/examples/reasoning/proof-by-contrapositive/test usr/share/doc/eye/examples/reasoning/proof-by-induction usr/share/doc/eye/examples/reasoning/proof-by-induction/README usr/share/doc/eye/examples/reasoning/proof-by-induction/example1-answer.n3 usr/share/doc/eye/examples/reasoning/proof-by-induction/example1-proof.n3 usr/share/doc/eye/examples/reasoning/proof-by-induction/example1-query.n3 usr/share/doc/eye/examples/reasoning/proof-by-induction/example1.n3 usr/share/doc/eye/examples/reasoning/proof-by-induction/test usr/share/doc/eye/examples/reasoning/pythagorean-theorem usr/share/doc/eye/examples/reasoning/pythagorean-theorem/README usr/share/doc/eye/examples/reasoning/pythagorean-theorem/pythagorean-theorem-answer.n3 usr/share/doc/eye/examples/reasoning/pythagorean-theorem/pythagorean-theorem.n3 usr/share/doc/eye/examples/reasoning/pythagorean-theorem/test usr/share/doc/eye/examples/reasoning/qgen usr/share/doc/eye/examples/reasoning/qgen/README usr/share/doc/eye/examples/reasoning/qgen/answer.n3 usr/share/doc/eye/examples/reasoning/qgen/qgen.n3 usr/share/doc/eye/examples/reasoning/qgen/query.n3 usr/share/doc/eye/examples/reasoning/qgen/test usr/share/doc/eye/examples/reasoning/qiana usr/share/doc/eye/examples/reasoning/qiana/README usr/share/doc/eye/examples/reasoning/qiana/qiana-answer.n3 usr/share/doc/eye/examples/reasoning/qiana/qiana-proof.n3 usr/share/doc/eye/examples/reasoning/qiana/qiana-query.n3 usr/share/doc/eye/examples/reasoning/qiana/qiana.n3 usr/share/doc/eye/examples/reasoning/qiana/test usr/share/doc/eye/examples/reasoning/quadratic-equation usr/share/doc/eye/examples/reasoning/quadratic-equation/README usr/share/doc/eye/examples/reasoning/quadratic-equation/quadratic-equation-answer.n3 usr/share/doc/eye/examples/reasoning/quadratic-equation/quadratic-equation.n3 usr/share/doc/eye/examples/reasoning/quadratic-equation/test usr/share/doc/eye/examples/reasoning/quantum-darwinism usr/share/doc/eye/examples/reasoning/quantum-darwinism/README usr/share/doc/eye/examples/reasoning/quantum-darwinism/quantum-darwinism-answer.n3 usr/share/doc/eye/examples/reasoning/quantum-darwinism/quantum-darwinism.n3 usr/share/doc/eye/examples/reasoning/quantum-darwinism/test usr/share/doc/eye/examples/reasoning/rdf-star usr/share/doc/eye/examples/reasoning/rdf-star/README usr/share/doc/eye/examples/reasoning/rdf-star/prepare usr/share/doc/eye/examples/reasoning/rdf-star/run-manifest.n3 usr/share/doc/eye/examples/reasoning/rdf-star/run-outcome-pass.n3 usr/share/doc/eye/examples/reasoning/rdf-star/run-outcome.n3 usr/share/doc/eye/examples/reasoning/rdf-star/test usr/share/doc/eye/examples/reasoning/rdf-star-reasoning usr/share/doc/eye/examples/reasoning/rdf-star-reasoning/README usr/share/doc/eye/examples/reasoning/rdf-star-reasoning/answer.n3 usr/share/doc/eye/examples/reasoning/rdf-star-reasoning/socrates-pass.n3 usr/share/doc/eye/examples/reasoning/rdf-star-reasoning/socrates.n3 usr/share/doc/eye/examples/reasoning/rdf-star-reasoning/test usr/share/doc/eye/examples/reasoning/rdf-star-reasoning/test.n3 usr/share/doc/eye/examples/reasoning/rdf12 usr/share/doc/eye/examples/reasoning/rdf12/README usr/share/doc/eye/examples/reasoning/rdf12/prepare usr/share/doc/eye/examples/reasoning/rdf12/run-manifest.n3 usr/share/doc/eye/examples/reasoning/rdf12/run-outcome-pass.n3 usr/share/doc/eye/examples/reasoning/rdf12/run-outcome.n3 usr/share/doc/eye/examples/reasoning/rdf12/test usr/share/doc/eye/examples/reasoning/reif usr/share/doc/eye/examples/reasoning/reif/README usr/share/doc/eye/examples/reasoning/reif/data-reif.n3 usr/share/doc/eye/examples/reasoning/reif/data-roundtrip.n3 usr/share/doc/eye/examples/reasoning/reif/data.n3 usr/share/doc/eye/examples/reasoning/reif/dereify.n3 usr/share/doc/eye/examples/reasoning/reif/reify.n3 usr/share/doc/eye/examples/reasoning/reif/test usr/share/doc/eye/examples/reasoning/resto usr/share/doc/eye/examples/reasoning/resto/README usr/share/doc/eye/examples/reasoning/resto/resto-proof.n3 usr/share/doc/eye/examples/reasoning/resto/resto.n3 usr/share/doc/eye/examples/reasoning/resto/restoG.n3 usr/share/doc/eye/examples/reasoning/resto/test usr/share/doc/eye/examples/reasoning/restpath usr/share/doc/eye/examples/reasoning/restpath/README usr/share/doc/eye/examples/reasoning/restpath/goal.n3 usr/share/doc/eye/examples/reasoning/restpath/initial.n3 usr/share/doc/eye/examples/reasoning/restpath/path-9-3-proof.n3 usr/share/doc/eye/examples/reasoning/restpath/path-9-3.n3 usr/share/doc/eye/examples/reasoning/restpath/test usr/share/doc/eye/examples/reasoning/rgb usr/share/doc/eye/examples/reasoning/rgb/README usr/share/doc/eye/examples/reasoning/rgb/blueproof001.n3 usr/share/doc/eye/examples/reasoning/rgb/blueproof002.n3 usr/share/doc/eye/examples/reasoning/rgb/blueproof003.n3 usr/share/doc/eye/examples/reasoning/rgb/greenquery001.n3 usr/share/doc/eye/examples/reasoning/rgb/greenquery002.n3 usr/share/doc/eye/examples/reasoning/rgb/greenquery003.n3 usr/share/doc/eye/examples/reasoning/rgb/redgraph001.n3 usr/share/doc/eye/examples/reasoning/rgb/redgraph002.n3 usr/share/doc/eye/examples/reasoning/rgb/redgraph003.n3 usr/share/doc/eye/examples/reasoning/rgb/test usr/share/doc/eye/examples/reasoning/rif usr/share/doc/eye/examples/reasoning/rif/README usr/share/doc/eye/examples/reasoning/rif/rifE.n3 usr/share/doc/eye/examples/reasoning/rif/rifP.n3 usr/share/doc/eye/examples/reasoning/rif/rifQ.n3 usr/share/doc/eye/examples/reasoning/rif/test usr/share/doc/eye/examples/reasoning/rpo usr/share/doc/eye/examples/reasoning/rpo/README usr/share/doc/eye/examples/reasoning/rpo/food-example.n3 usr/share/doc/eye/examples/reasoning/rpo/food-proof.n3 usr/share/doc/eye/examples/reasoning/rpo/food-query.n3 usr/share/doc/eye/examples/reasoning/rpo/food.n3 usr/share/doc/eye/examples/reasoning/rpo/index.md usr/share/doc/eye/examples/reasoning/rpo/owl-AllDifferent.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-AllDisjointClasses.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-AllDisjointProperties.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-AsymmetricProperty.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-FunctionalProperty.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-InverseFunctionalProperty.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-IrreflexiveProperty.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-NegativePropertyAssertion.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-Nothing.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-SymmetricProperty.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-TransitiveProperty.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-allValuesFrom.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-complementOf.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-differentFrom.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-disjointUnionOf.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-disjointWith.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-distinctMembers.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-equivalentClass.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-equivalentProperty.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-hasKey.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-hasValue.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-intersectionOf.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-inverseOf.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-maxCardinality.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-maxQualifiedCardinality.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-oneOf.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-propertyChainAxiom.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-propertyDisjointWith.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-sameAs-ext.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-sameAs.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-someValuesFrom.n3 usr/share/doc/eye/examples/reasoning/rpo/owl-unionOf.n3 usr/share/doc/eye/examples/reasoning/rpo/rdfs-domain.n3 usr/share/doc/eye/examples/reasoning/rpo/rdfs-range.n3 usr/share/doc/eye/examples/reasoning/rpo/rdfs-subClassOf.n3 usr/share/doc/eye/examples/reasoning/rpo/rdfs-subPropertyOf.n3 usr/share/doc/eye/examples/reasoning/rpo/test usr/share/doc/eye/examples/reasoning/rpo/x-owl-hasValue.n3 usr/share/doc/eye/examples/reasoning/rs usr/share/doc/eye/examples/reasoning/rs/README usr/share/doc/eye/examples/reasoning/rs/graph-1000.n3 usr/share/doc/eye/examples/reasoning/rs/randomsample-proof.n3 usr/share/doc/eye/examples/reasoning/rs/randomsample-query.n3 usr/share/doc/eye/examples/reasoning/rs/randomsample-rule.n3 usr/share/doc/eye/examples/reasoning/rs/test usr/share/doc/eye/examples/reasoning/screening-trust-worlds usr/share/doc/eye/examples/reasoning/screening-trust-worlds/README usr/share/doc/eye/examples/reasoning/screening-trust-worlds/screening-trust-worlds-output.n3 usr/share/doc/eye/examples/reasoning/screening-trust-worlds/screening-trust-worlds.n3 usr/share/doc/eye/examples/reasoning/screening-trust-worlds/test usr/share/doc/eye/examples/reasoning/seq usr/share/doc/eye/examples/reasoning/seq/README usr/share/doc/eye/examples/reasoning/seq/seq_answer.n3 usr/share/doc/eye/examples/reasoning/seq/seq_components.n3 usr/share/doc/eye/examples/reasoning/seq/seq_proof.n3 usr/share/doc/eye/examples/reasoning/seq/seq_query.n3 usr/share/doc/eye/examples/reasoning/seq/test usr/share/doc/eye/examples/reasoning/sequents usr/share/doc/eye/examples/reasoning/sequents/README.md usr/share/doc/eye/examples/reasoning/sequents/input usr/share/doc/eye/examples/reasoning/sequents/input/abc.n3 usr/share/doc/eye/examples/reasoning/sequents/input/abcd.n3 usr/share/doc/eye/examples/reasoning/sequents/input/beetle.n3 usr/share/doc/eye/examples/reasoning/sequents/input/beetle12.n3 usr/share/doc/eye/examples/reasoning/sequents/input/beetle6.n3 usr/share/doc/eye/examples/reasoning/sequents/input/deer.n3 usr/share/doc/eye/examples/reasoning/sequents/input/graph.n3 usr/share/doc/eye/examples/reasoning/sequents/input/oddnumber.n3 usr/share/doc/eye/examples/reasoning/sequents/input/rex.n3 usr/share/doc/eye/examples/reasoning/sequents/input/socrates.n3 usr/share/doc/eye/examples/reasoning/sequents/input/steps.n3 usr/share/doc/eye/examples/reasoning/sequents/input/tweety.n3 usr/share/doc/eye/examples/reasoning/sequents/input/universal_5_s.n3 usr/share/doc/eye/examples/reasoning/sequents/input/universal_6_d.n3 usr/share/doc/eye/examples/reasoning/sequents/input/wet.n3 usr/share/doc/eye/examples/reasoning/sequents/input/winner.n3 usr/share/doc/eye/examples/reasoning/sequents/output usr/share/doc/eye/examples/reasoning/sequents/output/abc.n3 usr/share/doc/eye/examples/reasoning/sequents/output/abcd.n3 usr/share/doc/eye/examples/reasoning/sequents/output/beetle.n3 usr/share/doc/eye/examples/reasoning/sequents/output/beetle12.n3 usr/share/doc/eye/examples/reasoning/sequents/output/beetle6.n3 usr/share/doc/eye/examples/reasoning/sequents/output/deer.n3 usr/share/doc/eye/examples/reasoning/sequents/output/graph.n3 usr/share/doc/eye/examples/reasoning/sequents/output/oddnumber.n3 usr/share/doc/eye/examples/reasoning/sequents/output/rex.n3 usr/share/doc/eye/examples/reasoning/sequents/output/socrates.n3 usr/share/doc/eye/examples/reasoning/sequents/output/steps.n3 usr/share/doc/eye/examples/reasoning/sequents/output/tweety.n3 usr/share/doc/eye/examples/reasoning/sequents/output/universal_5_s.n3 usr/share/doc/eye/examples/reasoning/sequents/output/universal_6_d.n3 usr/share/doc/eye/examples/reasoning/sequents/output/wet.n3 usr/share/doc/eye/examples/reasoning/sequents/output/winner.n3 usr/share/doc/eye/examples/reasoning/sequents/proof usr/share/doc/eye/examples/reasoning/sequents/proof/abc.n3 usr/share/doc/eye/examples/reasoning/sequents/proof/abcd.n3 usr/share/doc/eye/examples/reasoning/sequents/proof/beetle.n3 usr/share/doc/eye/examples/reasoning/sequents/proof/beetle12.n3 usr/share/doc/eye/examples/reasoning/sequents/proof/beetle6.n3 usr/share/doc/eye/examples/reasoning/sequents/proof/deer.n3 usr/share/doc/eye/examples/reasoning/sequents/proof/graph.n3 usr/share/doc/eye/examples/reasoning/sequents/proof/oddnumber.n3 usr/share/doc/eye/examples/reasoning/sequents/proof/rex.n3 usr/share/doc/eye/examples/reasoning/sequents/proof/socrates.n3 usr/share/doc/eye/examples/reasoning/sequents/proof/steps.n3 usr/share/doc/eye/examples/reasoning/sequents/proof/tweety.n3 usr/share/doc/eye/examples/reasoning/sequents/proof/universal_5_s.n3 usr/share/doc/eye/examples/reasoning/sequents/proof/universal_6_d.n3 usr/share/doc/eye/examples/reasoning/sequents/proof/wet.n3 usr/share/doc/eye/examples/reasoning/sequents/proof/winner.n3 usr/share/doc/eye/examples/reasoning/sequents/sequents.n3 usr/share/doc/eye/examples/reasoning/sequents/test usr/share/doc/eye/examples/reasoning/shaclr usr/share/doc/eye/examples/reasoning/shaclr/family-answer.ttl usr/share/doc/eye/examples/reasoning/shaclr/family.shaclr usr/share/doc/eye/examples/reasoning/shaclr/test usr/share/doc/eye/examples/reasoning/shell-command usr/share/doc/eye/examples/reasoning/shell-command/README usr/share/doc/eye/examples/reasoning/shell-command/query-100-answer.n3 usr/share/doc/eye/examples/reasoning/shell-command/query-100.n3 usr/share/doc/eye/examples/reasoning/shell-command/query-answer.n3 usr/share/doc/eye/examples/reasoning/shell-command/query.n3 usr/share/doc/eye/examples/reasoning/shell-command/test usr/share/doc/eye/examples/reasoning/skos usr/share/doc/eye/examples/reasoning/skos/README usr/share/doc/eye/examples/reasoning/skos/skos-extra-rules.n3 usr/share/doc/eye/examples/reasoning/skos/skos-mapping-sample-snomed-icd10.n3 usr/share/doc/eye/examples/reasoning/skos/skos-mapping-validation-query.n3 usr/share/doc/eye/examples/reasoning/skos/skos-mapping-validation-rules.n3 usr/share/doc/eye/examples/reasoning/skos/skos-rules.n3 usr/share/doc/eye/examples/reasoning/skos/skos_mv_proof.n3 usr/share/doc/eye/examples/reasoning/skos/test usr/share/doc/eye/examples/reasoning/slide32 usr/share/doc/eye/examples/reasoning/slide32/README usr/share/doc/eye/examples/reasoning/slide32/slide32-answer.n3 usr/share/doc/eye/examples/reasoning/slide32/slide32-proof.n3 usr/share/doc/eye/examples/reasoning/slide32/slide32-query.n3 usr/share/doc/eye/examples/reasoning/slide32/slide32.n3 usr/share/doc/eye/examples/reasoning/slide32/test usr/share/doc/eye/examples/reasoning/slide33 usr/share/doc/eye/examples/reasoning/slide33/README usr/share/doc/eye/examples/reasoning/slide33/slide33-answer.n3 usr/share/doc/eye/examples/reasoning/slide33/slide33-proof.n3 usr/share/doc/eye/examples/reasoning/slide33/slide33-query.n3 usr/share/doc/eye/examples/reasoning/slide33/slide33.n3 usr/share/doc/eye/examples/reasoning/slide33/test usr/share/doc/eye/examples/reasoning/snaf usr/share/doc/eye/examples/reasoning/snaf/README usr/share/doc/eye/examples/reasoning/snaf/answer.n3 usr/share/doc/eye/examples/reasoning/snaf/demo.n3 usr/share/doc/eye/examples/reasoning/snaf/proof.n3 usr/share/doc/eye/examples/reasoning/snaf/rules.n3 usr/share/doc/eye/examples/reasoning/snaf/test usr/share/doc/eye/examples/reasoning/socrates usr/share/doc/eye/examples/reasoning/socrates/README usr/share/doc/eye/examples/reasoning/socrates/check usr/share/doc/eye/examples/reasoning/socrates/socrates-answer.n3 usr/share/doc/eye/examples/reasoning/socrates/socrates-check.txt usr/share/doc/eye/examples/reasoning/socrates/socrates-proof.n3 usr/share/doc/eye/examples/reasoning/socrates/socrates-query.n3 usr/share/doc/eye/examples/reasoning/socrates/socrates.n3 usr/share/doc/eye/examples/reasoning/socrates/test usr/share/doc/eye/examples/reasoning/socrates-star usr/share/doc/eye/examples/reasoning/socrates-star/README usr/share/doc/eye/examples/reasoning/socrates-star/check usr/share/doc/eye/examples/reasoning/socrates-star/socrates-answer.n3 usr/share/doc/eye/examples/reasoning/socrates-star/socrates-check.txt usr/share/doc/eye/examples/reasoning/socrates-star/socrates-data.n3 usr/share/doc/eye/examples/reasoning/socrates-star/socrates-lemma.n3 usr/share/doc/eye/examples/reasoning/socrates-star/socrates-proof.n3 usr/share/doc/eye/examples/reasoning/socrates-star/socrates-query.n3 usr/share/doc/eye/examples/reasoning/socrates-star/socrates.n3 usr/share/doc/eye/examples/reasoning/socrates-star/test usr/share/doc/eye/examples/reasoning/superdense-coding usr/share/doc/eye/examples/reasoning/superdense-coding/README usr/share/doc/eye/examples/reasoning/superdense-coding/sdcoding-a-proof.n3 usr/share/doc/eye/examples/reasoning/superdense-coding/sdcoding-a.n3 usr/share/doc/eye/examples/reasoning/superdense-coding/sdcoding-answer.n3 usr/share/doc/eye/examples/reasoning/superdense-coding/sdcoding-proof.n3 usr/share/doc/eye/examples/reasoning/superdense-coding/sdcoding-q.n3 usr/share/doc/eye/examples/reasoning/superdense-coding/sdcoding-query.n3 usr/share/doc/eye/examples/reasoning/superdense-coding/sdcoding.n3 usr/share/doc/eye/examples/reasoning/superdense-coding/test usr/share/doc/eye/examples/reasoning/swet usr/share/doc/eye/examples/reasoning/swet/README usr/share/doc/eye/examples/reasoning/swet/swetA.n3 usr/share/doc/eye/examples/reasoning/swet/swetA01.n3 usr/share/doc/eye/examples/reasoning/swet/swetA11.n3 usr/share/doc/eye/examples/reasoning/swet/swetA21.n3 usr/share/doc/eye/examples/reasoning/swet/swetA31.n3 usr/share/doc/eye/examples/reasoning/swet/swetD.n3 usr/share/doc/eye/examples/reasoning/swet/swetQ.n3 usr/share/doc/eye/examples/reasoning/swet/swetQ01.n3 usr/share/doc/eye/examples/reasoning/swet/swetQ11.n3 usr/share/doc/eye/examples/reasoning/swet/swetQ21.n3 usr/share/doc/eye/examples/reasoning/swet/swetQ31.n3 usr/share/doc/eye/examples/reasoning/swet/test usr/share/doc/eye/examples/reasoning/takeuchi usr/share/doc/eye/examples/reasoning/takeuchi/README usr/share/doc/eye/examples/reasoning/takeuchi/tak.n3 usr/share/doc/eye/examples/reasoning/takeuchi/takA.n3 usr/share/doc/eye/examples/reasoning/takeuchi/takE.n3 usr/share/doc/eye/examples/reasoning/takeuchi/takQ.n3 usr/share/doc/eye/examples/reasoning/takeuchi/test usr/share/doc/eye/examples/reasoning/test usr/share/doc/eye/examples/reasoning/tfcontext usr/share/doc/eye/examples/reasoning/tfcontext/README usr/share/doc/eye/examples/reasoning/tfcontext/data-001.n3 usr/share/doc/eye/examples/reasoning/tfcontext/proof-001.n3 usr/share/doc/eye/examples/reasoning/tfcontext/query-001.n3 usr/share/doc/eye/examples/reasoning/tfcontext/rules-001.n3 usr/share/doc/eye/examples/reasoning/tfcontext/test usr/share/doc/eye/examples/reasoning/trend usr/share/doc/eye/examples/reasoning/trend/README usr/share/doc/eye/examples/reasoning/trend/test usr/share/doc/eye/examples/reasoning/trend/trend-output.ttl usr/share/doc/eye/examples/reasoning/trend/trend.n3 usr/share/doc/eye/examples/reasoning/trust-policy usr/share/doc/eye/examples/reasoning/trust-policy/README usr/share/doc/eye/examples/reasoning/trust-policy/test usr/share/doc/eye/examples/reasoning/trust-policy/trust-policy-answer.n3 usr/share/doc/eye/examples/reasoning/trust-policy/trust-policy.n3 usr/share/doc/eye/examples/reasoning/ttl-to-rdfa usr/share/doc/eye/examples/reasoning/ttl-to-rdfa/README usr/share/doc/eye/examples/reasoning/ttl-to-rdfa/health_schema_org.html usr/share/doc/eye/examples/reasoning/ttl-to-rdfa/health_schema_org.ttl usr/share/doc/eye/examples/reasoning/ttl-to-rdfa/test usr/share/doc/eye/examples/reasoning/ttl-to-rdfa/ttl-to-rdfa.n3 usr/share/doc/eye/examples/reasoning/turing usr/share/doc/eye/examples/reasoning/turing/README usr/share/doc/eye/examples/reasoning/turing/test usr/share/doc/eye/examples/reasoning/turing/turing-answer.n3 usr/share/doc/eye/examples/reasoning/turing/turing-proof.n3 usr/share/doc/eye/examples/reasoning/turing/turing-query.n3 usr/share/doc/eye/examples/reasoning/turing/turing.n3 usr/share/doc/eye/examples/reasoning/turtle-dev usr/share/doc/eye/examples/reasoning/turtle-dev/README usr/share/doc/eye/examples/reasoning/turtle-dev/prepare usr/share/doc/eye/examples/reasoning/turtle-dev/run-manifest.n3 usr/share/doc/eye/examples/reasoning/turtle-dev/run-outcome-pass.n3 usr/share/doc/eye/examples/reasoning/turtle-dev/run-outcome.n3 usr/share/doc/eye/examples/reasoning/turtle-dev/test usr/share/doc/eye/examples/reasoning/twf usr/share/doc/eye/examples/reasoning/twf/README usr/share/doc/eye/examples/reasoning/twf/example27-pass.n3 usr/share/doc/eye/examples/reasoning/twf/example27-proof.n3 usr/share/doc/eye/examples/reasoning/twf/example27.n3 usr/share/doc/eye/examples/reasoning/twf/example28-pass.n3 usr/share/doc/eye/examples/reasoning/twf/example28-proof.n3 usr/share/doc/eye/examples/reasoning/twf/example28.n3 usr/share/doc/eye/examples/reasoning/twf/test usr/share/doc/eye/examples/reasoning/universal usr/share/doc/eye/examples/reasoning/universal/README usr/share/doc/eye/examples/reasoning/universal/test usr/share/doc/eye/examples/reasoning/universal/universal-answer.n3 usr/share/doc/eye/examples/reasoning/universal/universal-proof.n3 usr/share/doc/eye/examples/reasoning/universal/universal-query.n3 usr/share/doc/eye/examples/reasoning/universal/universal.n3 usr/share/doc/eye/examples/reasoning/usm usr/share/doc/eye/examples/reasoning/usm/README usr/share/doc/eye/examples/reasoning/usm/test usr/share/doc/eye/examples/reasoning/usm/usmE.n3 usr/share/doc/eye/examples/reasoning/usm/usmP.n3 usr/share/doc/eye/examples/reasoning/usm/usmQ.n3 usr/share/doc/eye/examples/reasoning/utf8 usr/share/doc/eye/examples/reasoning/utf8/README usr/share/doc/eye/examples/reasoning/utf8/test usr/share/doc/eye/examples/reasoning/utf8/utf8.n3 usr/share/doc/eye/examples/reasoning/utf8/utf8_proof.n3 usr/share/doc/eye/examples/reasoning/wind-turbine usr/share/doc/eye/examples/reasoning/wind-turbine/README.md usr/share/doc/eye/examples/reasoning/wind-turbine/test usr/share/doc/eye/examples/reasoning/wind-turbine/wind-turbine-answer.n3 usr/share/doc/eye/examples/reasoning/wind-turbine/wind-turbine-proof.n3 usr/share/doc/eye/examples/reasoning/wind-turbine/wind-turbine.n3 usr/share/doc/eye/examples/reasoning/witch usr/share/doc/eye/examples/reasoning/witch/README usr/share/doc/eye/examples/reasoning/witch/check usr/share/doc/eye/examples/reasoning/witch/test usr/share/doc/eye/examples/reasoning/witch/witch-check.txt usr/share/doc/eye/examples/reasoning/witch/witch-goal.n3 usr/share/doc/eye/examples/reasoning/witch/witch-proof.n3 usr/share/doc/eye/examples/reasoning/witch/witch.n3 usr/share/doc/eye/examples/reasoning/workplace usr/share/doc/eye/examples/reasoning/workplace/README usr/share/doc/eye/examples/reasoning/workplace/gened.n3 usr/share/doc/eye/examples/reasoning/workplace/prepare usr/share/doc/eye/examples/reasoning/workplace/test usr/share/doc/eye/examples/reasoning/workplace/workplace-answer.n3 usr/share/doc/eye/examples/reasoning/workplace/workplace-data.ttl usr/share/doc/eye/examples/reasoning/workplace/workplace-query.n3 usr/share/doc/eye/examples/reasoning/workplace/workplace.n3 usr/share/doc/eye/examples/reasoning/zebra usr/share/doc/eye/examples/reasoning/zebra/README usr/share/doc/eye/examples/reasoning/zebra/test usr/share/doc/eye/examples/reasoning/zebra/zebra.n3 usr/share/doc/eye/examples/reasoning/zebra/zebraE.n3 usr/share/doc/eye/examples/reasoning/zebra/zebraQ.n3 usr/share/doc/eye/forward_or_backward.html usr/share/doc/eye/forward_or_backward.txt usr/share/doc/eye/index.html usr/share/doc/eye/rdfpackages.html usr/share/doc/eye/rdfpackages.txt usr/share/man usr/share/man/man1 usr/share/man/man1/eye.1.gz usr/bin/eye.pvm