query knowledge base

There’s 3 types of query knowledge base $K$:

• whether $X$ is coherent with respect to $K$ <-> whether $K’ = (A ∪{o:X},T) $ is consistent ($o$ does not occur in $K$)
• whether $K\models o:X$ <-> whether $K^{\prime }=(A\cup o:\mathrm{\neg }X,T)$ is inconsistent
• whether $K\models X⊑Y$ whether $K^{\prime }=(A\cup o:X,o:\mathrm{\neg }Y,T)$ is not consistent

The query could be done with