Author:Meyer, T; Moodley, K; Varzinczak, IDate:Aug 2010Description Logics (DLs) are widely accepted as an appropriate class of knowledge representation languages to represent and reason about ontologies. Tools for performing standard reasoning tasks such as satisfiability and consequence checking ...Read more