Definition
A powerful formal language used for knowledge representation that allows for reasoning about objects and their relationships, extending beyond simple propositional logic.
In short: A powerful formal language used for knowledge representation that allows for reasoning about objects and their relationships, extending beyond simple propositional logic.