Description logics (DL) are a family of
knowledge representation languages which can be used to represent the terminological knowledge of an application domain in a structured and formally well-understood way. The name description logic refers, on the one hand, to concept descriptions used to describe a domain and, on the other hand, to the
logic-based semantics which can be given by a translation into
first-order predicate logic. Description logic was designed as an extension to
frames and
semantic networks, which were not equipped with formal logic-based semantics.
See more at Wikipedia.org...
Free Download Now!
