Reasoner
r
Ontology Editor
IFC model
Compliance-ihecking ontology
Definition rules
Reasoning Module
coresej . Query
scheduler
V
Know-
what
CD REEF
Query
Formaliser
Algorithms of scheduling the conformity gueries
Annotation Editor
Explorer of Expert Reasoning
Query Base Generator
Llsa^ę1practi^^~v<s^oc^ll*e of <-)r9anisation °f Base of Conformity Querie^/