Name		Name	Last commit message	Last commit date
Latest commit History 19 Commits
README.md		README.md
entailment.py		entailment.py
entailmentFinal.py		entailmentFinal.py
entailmentFinal2.py		entailmentFinal2.py
entailmentFinal3.py		entailmentFinal3.py
entailmentFinal5.py		entailmentFinal5.py
rdf_star_both.py		rdf_star_both.py
rdf_star_main.py		rdf_star_main.py
rdf_start_with_multiple_graphs.py		rdf_start_with_multiple_graphs.py
reasoner.py		reasoner.py
sampleInput.ttl		sampleInput.ttl
subclassAndSubpropertyTransitivityEntailment.py		subclassAndSubpropertyTransitivityEntailment.py
testcase_format.txt		testcase_format.txt
testcases.txt		testcases.txt
turtle1A.ttl		turtle1A.ttl
turtle1B.ttl		turtle1B.ttl