Ontology-based Procedural Modelling of Traversable Buildings Composed by Arbitrary Shapes