1. Pushing the EL envelope;Franz Baader;Proc. of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05),2005
2. An empirical analysis of optimization techniques for terminological representation systems;Franz Baader;Applied Intelligence,1994
3. An ontology of astronomical object types for the virtual observatory;S Derriere;Proc. of the 26th meeting of the IAU: Virtual Observatory in Action: New Science, New Technology, and Next Generation Facilities,2006
4. Tableau caching for description logics with inverse and transitive roles;Yu Ding;Proc. of the 2006 Description Logic Workshop,2006