RuleML-based mechanism of building information models verificationElena MakishaE3S Web Conf., 132 (2019) 01014DOI: https://doi.org/10.1051/e3sconf/201913201014
