Re: some problems of DL Reasoning

2007/10/29, Jun Fang <leon.essence@gmail.com>:
> I am new to the Description Logics. I have met the following problem.
>
> 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
> K
¬C is incoherent with K: is a concept that can not have instances.
Toghere with ex. C(a) we have an inconsistent ontology.

> it means K|=A subclassof B
>
> using the similar way, we  can also get K|=B subclassof A,
>
> I must be missing something obvious here. Can someone can tell me the reason
>
As they're defined, A and B are the same class.
Again, things would change if you add some ABox axiom.

> 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@gmail.com


-- 
Mauro Mazzieri