.gitignore Cookbook.txt INSTALL.txt MANIFEST Makefile.in README Reasoning_using_Thea.txt apps/labelgen/grammars/phenotype.pl apps/labelgen/labelgen.pl apps/labelgen/testont_phenotype.pl apps/mireot/mireot.pl apps/opencalais/example_thea_opencalais.pl apps/opencalais/owl.opencalais-4.3.xml.owl apps/opencalais/papal_visits apps/opencalais/thea_opencalais.pdf apps/opencalais/thea_opencalais.pl apps/opencalais/thea_opencalais.txt apps/opencalais/thea_opencalais.txt.htm apps/opencalais/thea_opencalais.txt_files/injection_graph_func.js apps/opencalais/thea_opencalais.txt_files/injection_nh_graph.css apps/opencalais/thea_opencalais.txt_files/pldoc.css apps/opencalais/thea_opencalais.txt_files/pldoc.js apps/opencalais/thea_opencalais.txt_files/skypeplugin_dropdownmenu.css apps/owlmacros/README.txt apps/owlmacros/owlmacros.pl apps/semsim/README apps/semsim/owl2_semsim.pl apps/webthea/css/tabber.css apps/webthea/css/webthea.css apps/webthea/js/tabber.js apps/webthea/webthea.pl benchmarks/Makefile benchmarks/benchmarks.txt benchmarks/benchmarks.xls benchmarks/parse-bench.pl bin/_thea_owllink_request.xml bin/_thea_owllink_response.xml bin/httpd.log bin/iswc-2009-complete.rdf bin/thea bin/thea-download-import-closure bin/thea-owl-i bin/thea-owl-to-dlp bin/thea-owl-to-dlp-yap bin/thea-owl-to-dlv bin/thea-owl-to-owlx bin/thea-owl-to-prolog bin/thea-owl-to-prolog-no-ns bin/thea-owl2j bin/thea-owl2owlx bin/thea-owl2plsyn bin/thea-owlapi bin/thea-owlapi-reasoner bin/thea-owlapi-reasoner.pl bin/thea-owlpl-to-dlp bin/thea-pl2owl bin/thea-prolog-to-swrl bin/thea-prolog-to-swrl-owl bin/thea-run-tests bin/thea-run-tests-java bin/thea-test-wizard bin/thea-transform bin/thea_owl_linked_data.pl bin/thea_owllink.pl configure configure.in doc/OWLlink-Tutorial09_Thea.ppt doc/THEA_OWLED09.ppt doc/Thea2vsOLWAPI.xls doc/Thea_OWLLInk_Demo.ppt doc/Thea_OWLLink_examples.ppt doc/Thea_Slideshare.pptx doc/index.html doc/owled-2009.tgz doc/thea-paper.pdf examples/convert_disjoints.pl examples/enforce_jepd.pl examples/owllink/owl.xsd examples/owllink/owled08-req-1.xml examples/owllink/owled08-req-2.xml examples/owllink/owled08-res-1.xml examples/owllink/owled08-res-2.xml examples/owllink/owllink-20091116.xsd examples/owllink/owllink-example-CreateKB-request-20091016.xml examples/owllink/owllink-example-CreateKB-response-20091016.xml examples/owllink/owllink-example-GetDescription-request-20091016.xml examples/owllink/owllink-example-GetDescription-response-20091016.xml examples/owllink/owllink-example-GetSettings-request-20091016.xml examples/owllink/owllink-example-GetSettings-response-20091016.xml examples/owllink/owllink-example-LoadOntology-request-20091016.xml examples/owllink/owllink-example-LoadOntology-response-20091016.xml examples/owllink/owllink-example-Prefix-request-20091016.xml examples/owllink/owllink-example-Prefix-response-20091016.xml examples/owllink/owllink-example-Set-request-20091016.xml examples/owllink/owllink-example-Set-response-20091016.xml examples/owllink/owllink-example-poolingrequests-request-20091016.xml examples/owllink/owllink-example-poolingrequests-response-20091016.xml examples/owllink/owllink-example-request-20091016.xml examples/owllink/owllink-example-request.xml examples/owllink/owllink-example-response-20091016.xml examples/owllink/owllink-example-response.xml examples/owllink/owllink-example-taxonomy-request-20091016.xml examples/owllink/owllink-example-taxonomy-response-20091016.xml examples/owllink/owllink-xml.xsd examples/owllink/thea-owllink-example-CreateKB-request.xml examples/owllink/thea-owllink-example-GetDescription-request.xml examples/owllink/thea-owllink-example-LoadOntology-request.xml examples/owllink/thea-owllink-example-PoolingRequests-request.xml examples/owllink/thea-owllink-example-Prefixes-request.xml examples/owllink/thea-owllink-example-RetrieveSettings-request.xml examples/owllink/thea-owllink-example-SetSettings-request.xml examples/owllink/thea-owllink-example-Taxonomy-request.xml graph.xml graph_http.log httpd.log install-sh iso/Makefile iso/gpload.pl iso/xsbload.P owl2_basic_reasoner.pl owl2_basic_reasoner.plt owl2_catalog.pl owl2_classifier.pl owl2_classifier.plt owl2_export_rdf.pl owl2_export_rdf.plt owl2_fol.pl owl2_from_rdf.pl owl2_from_rdf.plt owl2_from_rdf.txt owl2_from_rdf_utils.pl owl2_instance_util.pl owl2_io.pl owl2_java_owlapi.pl owl2_java_owlapi.plt owl2_manchester_parser.pl owl2_manchester_parser.plt owl2_metamodel.pl owl2_model.pl owl2_model.plt owl2_owllink.pl owl2_owllink.txt owl2_plsyn.pl owl2_popl.pl owl2_profiles.pl owl2_reasoner.pl owl2_reasoning_rules.pl owl2_rl_rules.pl owl2_rl_rules.plt owl2_tbox_reasoner.pl owl2_tbox_reasoner.plt owl2_thea1_compat.pl owl2_to_progol.pl owl2_to_prolog_dlp.pl owl2_to_prolog_dlp.plt owl2_util.pl owl2_xml.pl owl2_xml.plt owl2java/swrl_owlapi_hooks.pl owl_parser.pl owlgres/owl2_sqlmap_owlgres.pl owlgres/owlgres_sql_schema.pl pldoc.sty rules/README rules/advancedset.pl rules/basicset.pl swrl.pl swrl.plt swrl_rdf_hooks.pl t/example_rules.pl t/wine.owl testfiles/Hydrology.owl testfiles/bfo2-relations.owl testfiles/cell.owlpl testfiles/community-label.owl testfiles/country.owl testfiles/dl-safe-ancestor.owl testfiles/dl-safe-ancestor.ttl testfiles/elevator5-tiles.owl testfiles/example_catalog.xml testfiles/example_rules.pl testfiles/family.owl testfiles/food.owl testfiles/foodsafe.owl testfiles/import_test.owl testfiles/inverseOftest.owl testfiles/location-mapping.ttl testfiles/music_ontology.owl testfiles/people.owl testfiles/pets.owl testfiles/pizza.owl testfiles/premiseontology-1.rdf testfiles/processual_part_of.pl testfiles/propertyChain.owl testfiles/rdfowl_test.owl testfiles/reflexivity_test.owlpl testfiles/rl_rules_test.pl testfiles/rnao.owlms testfiles/rnao.owlx testfiles/rtest.owlpl testfiles/teams.owl testfiles/test.owl testfiles/test2.owl testfiles/test3.owl testfiles/uncle.pl testfiles/wine.owl testfiles/wine_g.owl testfiles/wine_no_ontology.owl thea.pl tools/install-sh