2017, Baader F. & Horrocks I. & Lutz C. & Sattler U., An Introduction to Description Logic

265 страниц
ISBN: 978-1-139-02535-5