default search action
Werner Nutt
Werner Nutt-Wahlmann
Person information
- affiliation: Free University of Bozen-Bolzano, Italy
- affiliation: Saarland University, Saarbrücken, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c97]Julien Corman, Werner Nutt
, Ognjen Savkovic
Complete Approximations of Incomplete Queries. RuleML+RR 2024: 124-141 - [i14]Julien Corman, Werner Nutt, Ognjen Savkovic:
Complete Approximations of Incomplete Queries. CoRR abs/2407.20932 (2024) - 2023
- [c96]Millenio Ramadizsa, Fariz Darari, Werner Nutt, Simon Razniewski:
Knowledge Gap Discovery: A Case Study of Wikidata. Wikidata@ISWC 2023 - 2022
- [j33]Elisa Marengo, Werner Nutt, Matthias Perktold:
CoPModL: Construction Process Modeling Language and Satisfiability Checking. Inf. Syst. 103: 101457 (2022) - [c95]Hebatallah A. Mohamed Hassan
A BERT-Based Model for Question Answering on Construction Incident Reports. NLDB 2022: 215-223 - [c94]Paolo Sylos Labini, Massimo Bernaschi, Werner Nutt, Francesco Silvestri, Flavio Vella
Blocking Sparse Matrices to Leverage Dense-Specific Multiplication. IA3@SC 2022: 19-24 - 2020
- [j32]Fariz Darari, Werner Nutt, Simon Razniewski, Sebastian Rudolph
Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements. Semantic Web 11(3): 441-482 (2020) - [c93]Arif Ur Rahman, Syed Mehtab Alam, Patrick Dallasega, Elisa Marengo, Werner Nutt:
Increasing Control in Construction Processes: The Role of Digitalization. Business Process Management Workshops 2020: 263-275 - [c92]Nadyah Hani Ramadhana, Fariz Darari, Panca O. Hadi Putra, Werner Nutt, Simon Razniewski, Refo Ilmiya Akbar:
User-Centered Design for Knowledge Imbalance Analysis: A Case Study of ProWD. VOILA@ISWC 2020: 14-27 - [i13]Dmitriy Zheleznyakov, Evgeny Kharlamov, Werner Nutt, Diego Calvanese:
On Expansion and Contraction of DL-Lite Knowledge Bases. CoRR abs/2001.09365 (2020)
2010 – 2019
- 2019
- [j31]Dmitriy Zheleznyakov, Evgeny Kharlamov, Werner Nutt
On expansion and contraction of DL-Lite knowledge bases. J. Web Semant. 57 (2019) - [c91]Avicenna Wisesa, Fariz Darari, Adila Krisnadhi
Wikidata Completeness Profiling Using ProWD. K-CAP 2019: 123-130 - [c90]Radityo Eko Prasojo
NEWS: News Event Walker and Summarizer. SIGMOD Conference 2019: 1973-1976 - 2018
- [j30]Fariz Darari
Completeness Management for RDF Data Sources. ACM Trans. Web 12(3): 18:1-18:53 (2018) - [c89]Elisa Marengo
Construction Process Modeling: Representing Activities, Items and Their Interplay. BPM 2018: 48-65 - [c88]Elisa Marengo, Werner Nutt, Matthias Perktold:
CoPMod: Support for Construction Process Modeling. BPM (Dissertation/Demos/Industry) 2018: 61-65 - [c87]Radityo Eko Prasojo
StuffIE: Semantic Tagging of Unlabeled Facets Using Fine-Grained Information Extraction. CIKM 2018: 467-476 - [c86]Ognjen Savkovic, Evgeny Kharlamov, Guohui Xiao, Gulnar Mehdi, Elem Güzel Kalayci, Werner Nutt, Mikhail Roshchin, Ian Horrocks:
Theoretical Characterization of Signal Diagnostic Processing Language. Description Logics 2018 - [c85]Radityo Eko Prasojo
Modeling and Summarizing News Events Using Semantic Triples. ESWC 2018: 512-527 - [c84]Evgeny Kharlamov, Ognjen Savkovic, Martin Ringsquandl, Guohui Xiao
Diagnostics of Trains with Semantic Diagnostics Rules. ILP 2018: 54-71 - [c83]Fariz Darari
Comparing Index Structures for Completeness Reasoning. IWBIS 2018: 49-56 - [c82]Ognjen Savkovic, Evgeny Kharlamov, Martin Ringsquandl, Guohui Xiao
Semantic Diagnostics of Smart Factories. JIST 2018: 277-294 - [c81]Vevake Balaraman
Recoin: Relative Completeness in Wikidata. WWW (Companion Volume) 2018: 1787-1792 - [p2]Elisa Marengo, Patrick Dallasega, Marco Montali, Werner Nutt, Michael Reifer:
Process Management in Construction: Expansion of the Bolzano Hospital. Business Process Management Cases 2018: 257-274 - 2017
- [c80]Simon Razniewski, Vevake Balaraman
Doctoral Advisor or Medical Condition: Towards Entity-Specific Rankings of Knowledge Base Properties. ADMA 2017: 526-540 - [c79]Ognjen Savkovic, Evgeny Kharlamov, Werner Nutt, Pierre Senellart:
Towards Approximating Incomplete Queries over Partially Complete Databases (Extended Abstract). AMW 2017 - [c78]Fariz Darari, Radityo Eko Prasojo, Simon Razniewski, Werner Nutt:
COOL-WD: A Completeness Tool for Wikidata. ISWC (Posters, Demos & Industry Tracks) 2017 - [i12]Simon Razniewski, Vevake Balaraman, Werner Nutt:
Doctoral Advisor or Medical Condition: Towards Entity-specific Rankings of Knowledge Base Properties [Extended Version]. CoRR abs/1709.06907 (2017) - 2016
- [j29]Angela Bonifati
Mapping-equivalence and oid-equivalence of single-function object-creating conjunctive queries. VLDB J. 25(3): 381-397 (2016) - [c77]Simon Razniewski, Fabian M. Suchanek, Werner Nutt:
But What Do We Actually Know? AKBC@NAACL-HLT 2016: 40-44 - [c76]Simon Razniewski, Ognjen Savkovic, Werner Nutt:
Turning The Partial-Closed World Assumption Upside Down. AMW 2016 - [c75]Elisa Marengo, Patrick Dallasega, Marco Montali, Werner Nutt:
Towards a Graphical Language for Process Modelling in Construction. CAiSE Forum 2016: 17-24 - [c74]Ognjen Savkovic, Elisa Marengo, Werner Nutt:
Query Stability in Monotonic Data-Aware Business Processes. ICDT 2016: 16:1-16:18 - [c73]Fariz Darari
Enabling Fine-Grained RDF Data Completeness Assessment. ICWE 2016: 170-187 - [c72]Paramita Mirza, Simon Razniewski, Werner Nutt:
Expanding Wikidata's Parenthood Information by 178%, or How To Mine Relation Cardinality Information. ISWC (Posters & Demos) 2016 - [c71]Radityo Eko Prasojo, Fariz Darari, Simon Razniewski, Werner Nutt:
Managing and Consuming Completeness Information for Wikidata Using COOL-WD. COLD@ISWC 2016 - [i11]Fariz Darari, Simon Razniewski, Radityo Eko Prasojo, Werner Nutt:
Enabling Fine-grained RDF Data Completeness Assessment. CoRR abs/1604.08377 (2016) - 2015
- [c70]Radityo Eko Prasojo
Entity and Aspect Extraction for Organizing News Comments. CIKM 2015: 233-242 - [c69]Werner Nutt, Sergey Paramonov, Ognjen Savkovic:
Implementing Query Completeness Reasoning. CIKM 2015: 733-742 - [c68]Fariz Darari, Radityo Eko Prasojo, Werner Nutt:
Expressing No-Value Information in RDF. ISWC (Posters & Demos) 2015 - [c67]Simon Razniewski, Flip Korn, Werner Nutt
Identifying the Extent of Completeness of Query Answers over Partially Complete Databases. SIGMOD Conference 2015: 561-576 - [c66]Simon Razniewski, Werner Nutt:
Long-term Optimization of Update Frequencies for Decaying Information. WebDB 2015: 34-40 - [i10]Angela Bonifati, Werner Nutt, Riccardo Torlone, Jan Van den Bussche:
Mapping-equivalence and oid-equivalence of single-function object-creating conjunctive queries. CoRR abs/1503.01707 (2015) - [i9]Ognjen Savkovic, Elisa Marengo, Werner Nutt:
Query Stability in Monotonic Data-Aware Business Processes [Extended Version]. CoRR abs/1512.06912 (2015) - 2014
- [c65]Elisa Marengo, Werner Nutt, Ognjen Savkovic:
Towards a Theory of Query Stability in Business Processes. AMW 2014 - [c64]Fariz Darari, Radityo Eko Prasojo
CORNER: A Completeness Reasoner for SPARQL Queries Over RDF Data Sources. ESWC (Satellite Events) 2014: 310-314 - [c63]Simon Razniewski, Werner Nutt:
Adding completeness information to query answers over spatial databases. SIGSPATIAL/GIS 2014: 123-132 - [c62]Simon Razniewski, Werner Nutt:
Databases under the Partial Closed-world Assumption: A Survey. Grundlagen von Datenbanken 2014: 59-64 - [c61]Fariz Darari, Simon Razniewski, Werner Nutt:
Bridging the Semantic Gap between RDF and SPARQL using Completeness Statements. ISWC (Posters & Demos) 2014: 269-272 - [i8]Fariz Darari, Simon Razniewski, Werner Nutt:
Bridging the Semantic Gap between RDF and SPARQL using Completeness Statements [Extended Version]. CoRR abs/1408.6395 (2014) - 2013
- [j28]Ognjen Savkovic, Paramita Mirza, Alex Tomasi, Werner Nutt
Complete Approximations of Incomplete Queries. Proc. VLDB Endow. 6(12): 1378-1381 (2013) - [j27]Werner Nutt, Sergey Paramonov, Ognjen Savkovic:
An ASP Approach to Query Completeness Reasoning. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013) - [c60]Simon Razniewski, Werner Nutt:
Assessing the Completeness of Geographical Data. BNCOD 2013: 228-237 - [c59]Simon Razniewski, Marco Montali
Verification of Query Completeness over Processes. BPM 2013: 155-170 - [c58]Fariz Darari
Completeness Statements about RDF Data Sources and Their Use for Query Answering. ISWC (1) 2013: 66-83 - [i7]Simon Razniewski, Marco Montali, Werner Nutt:
Verification of Query Completeness over Processes [Extended Version]. CoRR abs/1306.1689 (2013) - 2012
- [c57]Werner Nutt, Simon Razniewski:
Completeness of queries over SQL databases. CIKM 2012: 902-911 - [c56]Ognjen Savkovic, Paramita Mirza, Sergey Paramonov, Werner Nutt:
MAGIK: managing completeness of data. CIKM 2012: 2725-2727 - [c55]Werner Nutt, Simon Razniewski, Gil Vegliach:
Incomplete Databases: Missing Records and Missing Values. DASFAA Workshops 2012: 298-310 - 2011
- [j26]Simon Razniewski, Werner Nutt:
Completeness of Queries over Incomplete Databases. Proc. VLDB Endow. 4(11): 749-760 (2011) - [j25]Serge Abiteboul, T.-H. Hubert Chan, Evgeny Kharlamov, Werner Nutt
Capturing continuous data and answering aggregate queries in probabilistic XML. ACM Trans. Database Syst. 36(4): 25:1-25:45 (2011) - [c54]Simon Razniewski, Werner Nutt:
Checking query completeness over incomplete data. LID 2011: 32 - [c53]Evgeny Kharlamov, Werner Nutt, Pierre Senellart
Value joins are expensive over (probabilistic) XML. LID 2011: 41-48 - [c52]Martín Rezk, Werner Nutt:
Combining Production Systems and Ontologies. RR 2011: 287-293 - 2010
- [c51]Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Dmitriy Zheleznyakov:
Updating ABoxes in DL-Lite. AMW 2010 - [c50]Dmitriy Zheleznyakov, Diego Calvanese, Evgeny Kharlamov, Werner Nutt:
Updating TBoxes in DL-Lite. Description Logics 2010 - [c49]Evgeny Kharlamov, Werner Nutt, Pierre Senellart
Updating probabilistic XML. EDBT/ICDT Workshops 2010 - [c48]Serge Abiteboul, T.-H. Hubert Chan, Evgeny Kharlamov, Werner Nutt, Pierre Senellart
Aggregate queries for discrete and continuous probabilistic XML. ICDT 2010: 50-61 - [c47]Diego Calvanese
Web-based graphical querying of databases through an ontology: the Wonder system. SAC 2010: 1388-1395 - [c46]Diego Calvanese
Evolution of DL-Lite Knowledge Bases. ISWC (1) 2010: 112-128
2000 – 2009
- 2008
- [j24]Evgeny Kharlamov, Werner Nutt:
Incompleteness in information integration. Proc. VLDB Endow. 1(2): 1652-1658 (2008) - [c45]Diego Calvanese
Aggregate queries over ontologies. ONISW 2008: 97-104 - 2007
- [j23]Alasdair J. G. Gray
Answering queries over incomplete data stream histories. Int. J. Web Inf. Syst. 3(1/2): 41-60 (2007) - [j22]Sara Cohen
Deciding equivalences among conjunctive aggregate queries. J. ACM 54(2): 5 (2007) - [c44]Lisha Ma, Werner Nutt, Hamish Taylor:
Condensative Stream Query Language for Data Streams. ADC 2007: 113-122 - [c43]Diego Calvanese, Evgeny Kharlamov, Werner Nutt:
A Proof Theory for DL-Lite. Description Logics 2007 - [c42]Carles Farré
Containment of Conjunctive Queries over Databases with Null Values. ICDT 2007: 389-403 - 2006
- [j21]Sara Cohen
Rewriting queries with arbitrary aggregation functions using views. ACM Trans. Database Syst. 31(2): 672-715 (2006) - [c41]Alasdair J. G. Gray
Sources of Incompleteness in Grid Publishing. BNCOD 2006: 94-101 - [c40]Alasdair J. G. Gray, M. Howard Williams, Werner Nutt:
Answering Arbitrary Conjunctive Queries over Incomplete Data Stream Histories. iiWAS 2006: 259-268 - 2005
- [j20]Andrew W. Cooke, Alasdair J. G. Gray
Stream Integration Techniques for Grid Monitoring. J. Data Semant. 2: 136-175 (2005) - [j19]Sara Cohen
Equivalences among aggregate queries with negation. ACM Trans. Comput. Log. 6(2): 328-360 (2005) - [c39]Alasdair J. G. Gray
Republishers in a Publish/Subscribe Architecture for Data Streams. BNCOD 2005: 179-184 - [c38]Rob Byrom, Brian A. Coghlan, Andrew W. Cooke, Roney Cordenonsi, Linda Cornwall, Martin Craig, Abdeslem Djaoui, Alastair Duncan, Steve Fisher, Alasdair J. G. Gray
Fault Tolerance in the R-GMA Information and Monitoring System. EGC 2005: 751-760 - [c37]Lisha Ma, Werner Nutt:
Frequency Operators for Condensative Queries over Data Streams. ICEBE 2005: 518-526 - [c36]Alasdair J. G. Gray
A Data Stream Publish/Subscribe Architecture with Self-adapting Queries. OTM Conferences (1) 2005: 420-438 - 2004
- [j18]Andrew W. Cooke, Alasdair J. G. Gray
The Relational Grid Monitoring Architecture: Mediating Information about the Grid. J. Grid Comput. 2(4): 323-339 (2004) - [c35]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 - 2003
- [c34]Andrew W. Cooke, Alasdair J. G. Gray
R-GMA: An Information Integration System for Grid Monitoring. OTM 2003: 462-481 - [c33]Sara Cohen, Werner Nutt, Yehoshua Sagiv:
Containment of Aggregate Queries. ICDT 2003: 111-125 - [p1]Franz Baader, Werner Nutt:
Basic Description Logics. Description Logic Handbook 2003: 43-95 - [i6]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) - [i5]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) - 2002
- [j17]Sara Cohen
EquiX - A search and query language for XML. J. Assoc. Inf. Sci. Technol. 53(6): 454-466 (2002) - [j16]Yaron Kanza, Werner Nutt, Yehoshua Sagiv:
Querying Incomplete Information in Semistructured Data. J. Comput. Syst. Sci. 64(3): 655-693 (2002) - [i4]Sara Cohen, Werner Nutt, Yehoshua Sagiv:
Equivalences Among Aggregate Queries with Negation. CoRR cs.DB/0210028 (2002) - 2001
- [j15]Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Dan Suciu:
Report on the 8th International Workshop on Knowledge Representation Meets Databases (KRDB). SIGMOD Rec. 30(4): 92-93 (2001) - [c32]Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Dan Suciu:
Preface. KRDB 2001 - [c31]Sara Cohen
Equivalences among Aggregate Queries with Negation. PODS 2001 - [e7]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. CEUR Workshop Proceedings 45, CEUR-WS.org 2001 [contents] - [i3]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) - 2000
- [c30]Sara Cohen, Werner Nutt, Alexander Serebrenik
Algorithms for Rewriting Aggregate Queries Using Views. ADBIS-DASFAA 2000: 65-78 - [c29]Sara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt
Combining the Power of Searching and Querying. CoopIS 2000: 54-65 - [e6]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. CEUR Workshop Proceedings 29, CEUR-WS.org 2000 [contents] - [i2]Sara Cohen, Werner Nutt, Alexander Serebrenik:
Algorithms for Rewriting Aggregate Queries Using Views. CoRR cs.DB/0011024 (2000) - [i1]Sara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik:
EquiX - A Search and Query Language for XML. CoRR cs.DB/0011041 (2000)
1990 – 1999
- 1999
- [j14]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) - [c28]Sara Cohen, Werner Nutt, Alexander Serebrenik:
Algorithms for Rewriting Aggregate Queries Using Views. DMDW 1999: 9 - [c27]Werner Nutt:
On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics. KI 1999: 113-124 - [c26]Yaron Kanza, Werner Nutt, Yehoshua Sagiv:
Incomplete Answers for Queries over Semistructured Data. KRDB 1999: 21-25 - [c25]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 - [c24]Sara Cohen
Rewriting Aggregate Queries Using Views. PODS 1999: 155-166 - [c23]Yaron Kanza, Werner Nutt, Yehoshua Sagiv:
Queries with Incomplete Answers over Semistructured Data. PODS 1999: 227-236 - [c22]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 - 1998
- [j13]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) - [j12]Francesco M. Donini
An Epistemic Operator for Description Logics. Artif. Intell. 100(1-2): 225-274 (1998) - [c21]Werner Nutt, Yehoshua Sagiv, Sara Shurin
Deciding Equivalences Among Aggregate Queries. PODS 1998: 214-223 - [e5]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. CEUR Workshop Proceedings 11, CEUR-WS.org 1998 [contents] - 1997
- [j11]Francesco M. Donini
The Complexity of Concept Languages. Inf. Comput. 134(1): 1-58 (1997) - [j10]Franz Baader, Manfred A. Jeusfeld
Intelligent Access to Heterogeneous Information Sources: Report on the 4th Workshop on Knowledge Representation Meets Databases. SIGMOD Rec. 26(4): 44-48 (1997) - [c20]David Michaeli, Werner Nutt, Yehoshua Sagiv:
Classification Rules for Semi-Structured Data. Description Logics 1997 - [e4]Franz Baader, Manfred A. Jeusfeld
Intelligent Access to Heterogeneous Information, Proceedings of the 4th Workshop KRDB-97, Athens, Greece, August 30, 1997. CEUR Workshop Proceedings 8, CEUR-WS.org 1997 [contents] - 1996
- [j9]Franz Baader, Werner Nutt:
Combination problems for commutative/monoidal theories or how algebra can help in equational unification. Appl. Algebra Eng. Commun. Comput. 7(4): 309-337 (1996) - [e3]Franz Baader, Martin Buchheit, Manfred A. Jeusfeld
KRDB-95: Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of the 2nd Workshop KRDB'95, Bielefeld, Germany, Septtember 11-12, 1995. CEUR Workshop Proceedings 2, CEUR-WS.org 1996 [contents] - [e2]Franz Baader, Martin Buchheit, Manfred A. Jeusfeld
Knowledge Representation Meets Databases, Proceedings of the 3rd Workshop KRDB'96, Budapest, Hungary, August 13, 1996. CEUR Workshop Proceedings 4, CEUR-WS.org 1996 [contents] - 1995
- [j8]Franz Baader, Martin Buchheit, Manfred A. Jeusfeld
Reasoning about structured objects: Knowledge representation meets databases. Knowl. Eng. Rev. 10(1): 73-76 (1995) - [c19]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 - [c18]Franz Baader, Martin Buchheit, Manfred A. Jeusfeld
Overview: KRDB'95. KRDB 1995 - [e1]Franz Baader, Martin Buchheit, Manfred A. Jeusfeld
Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of 1st Workshop KRDB'94, Saarbrücken, Germany, September 20-22, 1994. CEUR Workshop Proceedings 1, CEUR-WS.org 1995 [contents] - 1994
- [b1]Werner Nutt-Wahlmann:
Algorithms for constraints in deduction and knowledge representation. Saarland University, Saarbrücken, Germany, 1994, pp. I-XVI, 1-193 - [j7]Martin Buchheit, Manfred A. Jeusfeld
Subsumption between queries to object-oriented databases. Inf. Syst. 19(1): 33-54 (1994) - [c17]Martin Buchheit, Werner Nutt, Francesco M. Donini, Andrea Schaerf:
Refining the Structure of Terminological Systems: Terminology = Schema + Views. AAAI 1994: 199-204 - [c16]Martin Buchheit, Manfred A. Jeusfeld
Subsumption between Queries to Object-Oriented Databases. EDBT 1994: 15-22 - [c15]Franz Baader, Martin Buchheit, Manfred A. Jeusfeld
Reasoning about Structured Objects: Knowledge Representation Meets Databases - Overview. KRDB 1994 - [c14]Martin Buchheit, Francesco M. Donini, Werner Nutt, Andrea Schaerf:
Terminological Systems Revisited: Terminology = Schema + Views. KRDB 1994 - 1993
- [j6]Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel
On the expressivity of feature logics with negation, functional uncertainty, and sort equations. J. Log. Lang. Inf. 2(1): 1-18 (1993) - [j5]Franz Baader, Philipp Hanschke, Bernhard Hollunder, Bernhard Nebel, Werner Nutt:
"Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)" - Tagungsbericht. Künstliche Intell. 7(3): 24-25 (1993) - [c13]Hans-Jürgen Bürckert, Werner Nutt:
Modellierung epistemischer Propositionen. KI 1993: 264-267 - 1992
- [j4]Francesco M. Donini
The Complexity of Existential Quantification in Concept Languages. Artif. Intell. 53(2-3): 309-327 (1992) - [j3]Franz Baader, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt:
Terminologische Logiken. Künstliche Intell. 6(3): 23-33 (1992) - [c12]Franz Baader, Werner Nutt:
Are Complete an Expressiv Terminological Systems Feasible? Description Logics 1992: 1-5 - [c11]Francesco M. Donini
Queries, Rules and Definitions as Epistemic Sentences in Concept Languages. ECAI Workshop on Knowledge Representation and Reasoning 1992: 113-132 - [c10]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, Werner Nutt:
Adding Epistemic Operators to Concept Languages. KR 1992: 342-353 - 1991
- [j2]Werner Nutt:
The Unification Hierarchy is Undecidable. J. Autom. Reason. 7(3): 369-381 (1991) - [c9]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt:
Tractable Concept Languages. Description Logics 1991: 39-42 - [c8]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt:
The Complexity of Concept Languages (Extended Abstract). Description Logics 1991: 87-90 - [c7]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 - [c6]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt:
Tractable Concept Languages. IJCAI 1991: 458-465 - [c5]Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt:
The Complexity of Concept Languages. KR 1991: 151-162 - [c4]Franz Baader, Werner Nutt:
Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification. RTA 1991: 124-135 - 1990
- [c3]Werner Nutt
Unification in Monoidal Theories. CADE 1990: 618-632 - [c2]Jürgen Müller, Franz Baader, Bernhard Nebel
Tutorial on Reasoning and Representation with Concept Languages. CADE 1990: 681 - [c1]Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß:
Subsumption Algorithms for Concept Description Languages. ECAI 1990: 348-353
1980 – 1989
- 1989
- [j1]Werner Nutt, Pierre Réty, Gert Smolka:
Basic Narrowing Revisited. J. Symb. Comput. 7(3/4): 295-317 (1989)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: