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]
@article{FuYZH17,
title = {An approach to translating OCL invariants into OWL 2 DL axioms for checking inconsistency},
author = {Chunlei Fu and Dan Yang and Xiaohong Zhang and Haibo Hu},
year = {2017},
doi = {10.1007/s10515-017-0210-9},
url = {http://dx.doi.org/10.1007/s10515-017-0210-9},
researchr = {https://researchr.org/publication/FuYZH17},
cites = {0},
citedby = {0},
journal = {Automated Software Engineering},
volume = {24},
number = {2},
pages = {295-339},
}