description logic

• propositional logic
• modal logic
• latex for logic
• description logic

knowledge base in description logic referes to \(K = (T,A)\) where:

• \(T\) is a Taxonomy, represented with TBox, which is a set of subsumption
• \(A\) is a set of assertion (ABox).