selected publications book Ontology-based Procedural Modelling of Traversable Buildings Composed by Arbitrary Shapes 2016