[Pellet-users] problem for description logics!

[Jun Fang]

Dear all,

As we know, in DL,
C satisfiable with K mean there exists at least one model of K such that the
interpretation of C is nonempty.
C unsatisfiable with K mean there doesn't exist any model of K which can
interpret C.

if K is set to {A subclass of B}, and  concept is set to C
C should be satisfiable with K

but in pellet, i found C is unsatisfiable with K,  why?

Thanks 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: http://lists.owldl.com/pipermail/pellet-users/attachments/20071030/c6a7efc2/attachment.htm