Description Logic
Description Logic is a knowledge representation framework that facilitates semantic-based comprehension of an application domain. It effectively bridges the gap between propositional logic and first-order logic and promises efficient decision mechanisms.
Read More