Tag Description Logics
What is the Kunen inconsistency? The Kunen inconsistency is a well-known result in set theory that states there is no nontrivial elementary embedding from the set-theoretic universe V to itself. In simpler terms, it implies that there is no way… Continue Reading →
Understanding the functional relationships between objects, referred to as ‘attributes’, is of significant importance in knowledge representation languages. These attributes play a vital role in Description Logics (DLs), a formalism widely used in artificial intelligence and linked data. However, recent… Continue Reading →