[Pellet-users] Open world assumption

[Chuming Chen]

Dear List,

In tableau algorithm, if we have a clash-free and completion graph for 
an input concept and KB, we know this concept is satisfiable w.r.t KB. 
But what if the concept has a subconcept which is not contained in the 
KB. For example, if my KB is about bird, I want to check the 
satisfiability  of concept contains some subconcept about food. How does 
the reasoner handle this case? Should it return "unknown" because open 
world assumption?

Thanks,

Chuming