|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Franz Baader (Technische Universität, Dresden) , Ian Horrocks (University of Oxford) , Carsten Lutz (Universität Bremen) , Uli Sattler (University of Manchester)Publisher: Cambridge University Press Imprint: Cambridge University Press Dimensions: Width: 15.70cm , Height: 1.90cm , Length: 23.50cm Weight: 0.500kg ISBN: 9780521873611ISBN 10: 0521873614 Pages: 262 Publication Date: 20 April 2017 Audience: College/higher education , Tertiary & Higher Education Format: Hardback Publisher's Status: Active Availability: Manufactured on demand ![]() We will order this item for you from a manufactured on demand supplier. Table of Contents1. Introduction; 2. A basic DL; 3. A little bit of model theory; 4. Reasoning in DLs with tableau algorithms; 5. Complexity; 6. Reasoning in the εL family of description logics; 7. Query answering; 8. Ontology languages and applications; Appendix A. Description logic terminology; References; Index.ReviewsAuthor InformationFranz Baader is a professor in the Institute of Theoretical Computer Science at Technische Universität, Dresden. Ian Horrocks is a professor in the Department of Computer Science at the University of Oxford. Carsten Lutz is a professor in the Department of Computer Science at Universität Bremen. Uli Sattler is a professor in the Information Management Group within the School of Computer Science at the University of Manchester. Tab Content 6Author Website:Countries AvailableAll regions |