Transparent access to multiple bioinformatics information sources. - Carole A. Goble; Robert Stevens 001; Gary Ng; Sean Bechhofer; Norman W. Paton; Patricia G. Baker; Martin Peim; Andy Brass (IBM Syst. J., 2001)

Clausal temporal resolution. - Michael Fisher 001; Clare Dixon; Martin Peim (ACM Trans. Comput. Log., 2001)

Estimating Soundness and Completeness over Queries Over Description Logics. - Martin Peim; Enrico Franconi; Norman W. Paton (Description Logics, 2002)

Querying Objects with Description Logics. - Martin Peim; Enrico Franconi; Norman W. Paton; Carole A. Goble (KRDB, 2002)

Query Processing with Description Logic Ontologies over Object-Wrapped Databases. - Martin Peim; Enrico Franconi; Norman W. Paton; Carole A. Goble (SEBD, 2002)

Estimating the quality of answers when querying over description logic ontologies. - Martin Peim; Enrico Franconi; Norman W. Paton (Data Knowl. Eng., 2003)