Automatic Compliance Checking of BIM Models for Architecture and Fire Protection Based on Knowledge Graphs and Machine Learning | Synapse