Folgen
Werner Nutt
Werner Nutt
Professor of Computer Science, Free University of Bozen-Bolzano
Bestätigte E-Mail-Adresse bei unibz.it
Titel
Zitiert von
Zitiert von
Jahr
Basic description logics
F Baader, W Nutt
The description logic handbook: theory, implementation, and applications, 43-95, 2003
10402003
The complexity of concept languages
FM Donini, M Lenzerini, D Nardi, W Nutt
Information and Computation 134 (1), 1-58, 1997
5351997
Subsumption algorithms for concept languages. DFKI Research Report RR-90-04
B Hollunder, W Nutt
German Research Center for Artificial Intelligence (DFKI), Kaiserslautern …, 1990
313*1990
Order-sorted equational computation
G Smolka, W Nutt, JA Goguen, J Meseguer
Universität Kaiserslautern, Fachbereich Informatik, 1987
2261987
R-GMA: An information integration system for grid monitoring
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
2112003
Rewriting aggregate queries using views
S Cohen, W Nutt, A Serebrenik
Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on …, 1999
2111999
An epistemic operator for description logics
FM Donini, M Lenzerini, D Nardi, W Nutt, A Schaerf
Artificial Intelligence 100 (1-2), 225-274, 1998
1921998
Tractable concept languages
FM Donini, M Lenzerini, D Nardi, W Nutt
Proc. of the 12th Int. Joint Conf. on Artificial Intelligence IJCAI-91, 458-463, 1991
1891991
The complexity of existential quantification in concept languages
FM Donini, M Lenzerini, D Nardi, B Hollunder, W Nutt, AM Spaccamela
Artificial Intelligence 53 (2-3), 309-327, 1992
1661992
Subsumption between queries to object-oriented databases
M Buchheit, MA Jeusfeld, W Nutt, M Staudt
Information Systems 19 (1), 33-54, 1994
1511994
Adding epistemic operators to concept languages
FM Donini, M Lenzerini, D Nardi, W Nutt, A Schaerf
Proc. of the 3rd Int. Conf. on the Principles of Knowledge Representation …, 1992
1401992
Evolution of DL− Lite Knowledge Bases
D Calvanese, E Kharlamov, W Nutt, D Zheleznyakov
The Semantic Web–ISWC 2010, 112-128, 2010
1312010
The relational grid monitoring architecture: Mediating information about the grid
AW Cooke, AJG Gray, W Nutt, J Magowan, M Oevers, P Taylor, ...
Journal of Grid Computing 2 (4), 323-339, 2004
1282004
Basic narrowing revisited
W Nutt, P Réty, G Smolka
Journal of Symbolic Computation 7 (3-4), 295-317, 1989
1261989
Terminological knowledge representation: A proposal for a terminological logic
F Baader, HJ Bürckert, J Heinsohn, B Hollunder, J Müller, B Nebel, W Nutt, ...
1161990
Deciding equivalences among conjunctive aggregate queries
S Cohen, W Nutt, Y Sagiv
Journal of the ACM (JACM) 54 (2), 5-es, 2007
982007
Deciding equivalences among aggregate queries
W Nutt, Y Sagiv, S Shurin
Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1998
791998
Completeness of queries over incomplete databases
S Razniewski, W Nutt
Proceedings of the VLDB Endowment 4 (11), 749-760, 2011
722011
On the expressivity of feature logics with negation, functional uncertainty, and sort equations
F Baader, HJ Bürckert, B Nebel, W Nutt, G Smolka
Journal of Logic, Language and Information 2 (1), 1-18, 1993
681993
Basic Description Logics. In the Description Logic Handbook, edited by F. Baader, D. Calvanese, DL McGuinness, D. Nardi, PF Patel-Schneider
F Baader, W Nutt
Cambridge University Press, 2002
642002
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20