Detection of Inconsistencies in SysML/OCL Models Using OWL Reasoning.

Shan Lu Alexey Tazin Yanji Chen Mieczyslaw M. Kokar Jeff Smith

Published in: SN Comput. Sci. (2023)

Keyphrases

knowledge base
knowledge representation
metamodel
model construction
object detection
computational models
modeling language
detection algorithm
automatic detection
automated reasoning
false positives
detection method
semantic web
software engineering
case based reasoning
probabilistic model
data sources