File list of package eye in noble of architecture all

/usr/bin/eye.pvm
/usr/share/doc/eye/README
/usr/share/doc/eye/README.Debian
/usr/share/doc/eye/changelog.Debian.gz
/usr/share/doc/eye/copyright
/usr/share/doc/eye/examples/reasoning/3outof5/README
/usr/share/doc/eye/examples/reasoning/3outof5/answer.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/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/README
/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/test
/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/README
/usr/share/doc/eye/examples/reasoning/blogic/abc-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/abc.n3
/usr/share/doc/eye/examples/reasoning/blogic/abcd-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/abcd.n3
/usr/share/doc/eye/examples/reasoning/blogic/beetle-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/beetle.n3
/usr/share/doc/eye/examples/reasoning/blogic/beetle2-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/beetle2.n3
/usr/share/doc/eye/examples/reasoning/blogic/beetle3-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/beetle3.n3
/usr/share/doc/eye/examples/reasoning/blogic/beetle4-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/beetle4.n3
/usr/share/doc/eye/examples/reasoning/blogic/beetle5-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/beetle5.n3
/usr/share/doc/eye/examples/reasoning/blogic/beetle6-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/beetle6.n3
/usr/share/doc/eye/examples/reasoning/blogic/beetle6a-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/beetle6a.n3
/usr/share/doc/eye/examples/reasoning/blogic/beetle7-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/beetle7.n3
/usr/share/doc/eye/examples/reasoning/blogic/bmt-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/bmt.n3
/usr/share/doc/eye/examples/reasoning/blogic/category-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/category.n3
/usr/share/doc/eye/examples/reasoning/blogic/complex-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/complex.n3
/usr/share/doc/eye/examples/reasoning/blogic/disj-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/disj-elim-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/disj-elim.n3
/usr/share/doc/eye/examples/reasoning/blogic/disj.n3
/usr/share/doc/eye/examples/reasoning/blogic/equal-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/equal.n3
/usr/share/doc/eye/examples/reasoning/blogic/eras1-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/eras1.n3
/usr/share/doc/eye/examples/reasoning/blogic/eras2-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/eras2.n3
/usr/share/doc/eye/examples/reasoning/blogic/fibonacci-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/fibonacci.n3
/usr/share/doc/eye/examples/reasoning/blogic/fuse-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/fuse.n3
/usr/share/doc/eye/examples/reasoning/blogic/gps-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/gps.n3
/usr/share/doc/eye/examples/reasoning/blogic/gray-code-counter-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/gray-code-counter.n3
/usr/share/doc/eye/examples/reasoning/blogic/lubm-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/lubm.n3
/usr/share/doc/eye/examples/reasoning/blogic/peano-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/peano.n3
/usr/share/doc/eye/examples/reasoning/blogic/pol1-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/pol1.n3
/usr/share/doc/eye/examples/reasoning/blogic/pol2-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/pol2.n3
/usr/share/doc/eye/examples/reasoning/blogic/rain-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/rain.n3
/usr/share/doc/eye/examples/reasoning/blogic/sdcoding-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/sdcoding.n3
/usr/share/doc/eye/examples/reasoning/blogic/slide28a-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/slide28a.n3
/usr/share/doc/eye/examples/reasoning/blogic/slide28b-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/slide28b.n3
/usr/share/doc/eye/examples/reasoning/blogic/slide32-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/slide32.n3
/usr/share/doc/eye/examples/reasoning/blogic/slide33-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/slide33.n3
/usr/share/doc/eye/examples/reasoning/blogic/socrates-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/socrates-star-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/socrates-star.n3
/usr/share/doc/eye/examples/reasoning/blogic/socrates.n3
/usr/share/doc/eye/examples/reasoning/blogic/spo-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/spo.n3
/usr/share/doc/eye/examples/reasoning/blogic/test
/usr/share/doc/eye/examples/reasoning/blogic/zebra-answer.n3
/usr/share/doc/eye/examples/reasoning/blogic/zebra.n3
/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/bmt/10tt_proof.n3
/usr/share/doc/eye/examples/reasoning/bmt/1tt1.n3
/usr/share/doc/eye/examples/reasoning/bmt/1tt10.n3
/usr/share/doc/eye/examples/reasoning/bmt/1tt2.n3
/usr/share/doc/eye/examples/reasoning/bmt/1tt3.n3
/usr/share/doc/eye/examples/reasoning/bmt/1tt4.n3
/usr/share/doc/eye/examples/reasoning/bmt/1tt5.n3
/usr/share/doc/eye/examples/reasoning/bmt/1tt6.n3
/usr/share/doc/eye/examples/reasoning/bmt/1tt7.n3
/usr/share/doc/eye/examples/reasoning/bmt/1tt8.n3
/usr/share/doc/eye/examples/reasoning/bmt/1tt9.n3
/usr/share/doc/eye/examples/reasoning/bmt/README
/usr/share/doc/eye/examples/reasoning/bmt/query.n3
/usr/share/doc/eye/examples/reasoning/bmt/test
/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/README
/usr/share/doc/eye/examples/reasoning/cha58/cha58-answer.n3
/usr/share/doc/eye/examples/reasoning/cha58/cha58-blogic.n3
/usr/share/doc/eye/examples/reasoning/cha58/cha58-data.n3
/usr/share/doc/eye/examples/reasoning/cha58/test
/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/cs/README
/usr/share/doc/eye/examples/reasoning/cs/answer-001.n3
/usr/share/doc/eye/examples/reasoning/cs/data-001.n3
/usr/share/doc/eye/examples/reasoning/cs/proof-001.n3
/usr/share/doc/eye/examples/reasoning/cs/query-001.n3
/usr/share/doc/eye/examples/reasoning/cs/rules-001.n3
/usr/share/doc/eye/examples/reasoning/cs/test
/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/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/de/README
/usr/share/doc/eye/examples/reasoning/de/de.n3
/usr/share/doc/eye/examples/reasoning/de/deA.n3
/usr/share/doc/eye/examples/reasoning/de/deE.n3
/usr/share/doc/eye/examples/reasoning/de/deQ.n3
/usr/share/doc/eye/examples/reasoning/de/test
/usr/share/doc/eye/examples/reasoning/dialogical-reasoning/README
/usr/share/doc/eye/examples/reasoning/dialogical-reasoning/dr-ws.sh
/usr/share/doc/eye/examples/reasoning/dialogical-reasoning/test
/usr/share/doc/eye/examples/reasoning/dialogical-reasoning/test-dr-ws-result.n3
/usr/share/doc/eye/examples/reasoning/dialogical-reasoning/test-dr-ws.html
/usr/share/doc/eye/examples/reasoning/dialogical-reasoning/test-dr-ws.js
/usr/share/doc/eye/examples/reasoning/dp/README
/usr/share/doc/eye/examples/reasoning/dp/dp.n3
/usr/share/doc/eye/examples/reasoning/dp/dpE.n3
/usr/share/doc/eye/examples/reasoning/dp/dpQ.n3
/usr/share/doc/eye/examples/reasoning/dp/test
/usr/share/doc/eye/examples/reasoning/dpe/README
/usr/share/doc/eye/examples/reasoning/dpe/dpe_assumption.n3
/usr/share/doc/eye/examples/reasoning/dpe/dpe_proof.n3
/usr/share/doc/eye/examples/reasoning/dpe/dpe_query.n3
/usr/share/doc/eye/examples/reasoning/dpe/dpe_theory.n3
/usr/share/doc/eye/examples/reasoning/dpe/test
/usr/share/doc/eye/examples/reasoning/dqc/README
/usr/share/doc/eye/examples/reasoning/dqc/sdcoding-a-proof.n3
/usr/share/doc/eye/examples/reasoning/dqc/sdcoding-a.n3
/usr/share/doc/eye/examples/reasoning/dqc/sdcoding-answer.n3
/usr/share/doc/eye/examples/reasoning/dqc/sdcoding-proof.n3
/usr/share/doc/eye/examples/reasoning/dqc/sdcoding-q.n3
/usr/share/doc/eye/examples/reasoning/dqc/sdcoding-query.n3
/usr/share/doc/eye/examples/reasoning/dqc/sdcoding.n3
/usr/share/doc/eye/examples/reasoning/dqc/test
/usr/share/doc/eye/examples/reasoning/dt/README
/usr/share/doc/eye/examples/reasoning/dt/parteval-subclass.n3
/usr/share/doc/eye/examples/reasoning/dt/prepare
/usr/share/doc/eye/examples/reasoning/dt/test
/usr/share/doc/eye/examples/reasoning/dt/test-answer.n3
/usr/share/doc/eye/examples/reasoning/dt/test-dl.n3
/usr/share/doc/eye/examples/reasoning/dt/test-dt.n3
/usr/share/doc/eye/examples/reasoning/dt/test-facts.n3
/usr/share/doc/eye/examples/reasoning/dt/test-query.n3
/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/README
/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.n3
/usr/share/doc/eye/examples/reasoning/edt/test-facts.n3
/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/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/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/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/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/gcc/README
/usr/share/doc/eye/examples/reasoning/gcc/gcc.n3
/usr/share/doc/eye/examples/reasoning/gcc/gccA.n3
/usr/share/doc/eye/examples/reasoning/gcc/gccE.n3
/usr/share/doc/eye/examples/reasoning/gcc/gccQ.n3
/usr/share/doc/eye/examples/reasoning/gcc/test
/usr/share/doc/eye/examples/reasoning/gedcom/README
/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/rpo-rules.n3
/usr/share/doc/eye/examples/reasoning/gedcom/test
/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/gps/README
/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/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/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/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/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/README
/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/iqA.n3
/usr/share/doc/eye/examples/reasoning/iq/test
/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/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/lubm/README
/usr/share/doc/eye/examples/reasoning/lubm/answer.n3
/usr/share/doc/eye/examples/reasoning/lubm/facts.n3
/usr/share/doc/eye/examples/reasoning/lubm/query.n3
/usr/share/doc/eye/examples/reasoning/lubm/rules.n3
/usr/share/doc/eye/examples/reasoning/lubm/test
/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/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/mi/README
/usr/share/doc/eye/examples/reasoning/mi/mi-answer.n3
/usr/share/doc/eye/examples/reasoning/mi/mi-query.n3
/usr/share/doc/eye/examples/reasoning/mi/mi.n3
/usr/share/doc/eye/examples/reasoning/mi/test
/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/mq/README
/usr/share/doc/eye/examples/reasoning/mq/data.n3
/usr/share/doc/eye/examples/reasoning/mq/gen.n3
/usr/share/doc/eye/examples/reasoning/mq/mq-answer.n3
/usr/share/doc/eye/examples/reasoning/mq/multi-query
/usr/share/doc/eye/examples/reasoning/mq/prepare
/usr/share/doc/eye/examples/reasoning/mq/queries/query1.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query10.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query100.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query11.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query12.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query13.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query14.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query15.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query16.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query17.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query18.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query19.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query2.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query20.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query21.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query22.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query23.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query24.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query25.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query26.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query27.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query28.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query29.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query3.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query30.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query31.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query32.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query33.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query34.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query35.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query36.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query37.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query38.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query39.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query4.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query40.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query41.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query42.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query43.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query44.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query45.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query46.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query47.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query48.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query49.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query5.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query50.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query51.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query52.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query53.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query54.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query55.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query56.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query57.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query58.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query59.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query6.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query60.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query61.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query62.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query63.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query64.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query65.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query66.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query67.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query68.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query69.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query7.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query70.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query71.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query72.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query73.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query74.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query75.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query76.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query77.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query78.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query79.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query8.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query80.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query81.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query82.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query83.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query84.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query85.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query86.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query87.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query88.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query89.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query9.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query90.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query91.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query92.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query93.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query94.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query95.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query96.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query97.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query98.n3
/usr/share/doc/eye/examples/reasoning/mq/queries/query99.n3
/usr/share/doc/eye/examples/reasoning/mq/test
/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/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/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/README
/usr/share/doc/eye/examples/reasoning/n3patch/patch-rule.n3
/usr/share/doc/eye/examples/reasoning/n3patch/patch-surface.n3
/usr/share/doc/eye/examples/reasoning/n3patch/patch.n3
/usr/share/doc/eye/examples/reasoning/n3patch/patched-data-surface.n3
/usr/share/doc/eye/examples/reasoning/n3patch/patched-data.n3
/usr/share/doc/eye/examples/reasoning/n3patch/sample-data.n3
/usr/share/doc/eye/examples/reasoning/n3patch/test
/usr/share/doc/eye/examples/reasoning/n3s/README
/usr/share/doc/eye/examples/reasoning/n3s/example-pass.n3
/usr/share/doc/eye/examples/reasoning/n3s/example.n3
/usr/share/doc/eye/examples/reasoning/n3s/test
/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/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/pi/README
/usr/share/doc/eye/examples/reasoning/pi/pi-proof.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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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-metachain-b2f/README
/usr/share/doc/eye/examples/reasoning/socrates-metachain-b2f/check
/usr/share/doc/eye/examples/reasoning/socrates-metachain-b2f/metachain.n3
/usr/share/doc/eye/examples/reasoning/socrates-metachain-b2f/socrates-check.txt
/usr/share/doc/eye/examples/reasoning/socrates-metachain-b2f/socrates-metachain-answer.n3
/usr/share/doc/eye/examples/reasoning/socrates-metachain-b2f/socrates-metachain-proof.n3
/usr/share/doc/eye/examples/reasoning/socrates-metachain-b2f/socrates-query.n3
/usr/share/doc/eye/examples/reasoning/socrates-metachain-b2f/socrates.n3
/usr/share/doc/eye/examples/reasoning/socrates-metachain-b2f/test
/usr/share/doc/eye/examples/reasoning/socrates-metachain-f2b/README
/usr/share/doc/eye/examples/reasoning/socrates-metachain-f2b/check
/usr/share/doc/eye/examples/reasoning/socrates-metachain-f2b/metachain.n3
/usr/share/doc/eye/examples/reasoning/socrates-metachain-f2b/socrates-check.txt
/usr/share/doc/eye/examples/reasoning/socrates-metachain-f2b/socrates-metachain-answer.n3
/usr/share/doc/eye/examples/reasoning/socrates-metachain-f2b/socrates-metachain-proof.n3
/usr/share/doc/eye/examples/reasoning/socrates-metachain-f2b/socrates-query.n3
/usr/share/doc/eye/examples/reasoning/socrates-metachain-f2b/socrates.n3
/usr/share/doc/eye/examples/reasoning/socrates-metachain-f2b/test
/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-data.n3
/usr/share/doc/eye/examples/reasoning/socrates/socrates-lemma.n3
/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/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/tak/README
/usr/share/doc/eye/examples/reasoning/tak/tak.n3
/usr/share/doc/eye/examples/reasoning/tak/takE.n3
/usr/share/doc/eye/examples/reasoning/tak/takQ.n3
/usr/share/doc/eye/examples/reasoning/tak/test
/usr/share/doc/eye/examples/reasoning/test
/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/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/README
/usr/share/doc/eye/examples/reasoning/turing/test
/usr/share/doc/eye/examples/reasoning/turing/turing.n3
/usr/share/doc/eye/examples/reasoning/turing/turingQ.n3
/usr/share/doc/eye/examples/reasoning/turing/turing_proof.n3
/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/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/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/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/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/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/index.html
/usr/share/man/man1/eye.pvm.1.gz