Werner Nutt

157 papers A* 8A 14B 7C 3Misc 5Journal 49Unranked 62
YearRankTypeTitle / Venue / Authors
2026 J jnl
Action-Guided Attention for Video Action Anticipation.
CoRR
Tsung-Ming Tai, Sofia Casarin, Andrea Pilzer, Werner Nutt, Oswald Lanz
2025 — conf
Compact Answers to Temporal Path Queries.
ISWC (1)
Muhammad Adnan, Diego Calvanese, Julien Corman, Anton Dignös, Werner Nutt, Ognjen Savkovic
2025 J jnl
Compact Answers to Temporal Path Queries.
CoRR
Muhammad Adnan, Diego Calvanese, Julien Corman, Anton Dignös, Werner Nutt, Ognjen Savkovic
2025 — conf
Computing Compact Answers to Temporal Path Queries Using SQL.
RuleML+RR (Companion)
Muhammad Adnan, Diego Calvanese, Julien Corman, Anton Dignös, Werner Nutt, Ognjen Savkovic
2024 B conf
Complete Approximations of Incomplete Queries.
RuleML+RR
Julien Corman, Werner Nutt, Ognjen Savkovic
2024 J jnl
Complete Approximations of Incomplete Queries.
CoRR
Julien Corman, Werner Nutt, Ognjen Savkovic
2023 — conf
Knowledge Gap Discovery: A Case Study of Wikidata.
Wikidata@ISWC
Millenio Ramadizsa, Fariz Darari, Werner Nutt, Simon Razniewski
2022 C conf
A BERT-Based Model for Question Answering on Construction Incident Reports.
NLDB
Hebatallah A. Mohamed Hassan, Elisa Marengo, Werner Nutt
2022 — conf
Blocking Sparse Matrices to Leverage Dense-Specific Multiplication.
IA3@SC
Paolo Sylos Labini, Massimo Bernaschi, Werner Nutt, Francesco Silvestri, Flavio Vella
2022 J jnl
CoPModL: Construction Process Modeling Language and Satisfiability Checking.
Inf. Syst.
Elisa Marengo, Werner Nutt, Matthias Perktold
2020 J jnl
Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements.
Semantic Web
Fariz Darari, Werner Nutt, Simon Razniewski, Sebastian Rudolph
2020 — conf
Increasing Control in Construction Processes: The Role of Digitalization.
Business Process Management Workshops
Arif Ur Rahman, Syed Mehtab Alam, Patrick Dallasega, Elisa Marengo, Werner Nutt
2020 J jnl
On Expansion and Contraction of DL-Lite Knowledge Bases.
CoRR
Dmitriy Zheleznyakov, Evgeny Kharlamov, Werner Nutt, Diego Calvanese
2020 — conf
User-Centered Design for Knowledge Imbalance Analysis: A Case Study of ProWD.
VOILA@ISWC
Nadyah Hani Ramadhana, Fariz Darari, Panca O. Hadi Putra, Werner Nutt, Simon Razniewski, Refo Ilmiya Akbar
2019 — conf
NEWS: News Event Walker and Summarizer.
SIGMOD Conference
Radityo Eko Prasojo, Mouna Kacimi, Werner Nutt
2019 J jnl
On expansion and contraction of DL-Lite knowledge bases.
J. Web Semant.
Dmitriy Zheleznyakov, Evgeny Kharlamov, Werner Nutt, Diego Calvanese
2019 B conf
Wikidata Completeness Profiling Using ProWD.
K-CAP
Avicenna Wisesa, Fariz Darari, Adila Krisnadhi, Werner Nutt, Simon Razniewski
2018 — conf
CoPMod: Support for Construction Process Modeling.
BPM (Dissertation/Demos/Industry)
Elisa Marengo, Werner Nutt, Matthias Perktold
2018 — conf
Comparing Index Structures for Completeness Reasoning.
IWBIS
Fariz Darari, Werner Nutt, Simon Razniewski
2018 J jnl
Completeness Management for RDF Data Sources.
ACM Trans. Web
Fariz Darari, Werner Nutt, Giuseppe Pirrò, Simon Razniewski
2018 A conf
Construction Process Modeling: Representing Activities, Items and Their Interplay.
BPM
Elisa Marengo, Werner Nutt, Matthias Perktold
2018 B conf
Diagnostics of Trains with Semantic Diagnostics Rules.
ILP
Evgeny Kharlamov, Ognjen Savkovic, Martin Ringsquandl, Guohui Xiao, Gulnar Mehdi, Elem Güzel Kalayci, Werner Nutt, Mikhail Roshchin, Ian Horrocks, Thomas A. Runkler
2018 B conf
Modeling and Summarizing News Events Using Semantic Triples.
ESWC
Radityo Eko Prasojo, Mouna Kacimi, Werner Nutt
2018 — ch.
Process Management in Construction: Expansion of the Bolzano Hospital.
Business Process Management Cases
Elisa Marengo, Patrick Dallasega, Marco Montali, Werner Nutt, Michael Reifer
2018 — conf
Recoin: Relative Completeness in Wikidata.
WWW (Companion Volume)
Vevake Balaraman, Simon Razniewski, Werner Nutt
2018 — conf
Semantic Diagnostics of Smart Factories.
JIST
Ognjen Savkovic, Evgeny Kharlamov, Martin Ringsquandl, Guohui Xiao, Gulnar Mehdi, Elem Güzel Kalayci, Werner Nutt, Ian Horrocks
2018 A conf
StuffIE: Semantic Tagging of Unlabeled Facets Using Fine-Grained Information Extraction.
CIKM
Radityo Eko Prasojo, Mouna Kacimi, Werner Nutt
2018 — conf
Theoretical Characterization of Signal Diagnostic Processing Language.
Description Logics
Ognjen Savkovic, Evgeny Kharlamov, Guohui Xiao, Gulnar Mehdi, Elem Güzel Kalayci, Werner Nutt, Mikhail Roshchin, Ian Horrocks
2017 — conf
COOL-WD: A Completeness Tool for Wikidata.
ISWC (Posters, Demos & Industry Tracks)
Fariz Darari, Radityo Eko Prasojo, Simon Razniewski, Werner Nutt
2017 C conf
Doctoral Advisor or Medical Condition: Towards Entity-Specific Rankings of Knowledge Base Properties.
ADMA
Simon Razniewski, Vevake Balaraman, Werner Nutt
2017 J jnl
Doctoral Advisor or Medical Condition: Towards Entity-specific Rankings of Knowledge Base Properties [Extended Version].
CoRR
Simon Razniewski, Vevake Balaraman, Werner Nutt
2017 — conf
Towards Approximating Incomplete Queries over Partially Complete Databases (Extended Abstract).
AMW
Ognjen Savkovic, Evgeny Kharlamov, Werner Nutt, Pierre Senellart
2016 — conf
But What Do We Actually Know?
AKBC@NAACL-HLT
Simon Razniewski, Fabian M. Suchanek, Werner Nutt
2016 B conf
Enabling Fine-Grained RDF Data Completeness Assessment.
ICWE
Fariz Darari, Simon Razniewski, Radityo Eko Prasojo, Werner Nutt
2016 J jnl
Enabling Fine-grained RDF Data Completeness Assessment.
CoRR
Fariz Darari, Simon Razniewski, Radityo Eko Prasojo, Werner Nutt
2016 — conf
Expanding Wikidata's Parenthood Information by 178%, or How To Mine Relation Cardinality Information.
ISWC (Posters & Demos)
Paramita Mirza, Simon Razniewski, Werner Nutt
2016 — conf
Managing and Consuming Completeness Information for Wikidata Using COOL-WD.
COLD@ISWC
Radityo Eko Prasojo, Fariz Darari, Simon Razniewski, Werner Nutt
2016 J jnl
Mapping-equivalence and oid-equivalence of single-function object-creating conjunctive queries.
VLDB J.
Angela Bonifati, Werner Nutt, Riccardo Torlone, Jan Van den Bussche
2016 A conf
Query Stability in Monotonic Data-Aware Business Processes.
ICDT
Ognjen Savkovic, Elisa Marengo, Werner Nutt
2016 — conf
Towards a Graphical Language for Process Modelling in Construction.
CAiSE Forum
Elisa Marengo, Patrick Dallasega, Marco Montali, Werner Nutt
2016 — conf
Turning The Partial-Closed World Assumption Upside Down.
AMW
Simon Razniewski, Ognjen Savkovic, Werner Nutt
2015 A conf
Entity and Aspect Extraction for Organizing News Comments.
CIKM
Radityo Eko Prasojo, Mouna Kacimi, Werner Nutt
2015 — conf
Expressing No-Value Information in RDF.
ISWC (Posters & Demos)
Fariz Darari, Radityo Eko Prasojo, Werner Nutt
2015 — conf
Identifying the Extent of Completeness of Query Answers over Partially Complete Databases.
SIGMOD Conference
Simon Razniewski, Flip Korn, Werner Nutt, Divesh Srivastava
2015 A conf
Implementing Query Completeness Reasoning.
CIKM
Werner Nutt, Sergey Paramonov, Ognjen Savkovic
2015 — conf
Long-term Optimization of Update Frequencies for Decaying Information.
WebDB
Simon Razniewski, Werner Nutt
2015 J jnl
Mapping-equivalence and oid-equivalence of single-function object-creating conjunctive queries.
CoRR
Angela Bonifati, Werner Nutt, Riccardo Torlone, Jan Van den Bussche
2015 J jnl
Query Stability in Monotonic Data-Aware Business Processes [Extended Version].
CoRR
Ognjen Savkovic, Elisa Marengo, Werner Nutt
2014 — conf
Adding completeness information to query answers over spatial databases.
SIGSPATIAL/GIS
Simon Razniewski, Werner Nutt
2014 J jnl
Bridging the Semantic Gap between RDF and SPARQL using Completeness Statements [Extended Version].
CoRR
Fariz Darari, Simon Razniewski, Werner Nutt
2014 — conf
Bridging the Semantic Gap between RDF and SPARQL using Completeness Statements.
ISWC (Posters & Demos)
Fariz Darari, Simon Razniewski, Werner Nutt
2014 — conf
CORNER: A Completeness Reasoner for SPARQL Queries Over RDF Data Sources.
ESWC (Satellite Events)
Fariz Darari, Radityo Eko Prasojo, Werner Nutt
2014 — conf
Databases under the Partial Closed-world Assumption: A Survey.
Grundlagen von Datenbanken
Simon Razniewski, Werner Nutt
2014 — conf
Towards a Theory of Query Stability in Business Processes.
AMW
Elisa Marengo, Werner Nutt, Ognjen Savkovic
2013 J jnl
An ASP Approach to Query Completeness Reasoning.
Theory Pract. Log. Program.
Werner Nutt, Sergey Paramonov, Ognjen Savkovic
2013 — conf
Assessing the Completeness of Geographical Data.
BNCOD
Simon Razniewski, Werner Nutt
2013 J jnl
Complete Approximations of Incomplete Queries.
Proc. VLDB Endow.
Ognjen Savkovic, Paramita Mirza, Alex Tomasi, Werner Nutt
2013 — conf
Completeness Statements about RDF Data Sources and Their Use for Query Answering.
ISWC (1)
Fariz Darari, Werner Nutt, Giuseppe Pirrò, Simon Razniewski
2013 J jnl
Verification of Query Completeness over Processes [Extended Version].
CoRR
Simon Razniewski, Marco Montali, Werner Nutt
2013 A conf
Verification of Query Completeness over Processes.
BPM
Simon Razniewski, Marco Montali, Werner Nutt
2012 A conf
Completeness of queries over SQL databases.
CIKM
Werner Nutt, Simon Razniewski
2012 — conf
Incomplete Databases: Missing Records and Missing Values.
DASFAA Workshops
Werner Nutt, Simon Razniewski, Gil Vegliach
2012 A conf
MAGIK: managing completeness of data.
CIKM
Ognjen Savkovic, Paramita Mirza, Sergey Paramonov, Werner Nutt
2011 J jnl
Capturing continuous data and answering aggregate queries in probabilistic XML.
ACM Trans. Database Syst.
Serge Abiteboul, T.-H. Hubert Chan, Evgeny Kharlamov, Werner Nutt, Pierre Senellart
2011 — conf
Checking query completeness over incomplete data.
LID
Simon Razniewski, Werner Nutt
2011 — conf
Combining Production Systems and Ontologies.
RR
Martín Rezk, Werner Nutt
2011 J jnl
Completeness of Queries over Incomplete Databases.
Proc. VLDB Endow.
Simon Razniewski, Werner Nutt
2011 — conf
Value joins are expensive over (probabilistic) XML.
LID
Evgeny Kharlamov, Werner Nutt, Pierre Senellart
2010 A conf
Aggregate queries for discrete and continuous probabilistic XML.
ICDT
Serge Abiteboul, T.-H. Hubert Chan, Evgeny Kharlamov, Werner Nutt, Pierre Senellart
2010 — conf
Evolution of DL-Lite Knowledge Bases.
ISWC (1)
Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Dmitriy Zheleznyakov
2010 — conf
Updating ABoxes in DL-Lite.
AMW
Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Dmitriy Zheleznyakov
2010 — conf
Updating TBoxes in DL-Lite.
Description Logics
Dmitriy Zheleznyakov, Diego Calvanese, Evgeny Kharlamov, Werner Nutt
2010 — conf
Updating probabilistic XML.
EDBT/ICDT Workshops
Evgeny Kharlamov, Werner Nutt, Pierre Senellart
2010 Misc conf
Web-based graphical querying of databases through an ontology: the Wonder system.
SAC
Diego Calvanese, C. Maria Keet, Werner Nutt, Mariano Rodriguez-Muro, Giorgio Stefanoni
2008 — conf
Aggregate queries over ontologies.
ONISW
Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Camilo Thorne
2008 J jnl
Incompleteness in information integration.
Proc. VLDB Endow.
Evgeny Kharlamov, Werner Nutt
2007 — conf
A Proof Theory for DL-Lite.
Description Logics
Diego Calvanese, Evgeny Kharlamov, Werner Nutt
2007 J jnl
Answering queries over incomplete data stream histories.
Int. J. Web Inf. Syst.
Alasdair J. G. Gray, Werner Nutt, M. Howard Williams
2007 Misc conf
Condensative Stream Query Language for Data Streams.
ADC
Lisha Ma, Werner Nutt, Hamish Taylor
2007 A conf
Containment of Conjunctive Queries over Databases with Null Values.
ICDT
Carles Farré, Werner Nutt, Ernest Teniente, Toni Urpí
2007 J jnl
Deciding equivalences among conjunctive aggregate queries.
J. ACM
Sara Cohen, Werner Nutt, Yehoshua Sagiv
2006 C conf
Answering Arbitrary Conjunctive Queries over Incomplete Data Stream Histories.
iiWAS
Alasdair J. G. Gray, M. Howard Williams, Werner Nutt
2006 J jnl
Rewriting queries with arbitrary aggregation functions using views.
ACM Trans. Database Syst.
Sara Cohen, Werner Nutt, Yehoshua Sagiv
2006 — conf
Sources of Incompleteness in Grid Publishing.
BNCOD
Alasdair J. G. Gray, Werner Nutt, M. Howard Williams
2005 — conf
A Data Stream Publish/Subscribe Architecture with Self-adapting Queries.
OTM Conferences (1)
Alasdair J. G. Gray, Werner Nutt
2005 J jnl
Equivalences among aggregate queries with negation.
ACM Trans. Comput. Log.
Sara Cohen, Yehoshua Sagiv, Werner Nutt
2005 — conf
Fault Tolerance in the R-GMA Information and Monitoring System.
EGC
Rob Byrom, Brian A. Coghlan, Andrew W. Cooke, Roney Cordenonsi, Linda Cornwall, Martin Craig, Abdeslem Djaoui, Alastair Duncan, Steve Fisher, Alasdair J. G. Gray, Steve Hicks, Stuart Kenny, Jason Leake, Oliver Lyttleton, James Magowan, Robin Middleton, Werner Nutt, David O'Callaghan, Norbert Podhorszki, Paul Taylor, John Walk, Antony J. Wilson
2005 — conf
Frequency Operators for Condensative Queries over Data Streams.
ICEBE
Lisha Ma, Werner Nutt
2005 — conf
Republishers in a Publish/Subscribe Architecture for Data Streams.
BNCOD
Alasdair J. G. Gray, Werner Nutt
2005 J jnl
Stream Integration Techniques for Grid Monitoring.
J. Data Semant.
Andrew W. Cooke, Alasdair J. G. Gray, Werner Nutt
2004 — conf
The CanonicalProducer: An Instrument Monitoring Component of the Relational Grid Monitoring Architecture (R-GMA).
ISPDC/HeteroPar
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
2004 J jnl
The Relational Grid Monitoring Architecture: Mediating Information about the Grid.
J. Grid Comput.
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, Robin Middleton, Antony J. Wilson, Xiaomei Zhu, Norbert Podhorszki, Brian A. Coghlan, Stuart Kenny, David O'Callaghan, John Ryan
2003 — ch.
Basic Description Logics.
Description Logic Handbook
Franz Baader, Werner Nutt
2003 A conf
Containment of Aggregate Queries.
ICDT
Sara Cohen, Werner Nutt, Yehoshua Sagiv
2003 — conf
R-GMA: An Information Integration System for Grid Monitoring.
OTM
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
2003 J jnl
R-GMA: First results after deployment
CoRR
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
2003 J jnl
Relational Grid Monitoring Architecture (R-GMA)
CoRR
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
2002 J jnl
EquiX - A search and query language for XML.
J. Assoc. Inf. Sci. Technol.
Sara Cohen, Yaron Kanza, Yakov A. Kogan, Yehoshua Sagiv, Werner Nutt, Alexander Serebrenik
2002 J jnl
Equivalences Among Aggregate Queries with Negation
CoRR
Sara Cohen, Werner Nutt, Yehoshua Sagiv
2002 J jnl
Querying Incomplete Information in Semistructured Data.
J. Comput. Syst. Sci.
Yaron Kanza, Werner Nutt, Yehoshua Sagiv
2001 J jnl
EquiX - A Search and Query Language for XML
CoRR
Sara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik
2001 A* conf
Equivalences among Aggregate Queries with Negation.
PODS
Sara Cohen, Werner Nutt, Yehoshua Sagiv
2001 — conf
Preface.
KRDB
Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Dan Suciu
2001 — ed.
Proceedings of the 8th International Workshop on Knowledge Representation meets Databases (KRDB 2001), Rome, Italy, September 15, 2001
Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Dan Suciu
2001 J jnl
Report on the 8th International Workshop on Knowledge Representation Meets Databases (KRDB).
SIGMOD Rec.
Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Dan Suciu
2000 J jnl
Algorithms for Rewriting Aggregate Queries Using Views
CoRR
Sara Cohen, Werner Nutt, Alexander Serebrenik
2000 — conf
Algorithms for Rewriting Aggregate Queries Using Views.
ADBIS-DASFAA
Sara Cohen, Werner Nutt, Alexander Serebrenik
2000 B conf
Combining the Power of Searching and Querying.
CoopIS
Sara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik
2000 J jnl
EquiX - A Search and Query Language for XML
CoRR
Sara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik
2000 — ed.
Proceedings of the 7th International Workshop on Knowledge Representation meets Databases (KRDB 2000), Berlin, Germany, August 21, 2000
Mokrane Bouzeghoub, Matthias Klusch, Werner Nutt, Ulrike Sattler
1999 — conf
Algorithms for Rewriting Aggregate Queries Using Views.
DMDW
Sara Cohen, Werner Nutt, Alexander Serebrenik
1999 — conf
EquiX Easy Querying in XML Databases.
WebDB (Informal Proceedings)
Sara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik
1999 — conf
Incomplete Answers for Queries over Semistructured Data.
KRDB
Yaron Kanza, Werner Nutt, Yehoshua Sagiv
1999 Misc conf
On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics.
KI
Werner Nutt
1999 A* conf
Queries with Incomplete Answers over Semistructured Data.
PODS
Yaron Kanza, Werner Nutt, Yehoshua Sagiv
1999 — conf
Querying Semantically Tagged Documents on the World-Wide Web.
NGITS
Ziv Bar-Yossef, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv
1999 J jnl
Report on the 1998 International Workshop on Description Logics (DL'98).
J. Log. Comput.
Enrico Franconi, Giuseppe De Giacomo, Ian Horrocks, Deborah L. McGuinness, Werner Nutt, Peter F. Patel-Schneider, Christopher A. Welty
1999 A* conf
Rewriting Aggregate Queries Using Views.
PODS
Sara Cohen, Werner Nutt, Alexander Serebrenik
1998 J jnl
A Refined Architecture for Terminological Systems: Terminology = Schema + Views.
Artif. Intell.
Martin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf
1998 J jnl
An Epistemic Operator for Description Logics.
Artif. Intell.
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf
1998 A* conf
Deciding Equivalences Among Aggregate Queries.
PODS
Werner Nutt, Yehoshua Sagiv, Sara Shurin
1998 — ed.
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998
Description Logics
Enrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor, Werner Nutt, Christopher A. Welty
1997 — conf
Classification Rules for Semi-Structured Data.
Description Logics
David Michaeli, Werner Nutt, Yehoshua Sagiv
1997 J jnl
Intelligent Access to Heterogeneous Information Sources: Report on the 4th Workshop on Knowledge Representation Meets Databases.
SIGMOD Rec.
Franz Baader, Manfred A. Jeusfeld, Werner Nutt
1997 — ed.
Intelligent Access to Heterogeneous Information, Proceedings of the 4th Workshop KRDB-97, Athens, Greece, August 30, 1997
Franz Baader, Manfred A. Jeusfeld, Werner Nutt
1997 J jnl
The Complexity of Concept Languages.
Inf. Comput.
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt
1996 J jnl
Combination problems for commutative/monoidal theories or how algebra can help in equational unification.
Appl. Algebra Eng. Commun. Comput.
Franz Baader, Werner Nutt
1996 — ed.
KRDB-95: Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of the 2nd Workshop KRDB'95, Bielefeld, Germany, Septtember 11-12, 1995
Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt
1996 — ed.
Knowledge Representation Meets Databases, Proceedings of the 3rd Workshop KRDB'96, Budapest, Hungary, August 13, 1996
Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt
1995 — conf
Overview: KRDB'95.
KRDB
Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt
1995 — ed.
Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of 1st Workshop KRDB'94, Saarbrücken, Germany, September 20-22, 1994
Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt
1995 J jnl
Reasoning about structured objects: Knowledge representation meets databases.
Knowl. Eng. Rev.
Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt
1995 Misc conf
Task Acquisition with a Description Logic Reasoner.
KI
Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wójcik
1994 — conf
Reasoning about Structured Objects: Knowledge Representation Meets Databases - Overview.
KRDB
Franz Baader, Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt
1994 A* conf
Refining the Structure of Terminological Systems: Terminology = Schema + Views.
AAAI
Martin Buchheit, Werner Nutt, Francesco M. Donini, Andrea Schaerf
1994 B conf
Subsumption between Queries to Object-Oriented Databases.
EDBT
Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt, Martin Staudt
1994 J jnl
Subsumption between queries to object-oriented databases.
Inf. Syst.
Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt, Martin Staudt
1994 — conf
Terminological Systems Revisited: Terminology = Schema + Views.
KRDB
Martin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf
1993 J jnl
"Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)" - Tagungsbericht.
Künstliche Intell.
Franz Baader, Philipp Hanschke, Bernhard Hollunder, Bernhard Nebel, Werner Nutt
1993 Misc conf
Modellierung epistemischer Propositionen.
KI
Hans-Jürgen Bürckert, Werner Nutt
1993 J jnl
On the expressivity of feature logics with negation, functional uncertainty, and sort equations.
J. Log. Lang. Inf.
Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt, Gert Smolka
1992 A* conf
Adding Epistemic Operators to Concept Languages.
KR
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, Werner Nutt
1992 — conf
Are Complete an Expressiv Terminological Systems Feasible?
Description Logics
Franz Baader, Werner Nutt
1992 — conf
Queries, Rules and Definitions as Epistemic Sentences in Concept Languages.
ECAI Workshop on Knowledge Representation and Reasoning
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf
1992 J jnl
Terminologische Logiken.
Künstliche Intell.
Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt
1992 J jnl
The Complexity of Existential Quantification in Concept Languages.
Artif. Intell.
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Bernhard Hollunder, Werner Nutt, Alberto Marchetti-Spaccamela
1991 — conf
Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification.
RTA
Franz Baader, Werner Nutt
1991 — conf
Terminological Knowledge Representation: A Proposal for a Terminological Logic.
Description Logics
Franz Baader, Hans-Jürgen Bürckert, Jochen Heinsohn, Bernhard Hollunder, Jürgen Müller, Bernhard Nebel, Werner Nutt, Hans-Jürgen Profitlich
1991 — conf
The Complexity of Concept Languages (Extended Abstract).
Description Logics
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt
1991 A* conf
The Complexity of Concept Languages.
KR
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt
1991 J jnl
The Unification Hierarchy is Undecidable.
J. Autom. Reason.
Werner Nutt
1991 — conf
Tractable Concept Languages.
Description Logics
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt
1991 A* conf
Tractable Concept Languages.
IJCAI
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt
1990 A conf
Subsumption Algorithms for Concept Description Languages.
ECAI
Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß
1990 A conf
Tutorial on Reasoning and Representation with Concept Languages.
CADE
Jürgen Müller, Franz Baader, Bernhard Nebel, Werner Nutt, Gert Smolka
1990 A conf
Unification in Monoidal Theories.
CADE
Werner Nutt
1989 J jnl
Basic Narrowing Revisited.
J. Symb. Comput.
Werner Nutt, Pierre Réty, Gert Smolka