Description Logics

A group of formal logic systems which are well-adapted to expressing ontology; technically a form of predicate logic, it overlaps first order logic in certain concepts, but neither can fully express the other.

Comments are closed.