BIMserver plugin that can do model checking based on (runtime configurable) Java code
This plugin is not maintained anymore. If you are interested in doing queries with BIMserver, have a look at the new query language included in BIMserver itself (not as a plugin).