Description Logic
(Reklamlänk)
What Is Description Logic A family of formal knowledge representation languages known as description logics (DL) has been developed. A good number of DLs have a higher level of expressiveness than propositional logic but a lower level than first-order logic. On the other hand, the key reasoning iss
