Description logic reasoning for semantic web ontologies
Anni-Yasmin Turhan · 2011
The ontology language for the semantic web OWL provides means to describe entities of an application domain in an ontology in a well-structured way. The underlying formalism for OWL are Description Logics (DLs) [6], which are a family of knowledge representation formalisms that have formal semantics. This family of logics is tailored towards representing terminological knowledge of an application domain in a structured and formally well-understood way.