An approach to translating OCL invariants into OWL 2 DL axioms for checking inconsistency

@article{Fu2017AnAT,
  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 Haigen Hu},
  journal={Automated Software Engineering},
  year={2017},
  volume={24},
  pages={295-339}
}
Checking the design specification for contradictions at the early phase of the software development process is crucial to ensure that the design is implementable. However, the high expressivity of OCL makes manual inconsistency checking a difficult task. In addition, the developers cannot detect these problems by OCL itself due to its lack of automated reasoning support. We investigate an approach to translating OCL invariants into OWL 2 DL axioms. We do this where the OCL expression contained… CONTINUE READING

Citations

Publications citing this paper.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…