F Baader, W Nutt

The description logic handbook: theory, implementation, and applications, 43-95, 2003

FM Donini, M Lenzerini, D Nardi, W Nutt

Information and Computation 134 (1), 1-58, 1997

B Hollunder, W Nutt

German Research Center for Artificial Intelligence (DFKI), Kaiserslautern …, 1990

G Smolka, W Nutt, JA Goguen, J Meseguer

Universität Kaiserslautern, Fachbereich Informatik, 1987

A Cooke, A Gray, L Ma, W Nutt, J Magowan, M Oevers, P Taylor, R Byrom, ...

On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE …, 2003

S Cohen, W Nutt, A Serebrenik

Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on …, 1999

FM Donini, M Lenzerini, D Nardi, W Nutt, A Schaerf

Artificial Intelligence 100 (1-2), 225-274, 1998

FM Donini, M Lenzerini, D Nardi, W Nutt

Proc. of the 12th Int. Joint Conf. on Artificial Intelligence IJCAI-91, 458-463, 1991

FM Donini, M Lenzerini, D Nardi, B Hollunder, W Nutt, AM Spaccamela

Artificial Intelligence 53 (2-3), 309-327, 1992

M Buchheit, MA Jeusfeld, W Nutt, M Staudt

Information Systems 19 (1), 33-54, 1994

FM Donini, M Lenzerini, D Nardi, W Nutt, A Schaerf

Proc. of the 3rd Int. Conf. on the Principles of Knowledge Representation …, 1992

D Calvanese, E Kharlamov, W Nutt, D Zheleznyakov

The Semantic Web–ISWC 2010, 112-128, 2010

AW Cooke, AJG Gray, W Nutt, J Magowan, M Oevers, P Taylor, ...

Journal of Grid Computing 2 (4), 323-339, 2004

W Nutt, P Réty, G Smolka

Journal of Symbolic Computation 7 (3-4), 295-317, 1989

F Baader, HJ Bürckert, J Heinsohn, B Hollunder, J Müller, B Nebel, W Nutt, ...

S Cohen, W Nutt, Y Sagiv

Journal of the ACM (JACM) 54 (2), 5-es, 2007

W Nutt, Y Sagiv, S Shurin

Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1998

S Razniewski, W Nutt

Proceedings of the VLDB Endowment 4 (11), 749-760, 2011

F Baader, HJ Bürckert, B Nebel, W Nutt, G Smolka

Journal of Logic, Language and Information 2 (1), 1-18, 1993

F Baader, W Nutt

Cambridge University Press, 2002