Incoherency Problems in a Combination of Description Logics and Rules

<table>Six-valued Lattice <svg height="11.925" id="M388" style="vertical-align:-0.2457pt" version="1.1" viewbox="0 0 19.012501 11.925" width="19.012501" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,11.55)"><path d="M488 676h213v-25q-39 -4 -56 -20q-15 -14 -34 -62l-228 -587h-27l-256 599q-18 42 -32 53q-14 12 -52 17v25h336v-25l-33 -2q-53 -3 -53 -36q0 -15 23 -72l138 -334l127 329q20 54 20 71q0 24 -16 32t-70 12v25z" id="x1D415"></path></g><g transform="matrix(.017,-0,0,-.017,12.336,11.55)"><path d="M370 25v-25h-350v25q56 4 75 20q18 15 18 61v470q0 41 -19 56t-74 19v25h350v-25q-56 -2 -75.5 -17.5t-19.5 -57.5v-470q0 -48 18 -63q20 -14 77 -18z" id="x1D408"></path></g>
</svg>.</table>

Journal of Applied Mathematics

fig2

Figure 2

Figure 2: Incoherency Problems in a Combination of Description Logics and Rules 