by
Franz Baader, Ian Horrocks, Carsten Lutz
Language: English
Release Date: April 7, 2017
Description logics (DLs) have a long tradition in computer science and knowledge representation, being designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely...