Graph-Based Ontology Reasoning for Formal Verification of BREEAM Rules

Cognitive Systems Research - Netherlands
doi 10.1016/j.cogsys.2018.12.011