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' = (A\cup{o:\neg X},T)\) is inconsistent
• whether \(K \models X \sqsubseteq Y\) whether \(K' = (A\cup{o:X,o:\neg Y},T)\) is not consistent

The query could be done with