Werner Nutt Papers on DiSC'04 Containment of Aggregate Queries Publications Note: Links lead to the DBLP on the Web. Werner Nutt Sara Cohen , Yehoshua Sagiv , Werner Nutt: Equivalences among aggregate queries with negation. ACM Trans. Comput. Log. 6 (2): 328-360 (2005) Andrew W. Cooke , Alasdair J. G. Gray , Werner Nutt: Stream Integration Techniques for Grid Monitoring. J. Data Semantics 2 : 136-175 (2005) Rob Byrom , Brian A. Coghlan , Andrew W. Cooke , Roney Cordenonsi , Linda Cornwall , Ari Datta , Abdeslem Djaoui , Laurence Field , Steve Fisher , Steve Hicks , Stuart Kenny , James Magowan , Werner Nutt, David O'Callaghan , Manfred Oevers , Norbert Podhorszki , John Ryan , Manish Soni , Paul Taylor , Antony J. Wilson , Xiaomei Zhu : The CanonicalProducer: An Instrument Monitoring Component of the Relational Grid Monitoring Architecture (R-GMA). ISPDC/HeteroPar 2004 : 232-237 Andrew W. Cooke , Alasdair J. G. Gray , Werner Nutt, James Magowan , Manfred Oevers , Paul Taylor , Roney Cordenonsi , Rob Byrom , Linda Cornwall , Abdeslem Djaoui , Laurence Field , Steve Fisher , Steve Hicks , Jason Leake , R. Middleton , Antony J. Wilson , Xiaomei Zhu , Norbert Podhorszki , Brian A. Coghlan , Stuart Kenny , David O'Callaghan , John Ryan : The Relational Grid Monitoring Architecture: Mediating Information about the Grid. J. Grid Comput. 2 (4): 323-339 (2004) Andrew W. Cooke , Alasdair J. G. Gray , Lisha Ma , Werner Nutt, James Magowan , Manfred Oevers , Paul Taylor , Rob Byrom , Laurence Field , Steve Hicks , Jason Leake , Manish Soni , Antony J. Wilson , Roney Cordenonsi , Linda Cornwall , Abdeslem Djaoui , Steve Fisher , Norbert Podhorszki , Brian A. Coghlan , Stuart Kenny , David O'Callaghan : R-GMA: An Information Integration System for Grid Monitoring. CoopIS/DOA/ODBASE 2003 : 462-481 Franz Baader , Werner Nutt: Basic Description Logics. Description Logic Handbook 2003 : 43-95 Sara Cohen , Werner Nutt, Yehoshua Sagiv : Containment of Aggregate Queries. ICDT 2003 : 111-125 Rob Byrom , Brian A. Coghlan , Andrew W. Cooke , Roney Cordenonsi , Linda Cornwall , Ari Datta , Abdeslem Djaoui , Laurence Field , Steve Fisher , Steve Hicks , Stuart Kenny , James Magowan , Werner Nutt, David O'Callaghan , Manfred Oevers , Norbert Podhorszki , John Ryan , Manish Soni , Paul Taylor , Antony J. Wilson , Xiaomei Zhu : R-GMA: First results after deployment CoRR cs.DC/0306003 : (2003) Rob Byrom , Brian A. Coghlan , Andrew W. Cooke , Roney Cordenonsi , Linda Cornwall , Abdeslem Djaoui , Laurence Field , Steve Fisher , Steve Hicks , Stuart Kenny , Jason Leake , James Magowan , Werner Nutt, David O'Callaghan , Norbert Podhorszki , John Ryan , Manish Soni , Paul Taylor , Antony J. Wilson : Relational Grid Monitoring Architecture (R-GMA) CoRR cs.DC/0308024 : (2003) Sara Cohen , Werner Nutt, Yehoshua Sagiv : Equivalences Among Aggregate Queries with Negation CoRR cs.DB/0210028 : (2002) Yaron Kanza , Werner Nutt, Yehoshua Sagiv : Querying Incomplete Information in Semistructured Data. J. Comput. Syst. Sci. 64 (3): 655-693 (2002) Sara Cohen , Yaron Kanza , Yakov A. Kogan , Yehoshua Sagiv , Werner Nutt, Alexander Serebrenik : EquiX - A search and query language for XML. JASIST 53 (6): 454-466 (2002) Maurizio Lenzerini , Daniele Nardi , Werner Nutt, Dan Suciu : Proceedings of the 8th International Workshop on Knowledge Representation meets Databases (KRDB 2001), Rome, Italy, September 15, 2001 Technical University of Aachen (RWTH) 2001 Maurizio Lenzerini , Daniele Nardi , Werner Nutt, Dan Suciu : Preface. KRDB 2001 Sara Cohen , Werner Nutt, Yehoshua Sagiv : Equivalences among Aggregate Queries with Negation. PODS 2001 Sara Cohen , Yaron Kanza , Yakov A. Kogan , Werner Nutt, Yehoshua Sagiv , Alexander Serebrenik : EquiX - A Search and Query Language for XML CoRR cs.DB/0110044 : (2001) Maurizio Lenzerini , Daniele Nardi , Werner Nutt, Dan Suciu : Report on the 8th International Workshop on Knowledge Representation Meets Databases (KRDB). SIGMOD Record 30 (4): 92-93 (2001) Mokrane Bouzeghoub , Matthias Klusch , Werner Nutt, Ulrike Sattler : Proceedings of the 7th International Workshop on Knowledge Representation meets Databases (KRDB 2000), Berlin, Germany, August 21, 2000 Technical University of Aachen (RWTH) 2000 Sara Cohen , Werner Nutt, Alexander Serebrenik : Algorithms for Rewriting Aggregate Queries Using Views. ADBIS-DASFAA 2000 : 65-78 Sara Cohen , Yaron Kanza , Yakov A. Kogan , Werner Nutt, Yehoshua Sagiv , Alexander Serebrenik : Combining the Power of Searching and Querying. CoopIS 2000 : 54-65 Sara Cohen , Werner Nutt, Alexander Serebrenik : Algorithms for Rewriting Aggregate Queries Using Views CoRR cs.DB/0011024 : (2000) Sara Cohen , Yaron Kanza , Yakov Kogan , Werner Nutt, Yehoshua Sagiv , Alexander Serebrenik : EquiX - A Search and Query Language for XML CoRR cs.DB/0011041 : (2000) Sara Cohen , Werner Nutt, Alexander Serebrenik : Algorithms for Rewriting Aggregate Queries Using Views. DMDW 1999 : 9 Werner Nutt: On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics. KI 1999 : 113-124 Yaron Kanza , Werner Nutt, Yehoshua Sagiv : Incomplete Answers for Queries over Semistructured Data. KRDB 1999 : 21-25 Ziv Bar-Yossef , Yaron Kanza , Yakov A. Kogan , Werner Nutt, Yehoshua Sagiv : Querying Semantically Tagged Documents on the World-Wide Web. NGITS 1999 : 2-19 Sara Cohen , Werner Nutt, Alexander Serebrenik : Rewriting Aggregate Queries Using Views. PODS 1999 : 155-166 Yaron Kanza , Werner Nutt, Yehoshua Sagiv : Queries with Incomplete Answers over Semistructured Data. PODS 1999 : 227-236 Sara Cohen , Yaron Kanza , Yakov A. Kogan , Werner Nutt, Yehoshua Sagiv , Alexander Serebrenik : EquiX Easy Querying in XML Databases. WebDB (Informal Proceedings) 1999 : 43-48 Enrico Franconi , Giuseppe De Giacomo , Ian Horrocks , Deborah L. McGuinness , Werner Nutt, Peter F. Patel-Schneider , Christopher A. Welty : Report on the 1998 International Workshop on Description Logics (DL'98). J. Log. Comput. 9 (3): 449-456 (1999) Enrico Franconi , Giuseppe De Giacomo , Robert M. MacGregor , Werner Nutt, Christopher A. Welty : Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998 Description Logics 1998 Werner Nutt, Yehoshua Sagiv , Sara Shurin : Deciding Equivalences Among Aggregate Queries. PODS 1998 : 214-223 Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi , Werner Nutt, Andrea Schaerf : An Epistemic Operator for Description Logics. Artif. Intell. 100 (1-2): 225-274 (1998) Martin Buchheit , Francesco M. Donini , Werner Nutt, Andrea Schaerf : A Refined Architecture for Terminological Systems: Terminology = Schema + Views. Artif. Intell. 99 (2): 209-260 (1998) Franz Baader , Manfred A. Jeusfeld , Werner Nutt: Intelligent Access to Heterogeneous Information, Proceedings of the 4th Workshop KRDB-97, Athens, Greece, August 30, 1997 Technical University of Aachen (RWTH) 1997 David Michaeli , Werner Nutt, Yehoshua Sagiv : Classification Rules for Semi-Structured Data. Description Logics 1997 Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi , Werner Nutt: The Complexity of Concept Languages. Inf. Comput. 134 (1): 1-58 (1997) Franz Baader , Manfred A. Jeusfeld , Werner Nutt: Intelligent Access to Heterogeneous Information Sources: Report on the 4th Workshop on Knowledge Representation Meets Databases. SIGMOD Record 26 (4): 44-48 (1997) Franz Baader , Martin Buchheit , Manfred A. Jeusfeld , Werner Nutt: Knowledge Representation Meets Databases, Proceedings of the 3rd Workshop KRDB'96, Budapest, Hungary, August 13, 1996 Technical University of Aachen (RWTH) 1996 Franz Baader , Werner Nutt: Combination Problens for Commutative/Modoidal Theories or How Algebra Can Help in Equational Unification. Appl. Algebra Eng. Commun. Comput. 7 (4): 309-337 (1996) Franz Baader , Martin Buchheit , Manfred A. Jeusfeld , Werner Nutt: KRDB-95: Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of the 2nd Workshop KRDB'95, Bielefeld, Germany, Septtember 11-12, 1995 Technical University of Aachen (RWTH) 1995 Martin Buchheit , Hans-Jürgen Bürckert , Bernhard Hollunder , Armin Laux , Werner Nutt, Marek Wójcik : Task Acquisition with a Description Logic Reasoner. KI 1995 : 125-136 Franz Baader , Martin Buchheit , Manfred A. Jeusfeld , Werner Nutt: Overview: KRDB'95. KRDB 1995 Franz Baader , Martin Buchheit , Manfred A. Jeusfeld , Werner Nutt: Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of 1st Workshop KRDB'94, Saarbrücken, Germany, September 20-22, 1994 Technical University of Aachen (RWTH) 1994 Martin Buchheit , Werner Nutt, Francesco M. Donini , Andrea Schaerf : Refining the Structure of Terminological Systems: Terminology = Schema + Views. AAAI 1994 : 199-204 Martin Buchheit , Manfred A. Jeusfeld , Werner Nutt, Martin Staudt : Subsumption between Queries to Object-Oriented Databases. EDBT 1994 : 15-22 Franz Baader , Martin Buchheit , Manfred A. Jeusfeld , Werner Nutt: Reasoning about Structured Objects: Knowledge Representation Meets Databases - Overview. KRDB 1994 Martin Buchheit , Francesco M. Donini , Werner Nutt, Andrea Schaerf : Terminological Systems Revisited: Terminology = Schema + Views. KRDB 1994 Martin Buchheit , Manfred A. Jeusfeld , Werner Nutt, Martin Staudt : Subsumption between queries to object-oriented databases. Inf. Syst. 19 (1): 33-54 (1994) Hans-Jürgen Bürckert , Werner Nutt: Modellierung epistemischer Propositionen. KI 1993 : 264-267 Franz Baader , Philipp Hanschke , Bernhard Hollunder , Bernhard Nebel , Werner Nutt: ``Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)'' - Tagungsbericht. KI 7 (3): 24-25 (1993) Franz Baader , Werner Nutt: Are Complete an Expressiv Terminological Systems Feasible? Description Logics 1992 : 1-5 Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi , Werner Nutt, Andrea Schaerf : Queries, Rules and Definitions as Epistemic Sentences in Concept Languages. ECAI Workshop on Knowledge Representation and Reasoning 1992 : 113-132 Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi , Andrea Schaerf , Werner Nutt: Adding Epistemic Operators to Concept Languages. KR 1992 : 342-353 Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi , Bernhard Hollunder , Werner Nutt, Alberto Marchetti-Spaccamela : The Complexity of Existential Quantification in Concept Languages. Artif. Intell. 53 (2-3): 309-327 (1992) Franz Baader , Hans-Jürgen Bürckert , Bernhard Hollunder , Armin Laux , Werner Nutt: Terminologische Logiken. KI 6 (3): 23-33 (1992) Franz Baader , Hans-Jürgen Bürckert , Jochen Heinsohn , Bernhard Hollunder , Jürgen Müller , Bernhard Nebel , Werner Nutt, Hans-Jürgen Profitlich : Terminological Knowledge Representation: A Proposal for a Terminological Logic. Description Logics 1991 : 120-128 Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi , Werner Nutt: Tractable Concept Languages. Description Logics 1991 : 39-42 Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi , Werner Nutt: The Complexity of Concept Languages (Extended Abstract). Description Logics 1991 : 87-90 Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi , Werner Nutt: Tractable Concept Languages. IJCAI 1991 : 458-465 Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi , Werner Nutt: The Complexity of Concept Languages. KR 1991 : 151-162 Franz Baader , Werner Nutt: Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification. RTA 1991 : 124-135 Werner Nutt: The Unification Hierarchy is Undecidable. J. Autom. Reasoning 7 (3): 369-381 (1991) Werner Nutt: Unification in Monoidal Theories. CADE 1990 : 618-632 Jürgen Müller , Franz Baader , Bernhard Nebel , Werner Nutt, Gert Smolka : Tutorial on Reasoning and Representation with Concept Languages. CADE 1990 : 681 Bernhard Hollunder , Werner Nutt, Manfred Schmidt-Schauß : Subsumption Algorithms for Concept Description Languages. ECAI 1990 : 348-353 Werner Nutt, Pierre Réty , Gert Smolka : Basic Narrowing Revisited. J. Symb. Comput. 7 (3/4): 295-317 (1989) 1 [ 3 ] [ 6 ] [ 11 ] [ 12 ] [ 16 ] [ 17 ] [ 21 ] [ 24 ] [ 25 ] [ 27 ] [ 28 ] [ 29 ] [ 30 ] [ 33 ] [ 62 ] 2 [ 42 ] 3 [ 50 ] 4 [ 19 ] [ 20 ] [ 21 ] [ 22 ] [ 23 ] [ 24 ] [ 25 ] [ 26 ] [ 27 ] [ 29 ] [ 34 ] 5 [ 11 ] [ 12 ] [ 18 ] [ 26 ] 6 [ 59 ] [ 60 ] [ 63 ] [ 64 ] [ 65 ] 7 [ 59 ] [ 60 ] [ 63 ] [ 64 ] [ 65 ] 8 [ 39 ] [ 41 ] [ 45 ] [ 46 ] [ 47 ] [ 48 ] [ 49 ] [ 52 ] [ 53 ] [ 56 ] [ 58 ] [ 61 ] [ 67 ] 9 [ 59 ] [ 60 ] [ 63 ] [ 64 ] [ 65 ] [ 66 ] 10 [ 59 ] [ 60 ] [ 63 ] [ 64 ] [ 65 ] 11 [ 59 ] [ 60 ] [ 63 ] [ 64 ] [ 65 ] 12 [ 60 ] [ 65 ] 13 [ 59 ] [ 60 ] [ 63 ] [ 64 ] [ 65 ] 14 [ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 13 ] [ 14 ] [ 15 ] [ 20 ] [ 23 ] [ 31 ] [ 34 ] [ 35 ] 15 [ 59 ] [ 60 ] [ 63 ] [ 64 ] [ 65 ] 16 [ 59 ] [ 60 ] [ 63 ] [ 64 ] [ 65 ] 17 [ 37 ] [ 38 ] 18 [ 37 ] [ 38 ] 19 [ 63 ] [ 64 ] [ 66 ] 20 [ 17 ] 21 [ 11 ] 22 [ 59 ] [ 60 ] [ 63 ] [ 64 ] [ 65 ] 23 [ 2 ] [ 11 ] [ 12 ] [ 13 ] [ 17 ] [ 26 ] 24 [ 38 ] 25 [ 19 ] [ 21 ] [ 22 ] [ 24 ] [ 25 ] [ 27 ] [ 29 ] [ 30 ] [ 33 ] 26 [ 39 ] [ 40 ] [ 42 ] [ 43 ] [ 46 ] [ 48 ] [ 52 ] [ 56 ] [ 57 ] 27 [ 59 ] [ 60 ] [ 63 ] [ 64 ] [ 65 ] 28 [ 50 ] 29 [ 46 ] 30 [ 39 ] [ 42 ] [ 48 ] [ 52 ] [ 56 ] 31 [ 12 ] [ 26 ] 32 [ 59 ] [ 63 ] [ 64 ] 33 [ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 13 ] [ 14 ] [ 15 ] [ 31 ] [ 35 ] [ 51 ] [ 54 ] [ 55 ] 34 [ 63 ] 35 [ 37 ] 36 [ 59 ] [ 60 ] [ 63 ] [ 64 ] [ 65 ] 37 [ 13 ] 38 [ 38 ] 39 [ 32 ] 40 [ 64 ] 41 [ 3 ] [ 11 ] 42 [ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 13 ] [ 14 ] [ 15 ] [ 31 ] [ 35 ] [ 51 ] [ 54 ] [ 55 ] 43 [ 3 ] [ 11 ] [ 17 ] 44 [ 59 ] [ 60 ] [ 63 ] [ 64 ] [ 65 ] 45 [ 60 ] [ 63 ] [ 64 ] [ 65 ] 46 [ 38 ] 47 [ 59 ] [ 60 ] [ 63 ] [ 64 ] [ 65 ] 48 [ 11 ] 49 [ 1 ] 50 [ 59 ] [ 60 ] [ 64 ] [ 65 ] 51 [ 32 ] [ 36 ] [ 39 ] [ 40 ] [ 42 ] [ 43 ] [ 46 ] [ 48 ] [ 52 ] [ 53 ] [ 56 ] [ 57 ] [ 58 ] [ 61 ] [ 67 ] 52 [ 50 ] 53 [ 14 ] [ 15 ] [ 20 ] [ 23 ] [ 34 ] [ 35 ] 54 [ 2 ] 55 [ 39 ] [ 41 ] [ 45 ] [ 46 ] [ 47 ] [ 48 ] [ 49 ] [ 52 ] [ 56 ] 56 [ 36 ] 57 [ 1 ] [ 3 ] 58 [ 59 ] [ 60 ] [ 63 ] [ 65 ] 59 [ 19 ] [ 22 ] 60 [ 51 ] [ 54 ] [ 55 ] 61 [ 59 ] [ 60 ] [ 63 ] [ 64 ] [ 65 ] 62 [ 37 ] [ 38 ] 63 [ 59 ] [ 60 ] [ 63 ] [ 64 ] [ 65 ] 64 [ 26 ] 65 [ 60 ] [ 64 ] [ 65 ] ©2005 Association for Computing Machinery