Chunlei Fu, Dan Yang, Xiaohong Zhang, Haibo Hu. An approach to translating OCL invariants into OWL 2 DL axioms for checking inconsistency. Automated Software Engineering, 24(2):295-339, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.