- From: Mauro Mazzieri <mauro.mazzieri@gmail.com>
- Date: Mon, 19 Nov 2007 15:14:01 +0100
- To: "Jun Fang" <leon.essence@gmail.com>
- Cc: semantic-web@w3.org
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
Received on Monday, 19 November 2007 22:33:22 UTC