sentence1: description logics are a family of knowledge representation languages , specifically suited to represent terminological knowledge in a structured and formalized way .
sentence2: description logics are a family of knowledge representation languages which can be used to represent knowledge of an application domain in a structured and formal way .