✓

@Book{            baader_horrocks_lutz_sattler_2017,
  Author        = "Baader, Franz and Horrocks, Ian and Lutz, Carsten and Sattler, Uli",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-04-10 11:07:26 +0200",
  DOI           = "10.1017/9781139025355",
  place         = "Cambridge",
  Publisher     = "Cambridge University Press",
  Title         = "An Introduction to Description Logic",
  Year          = "2017",
  bdsk-url-1    = "https://doi.org/10.1017/9781139025355"
}

@Book{ baader_horrocks_lutz_sattler_2017, Author = "Baader, Franz and Horrocks, Ian and Lutz, Carsten and Sattler, Uli", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-04-10 11:07:26 +0200", DOI = "10.1017/9781139025355", place = "Cambridge", Publisher = "Cambridge University Press", Title = "An Introduction to Description Logic", Year = "2017", bdsk-url-1 = "https://doi.org/10.1017/9781139025355" }