Documents Description Logic Based Ontology Languages

Description Logic Based Ontology Languages Ian Horrocks Information Systems Group Oxford University Computing Laboratory What Are Description Logics? What Are Description…

Documents How to decide Quer y Containment under Constraints using a Description Logic

How to decide Query Containment under Constraints using a Description Logic Ian Horrocks, Ulrike Sattler, Sergio Tessaris, and Stephan Tobies presented by Axel Polleres http://citeseer.ist.psu.edu/horrocks99how.html…

Documents Hybrid Logics and Ontology Languages

Hybrid Logics and Ontology Languages Ian Horrocks Information Management Group School of Computer Science University of Manchester Talk Outline Introduction to Description…