in Logic Journal of the IGPL
September 2002; p ublished online September 2002 .
Journal Article. Subjects: Logic. 0 words.
Description Logics (DLs), a family of formalisms for reasoning about conceptual knowledge, can be extended with concrete domains to allow an adequate representation of “concrete qualities”...
in Journal of Logic and Computation
October 2009; p ublished online August 2008 .
Journal Article. Subjects: Computing; Logic. 0 words.
A Description Logic (DL) ontology is constituted by two components, a TBox that expresses general knowledge about the concepts and their relationships, and an ABox that describes the...