Authors: Shreyas Kulkarni ME19B193 and Anirudh Sharma EE18B036
For an ALC KB and a query given in Negation Normal Form generated by assignment 6, use ALC Tableau to determine whether the query is entailed by the KB. Treat “Thing” as the top concept and “Nothing” as the bottom concept.
Part of the final software stack which can be read at CS6770 KRR Programming Assignment Questions.pdf
This code has been run on Python 3.6. Apart from usual conda libraries, to install the rest of the dependencies run:
pip3 install xmltodict
python3 main.py
In our code we use the xml files for the Sample Input Output.
Those are MAN-P7-Input-KB.xml, MAN-P7-Input-Query.xml and MAN-P6-KB.xml
We get an output as follows:
Model does not exists => Query is entailed by KB
Detailed report can be read at CS6770 Team_7_final_project.pdf