Graph-based ontology reasoning for formal verification of BREEAM rules