An introduction to description logic /

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 u...

Full description

Bibliographic Details

Main Authors:	Baader, Franz (Author, professor.), Horrocks, Ian (Author, professor.), Lutz, Carsten (Author, professor.), Sattler, Uli (Author, professor.)
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, [2017]
Subjects:	Description logics. Knowledge representation (Information theory) Computer science > Database storage and design. Computer science > Databases and big data. Computer science > Programming.