Detection of Inconsistencies in SysML/OCL Models Using OWL Reasoning

Shan Lu 0012, Alexey Tazin, Yanji Chen, Mieczyslaw M. Kokar, Jeff Smith. Detection of Inconsistencies in SysML/OCL Models Using OWL Reasoning. SN Computer Science, 4(2):175, March 2023. [doi]

Authors

Shan Lu 0012

This author has not been identified. Look up 'Shan Lu 0012' in Google

Alexey Tazin

This author has not been identified. Look up 'Alexey Tazin' in Google

Yanji Chen

This author has not been identified. Look up 'Yanji Chen' in Google

Mieczyslaw M. Kokar

This author has not been identified. Look up 'Mieczyslaw M. Kokar' in Google

Jeff Smith

This author has not been identified. Look up 'Jeff Smith' in Google