2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.AI2022★ 2 cited
Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins
Han Liu, Xiaoyu Song, Ge Gao +3
Semantic rule checking on RDFS/OWL data has been widely used in the construction industry. At present, semantic rule checking is mainly performed on static models. There are still…
cs.DB2019
MVDLite: a Fast Validation Algorithm for Model View Definition Rules
Han Liu, Ge Gao, Hehua Zhang +3
Model View Definition (MVD) is the standard methodology to define the data exchange requirements and rule constraints for Building Information Models (BIMs). In this paper, the MVD…