Refutation of French Smart Building Code Compliance Checking Based on Semantic Rules
Colin James · viXra · 2019
We evaluate the model of Fig. 1 reducing room classification to regulations ontology as not tautologous. This refutes the conjecture of French smart building code compliance checking based on semantic rules. These conjectures form a non tautologous fragment of the universal logic VŁ4.