The first introductory textbook on description logics, relevant to computer science, knowledge representation and the semantic web.

Description Logics are a family of knowledge representation languages that have been studied extensively in Artificial Intelligence over the last two decades. T

Formal logic provides us with a powerful set of techniques for criticizing some arguments and showing others to be valid. These techniques are relevant to all o

Ontological modelling today is applied in many areas of science and technology, including the Semantic Web. The W3C standard OWL defines one of the most importa

The vital resource for grading all assignments from the Introduction To Logic course, which includes:Instructional insights enhanced with worksheets and additio