OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models

<table class="table-group" width="800px"><tr class="fig-image" id="a"><td><img alt="934349.fig.006a" src="https://static.hindawi.com/articles/jam/volume-2013/934349/figures/934349.fig.006a.jpg"/></td></tr><tr class="fig-caption"><td align="center"><table><tr><td><b>(a) </b>Data properties</td></tr></table></td></tr><tr class="fig-image" id="b"><td><img alt="934349.fig.006b" src="https://static.hindawi.com/articles/jam/volume-2013/934349/figures/934349.fig.006b.jpg"/></td></tr><tr class="fig-caption"><td align="center"><table><tr><td><b>(b) </b>Classes</td></tr></table></td></tr><tr class="fig-image" id="c"><td><img alt="934349.fig.006c" src="https://static.hindawi.com/articles/jam/volume-2013/934349/figures/934349.fig.006c.jpg"/></td></tr><tr class="fig-caption"><td align="center"><table><tr><td><b>(c) </b>Object properties</td></tr></table></td></tr><tr class="fig-image" id="d"><td><img alt="934349.fig.006d" src="https://static.hindawi.com/articles/jam/volume-2013/934349/figures/934349.fig.006d.jpg"/></td></tr><tr class="fig-caption"><td align="center"><table><tr><td><b>(d) </b>Link rules on constraint checker</td></tr></table></td></tr><tr class="fig-image" id="e"><td><img alt="934349.fig.006e" src="https://static.hindawi.com/articles/jam/volume-2013/934349/figures/934349.fig.006e.jpg"/></td></tr><tr class="fig-caption"><td align="center"><table><tr><td><b>(e) </b>Inclusion rules on system</td></tr></table></td></tr></table>

<table>The ontology of gate control system.</table>

Journal of Applied Mathematics

fig6

Figure 6

Figure 6: OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models 