[DL] some problems of DL Reasoning

Jun Fang leon.essence at gmail.com
Sun Oct 28 03:44:04 CET 2007

Dear All,

I am new to the Description Logics. I have met some problems.

As we know, K |= C <==> ¬C unsatisfiable with K,
here K is a DL knowledge base, and C is a concept

If K is set to {A,B}, and C is set to ¬(A∧¬B), then ¬C is unsatisfiable with
it means K|=A subclassof B

I must be missing something obvious here. Can someone can tell me the reason

Thank you for any comments!

Best Regards!

Jun Fang - PhD candidate,
Control & Networks Institute,
College of Automation,
Northwestern Polytechnical University,
Xi'an, Shaanxi Province, China
E-mail:leon.essence at gmail.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.informatik.uni-bremen.de/pipermail/dl/attachments/20071028/91f3fe0f/attachment.html>

More information about the dl mailing list