Shoham Ben-David, Richard J. Trefler, Grant E. Weddell. Model Checking Using Description Logic. Journal of Logic and Computation, 20(1):111-131, 2010. [doi]
@article{Ben-DavidTW10,
title = {Model Checking Using Description Logic},
author = {Shoham Ben-David and Richard J. Trefler and Grant E. Weddell},
year = {2010},
doi = {10.1093/logcom/exn062},
url = {http://dx.doi.org/10.1093/logcom/exn062},
tags = {model checking, meta-model, e-science, logic, Meta-Environment},
researchr = {https://researchr.org/publication/Ben-DavidTW10},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {20},
number = {1},
pages = {111-131},
}