Publications on Description Logics and Hybrid Knowledge Representation Languages

• Alon Levy , Marie-Christine Rousset , Combining Horn Rules and Description Logics in CARIN Artificial Intelligence 1998 Click here for abstract.
  
• Alon Y. Levy , Marie-Christine Rousset , Verification of Knowledge Bases based on Containment Checking Artificial Intelligence 1998 Click here for abstract.
  
• Daphne Koller , Alon Levy , Avi Pfeffer , P-Classic: a tractable probabilistic description logic Proceedings of the AAAI Fourteenth National Conference on Artificial Intelligence 1997 Click here for abstract.
  
• Catriel Beeri , Alon Y. Levy , Marie-Christine Rousset , Rewriting Queries Using Views in Description Logics Proceedings of the 16th ACM SIGACT-SIGMOD-SIGARTSymposium on Principles of Database Systems, Tucson, Arizona. 1997 Click here for abstract.
  
• Alon Y. Levy , Anand Rajaraman , Joann J. Ordille , Query answering algorithms for information agents Proceedings of the AAAI Thirteenth National Conference on Artificial Intelligence 1996 Click here for abstract.
  
• Alon Y. Levy , Marie-Christine Rousset , Verification of Knowledge Bases using Containment Checking Proceedings of the AAAI Thirteenth National Conference on Artificial Intelligence 1996 Click here for abstract.
  
• Alon Y. Levy , Marie-Christine Rousset , CARIN: A Representation Language Integrating Rules and DescriptionLogics Proceedings of the European Conference on Artificial Intelligence, Budapest, Hungary 1996 Click here for abstract.
  
• Alon Y. Levy , Marie-Christine Rousset , The Limits on Combining Recursive Horn Rules and Description Logics Proceedings of the AAAI Thirteenth National Conference on Artificial Intelligence 1996 Click here for abstract.