Seol mar théacs é seo: An Ontology-Based Representation of Vaulted System for HBIM