Dear All, <br><br>I am new to the Description Logics. I have met some problems.<br><br>As we know, K |= C <==> ¬C unsatisfiable with K, <br>here K is a DL knowledge base, and C is a concept<br><br>If K is set to {A,B}, and C is set to ¬(A∧¬B), then ¬C is unsatisfiable with K
<br>it means K|=A subclassof B<br><br>I must be missing something obvious here. Can someone can tell me the reason<br><br>Thank you for any comments!<br><br><br><br>-- <br>Best Regards!<br><br>Jun Fang - PhD candidate,<br>
Control & Networks Institute,<br>College of Automation,<br>Northwestern Polytechnical University,<br>Xi'an, Shaanxi Province, China<br>E-mail:<a href="mailto:leon.essence@gmail.com">leon.essence@gmail.com</a>