[Pellet-users] problems about pellet example -- ExplanationExample (satisfiable and subsumption)

[Evren Sirin]

On 10/24/07 8:07 AM, Jun Fang wrote:
>   Hi,
>   dear colleagues,
>
>   As we know, satisfiable problem can be reduced to subsumption problem
>
>   In pellet ExplanationExample,
>   pellet.isSatisfiable(mad_cow) <==> pellet.isEntailed(mad_cow, 
> RDFS.subClassOf , OWL.Thing)
No, not at all! A concept is unsatisfiable if it is subclass of 
owl:Nothing. Every concept (including unsatisfiable ones) are subclasses 
of owl:Thing. Unsatisfiable concepts are sublasses of *any* class 
(similar to empty set being a subset of any given set).

Hope this helps,
Evren