Incoherency Problems in a Combination of Description Logics and Rules

<table>Nine-valued Lattice <svg height="16.0625" id="M114" style="vertical-align:-3.41937pt" version="1.1" viewbox="0 0 22.950001 16.0625" width="22.950001" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,11.737)"><path d="M569 131h1q35 55 122 263q82 196 138 256q34 37 74 37q23 0 37.5 -12.5t14.5 -33.5t-12.5 -33.5t-30.5 -12.5q-17 0 -32 12.5t-15 32.5h-3q-48 -25 -151 -277q-33 -82 -62 -146q-29 -63 -68 -125q-45 -71 -86 -105h-20q26 106 32 310q5 189 27 265l-1 1
q-61 -82 -143 -248q-93 -184 -150 -256q-59 -74 -123 -74q-34 0 -57 22.5t-23 54.5q0 29 17 47.5t42 18.5q21 0 36.5 -15t15.5 -36q0 -18 -12 -31.5t-30 -13.5q-9 0 -16 4h-3q1 -9 10 -15.5t21 -6.5q51 0 105.5 70.5t132.5 227.5q157 318 252 357l13 -11q-14 -50 -26 -267
q-8 -166 -27 -260z" id="x1D4A9"></path></g>
<g transform="matrix(.012,-0,0,-.012,16.55,15.825)"><path d="M244 635q90 0 143 -72t53 -177q0 -133 -65 -229.5t-171 -139.5q-79 -32 -140 -32l-5 30q109 18 185 91t101 186l-68 -36q-29 -16 -60 -16q-79 0 -129 51.5t-50 130.5q0 80 57 146.5t149 66.5zM228 602q-52 0 -78 -45.5t-26 -98.5q0 -69 36.5 -115.5t97.5 -46.5
q53 0 90 28q4 31 4 66q0 51 -9.5 95.5t-39 80.5t-75.5 36z" id="x39"></path></g>
</svg>.</table>

Journal of Applied Mathematics

fig1

Figure 1

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