Implementing ALC Tableau. For an ALC KB and a query given in Negation Normal Form pre-generated, using ALC Tableau to determine whether the query is entailed by the KB.
natural-language-processing business-intelligence logic-programming knowledge-representation-reasoning krr alc-tableau
-
Updated
Aug 20, 2022 - Jupyter Notebook