Active Bibliography

1 Large Abox Store (LAS): Database Support for Tbox Queries – Jiaoyue Wang, Jiaoyue Wang - 2005
Deliverable number D2.1 – S. Petridis, N. Tsapatsoulis, D. Kosmopoulos, Y. Pratikakis, V. Gatos, S. Perantonis, G. Petasis, P. Fragou, V. Karkaletsis, K. Biatov, C. Seibert, S. Espinosa, S. Melzer, A. Kaya, R. Möller, Author(s S. Petridis, N. Tsapatsoulis, D. Kosmopoulos, Y. Pratikakis, V. Gatos, S. Perantonis, G. Petasis, P. Fragou, V. Karkaletsis, K. Biatov, C. Seibert, S. Espinosa, S. Melzer, A. Kaya, R. Möller, Quality Assurance, A. Ferrara, V. Tzouvaras - 2006
300 Basic Description Logics – Franz Baader, Werner Nutt - 2003
146 Description of the RACER System and its Applications – Volker Haarslev, Ralf Möller - 2001
1206 Chaff: Engineering an Efficient SAT Solver – Matthew W. Moskewicz , Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik - 2001
1016 Constraint Networks – Rina Dechter - 1992
521 From SHIQ and RDF to OWL: The Making of a Web Ontology Language – Ian Horrocks, Peter F. Patel-Schneider, Frank Van Harmelen - 2003
440 Description Logic Programs: Combining Logic Programs with Description Logic – Benjamin N. Grosof - 2003
403 GRASP: A search algorithm for propositional satisfiability – J P Marques-Silva, K A Sakallah - 1999