An ontology (also referred to as a terminology, knowledge base) is an entity used to represent some domain (field of knowledge). Usually the building blocks of an ontology include categories (concepts), relations (roles) and objects (individuals).description logics (dls) are an appropriate class of knowledge representation languages to formalize and reason about ontologies . The reasoning process is carried out by a chosen dl reasoner. We don’t provide a comprehensive introduction to dls, but point the reader to the book by baader et al. .
|Title of host publication||Web Reasoning and Rule Systems|
|Subtitle of host publication||5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings|
|Number of pages||6|
|Publication status||Published - 2011|
|Series||Lecture Notes in Computer Science|