Automation in Construction · 2018 · 38 citations · 27 references
EngineeringSystems EngineeringBuilding Information ModelingArchitectural ModelingModel TransformationModel-based DesignModel-driven DevelopmentBuilding Information Modeling Rule-based ModelingRule-based SystemsViews
27
Pellet: A practical OWL-DL reasoner
Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau et al. · Journal of Web Semantics · 2007 · 2.6K citations
Birte Glimm, Ian Horrocks, Boris Motik et al. · Journal of Automated Reasoning · 2014 · 596 citations · Full text