A representation of semantic knowledge that allows formal reasoning to be applied based on
.
Notes
- Description logic definitions of
are represented in two ways, as: - The formal rules of description logic can be applied to
by software tools (
) to interpret the meaning of
. This enables confirmation of the logical integrity of the terminology, and can also be used to support meaning-based retrieval from records containing
or
.
Alternatives
Related Links