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