Publications in 2017

Journal Articles

Franz Baader, Stefan Borgwardt, Rafael Peñaloza
Decidability and Complexity of Fuzzy Description Logics
Künstliche Intelligenz, 31(1):85–90, 2017
Details Download

Ringo Baumann, Hannes Straß
On the Number of Bipolar Boolean Functions
Journal of Logic and Computation, 27(8):2431--2449, 2017
Details Download

Stefan Borgwardt, Rafael Peñaloza
Algorithms for Reasoning in Very Expressive Description Logics under Infinitely Valued Gödel Semantics
International Journal of Approximate Reasoning, 83:60–101, 2017
Details Download

Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes Peter Wallner, Stefan Woltran
Abstract Dialectical Frameworks. An Overview
IfCoLog Journal of Logics and their Applications, 4(8):2263-2317, October 2017
Details

Gerhard Brewka, Stefan Ellmauthaler, Hannes Straß, Johannes Peter Wallner, Stefan Woltran
Abstract Dialectical Frameworks. An Overview
FLAP, 4(8):2263--2317, 2017
Details Download

Federico Cerutti, Sarah Alice Gaggl, Matthias Thimm, Johannes Peter Wallner
Foundations of Implementations for Formal Argumentation
The IfCoLog Journal of Logics and their Applications; Special Issue Formal Argumentation, 4:2623-2705, September 2017
Details Download

İsmail İlkan Ceylan, Rafael Peñaloza Nyssen
The Bayesian Ontology Language BEL
Journal of Automated Reasoning, 58(1):67--95, 2017
Details Download

Long Cheng, Ilias Tachmazidis, Spyros Kotoulas, Grigoris Antoniou
Design and Evaluation of Small-Large Outer Joins in Cloud Computing Environments
Journal of Parallel and Distributed Computing, 110:2-15, 2017
Details

Montserrat Hermo, Ana Ozaki
Exact Learning of Multivalued Dependency Formulas
Theoretical Computer Science, December 2017
Details

Schnitzer Johannes, Gromann Dagmar
Estrategias de combinación de recursos lexicográficos en la adquisición de lenguas extranjeras (en contextos específicos)
Revista Nebrija, 11(23):124 - 145, November 2017
Details

Jan Komenda, Tomáš Masopust
Computation of Controllable and Coobservable Sublanguages in Decentralized Supervisory Control via Communication
Discrete Event Dynamic Systems, 27(4):585-608, December 2017
Details Download

Markus Krötzsch, Tomáš Masopust, Michaël Thomazo
Complexity of Universality and Related Problems for Partially Ordered NFAs
Information and Computation, 255(1):177-192, August 2017
Details Download

Ignacio Lamata Martínez, Martin S Williams, Shirley Dyke, Markus Krötzsch, Pierre Pegon
Next directions in experimental data for seismic hazard mitigation
Engineering Structures, 136:535-546, 2017
Details

Tim Lyon, Christian Ittner, Timo Eckhardt, Norbert Gratzl
The Basics of Display Calculi
Kriterion -- Journal of Philosophy, 31(2):55-100, 2017
Details Download

Tomáš Masopust, Michaël Thomazo
On boolean combinations forming piecewise testable languages
Theoretical Computer Science, 682:165-179, June 2017
Details Download

Sebastian Rudolph
Succinctness and tractability of closure operator representations
Theoretical Computer Science, 658, Part B:327 - 345, January 2017
Details Download

Veronika Thost
Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information (Extended Abstract)
KI, 31(4):377--380, 2017
Details Download

Proceedings Articles

Shima Asaadi, Sebastian Rudolph
Gradual Learning of Matrix-Space Models of Language for Sentiment Analysis
In Phil Blunsom, Antoine Bordes, Kyunghyun Cho, Shay B. Cohen, Chris Dyer, Edward Grefenstette, Karl Moritz Hermann, Laura Rimell, Jason Weston, Scott Yih, eds., Proceedings of the 2nd Workshop on Representation Learning for NLP, ACL2017, 178-185, August 2017. Association for Computational Linguistics
Details Download

Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Metric Temporal Description Logics with Interval-Rigid Names
In Clare Dixon, Marcelo Finger, eds., Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS'17), volume 10483 of Lecture Notes in Computer Science, 60--76, September 2017. Springer
Details Download

Franz Baader, Stefan Borgwardt, Marcel Lippmann
Query Rewriting for DL-Lite with n-ary Concrete Domains
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), to appear
Details Download

Bartosz Bednarczyk, Witold Charatonik
Modulo Counting on Words and Trees.
In Satya V. Lokam, R. Ramanujam, eds., FSTTCS 2017, 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, volume 93 of Leibniz International Proceedings in Informatics, 12:1--12:16, December 2017. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Details Download

Bartosz Bednarczyk, Witold Charatonik, Emanuel Kieroński
Extending Two-Variable Logic on Trees
In Valentin Goranko, Mads Dam, eds., Proceedings of 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), volume 82 of Leibniz International Proceedings in Informatics, 11:1--11:20, August 2017. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Details Download

Stefan Borgwardt, İsmail İlkan Ceylan, Thomas Lukasiewicz
Ontology-Mediated Queries for Probabilistic Databases
In Satinder Singh, Shaul Markovitch, eds., Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI 2017), 1063–1069, 2017. AAAI Press
Details Download

Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran
Solving Advanced Argumentation Problems with Answer-Set Programming
Proceedings of the 31rst AAAI Conference on Artificial Intelligence, 1077-1083, 2017
Details

David Carral, Irina Dragoste, Markus Krötzsch
Restricted chase (non)termination for existential rules with disjunctions
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), 922-928, 2017. International Joint Conferences on Artificial Intelligence
Details Download

David Carral, Irina Dragoste, Markus Krötzsch
Answering Conjunctive Queries for Expressive DLs with the Restricted Chase: Extended Abstract
In Alessandro Artale, Birte Glimm, Roman Kontchakov, eds., Proceedings of the 30st International Workshop on Description Logics (DL 2017), volume 1879 of CEUR Workshop Proceedings, July 2017. CEUR-WS.org
Details Download

David Carral, Irina Dragoste, Markus Krötzsch
Tractable Query Answering for Expressive Ontologies and Existential Rules
In Claudia d'Amato, Miriam Fernández, Valentina A. M. Tamma, Freddy Lécué, Philippe Cudré-Mauroux, Juan F. Sequeda, Christoph Lange, Jeff Heflin, eds., Proceedings of the 16th International Semantic Web Conference (ISWC'17), volume 10587 of LNCS, 2017. Springer
Details Download

İsmail İlkan Ceylan, Adnan Darwiche, Guy Van Den Broeck
Open-World Probabilistic Databases: An Abridged Report
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), to appear
Details Download

İsmail İlkan Ceylan, Stefan Borgwardt, Thomas Lukasiewicz
Most Probable Explanations for Probabilistic Database Queries
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), to appear
Details Download

İsmail İlkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza, Oana Tifrea-Marciuska
Query Answering in Ontologies under Preference Rankings
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), to appear
Details Download

Paula Chocron, Dagmar Gromann
Towards Building Ontologies from Crowdsourced Data
In Joanna Bryson, Marina De Vos, Julian Padget, eds., Proceedings of AISB Annual Convention 2017, 236-246, 2017. AISB
Details

Ana Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Marco Ragni
A computational logic approach to human syllogistic reasoning
Proceedings of the 39th Annual Conference of the Cognitive Science Society, 883-888, 2017
Details

Thierry Declerck, Dagmar Gromann
Porting the xEBR taxonomies to a LOD compliant format
In Mariano Rico, Maria Mora, eds., Proceedings of the XBRL Academic Track co-located with Eurofiling XBRL week in Frankfurt and 19th XBRL Europe day (XBRL 2017), volume 1890, 2017. CEUR Workshop Proceedings
Details

Emmanuelle-Anna Dietz
A computational logic approach to the belief bias in human syllogistic reasoning
In Patrick Brézillon, Roy M. Turner, Carlo Penco, eds., 10th International and Interdisciplinary Conference on Modeling and Using Context, volume 10257 of Lecture Notes in Computer Science, 691--707, 2017. Springer
Details

Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Tobias Philipp
Contextual abduction and its complexity issues
In Richard Booth, Giovanni Casini, Ivan Varzinczak, eds., Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe), volume 1872 of CEUR Workshop Proceedings, 58–70, 2017. CEUR-WS.org
Details

Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Luís Moniz Pereira
Contextual reasoning: Usually birds can abductively fly
In Marcello Balduccini, Tomi Janhunen, eds., 14th International Conference on Logic Programming and Nonmonotonic Reasoning, volume 10377 of Lecture Notes in Computer Science, 64--77, 2017. Springer
Details

Martin Diller, Adam Z. Wyner, Hannes Straß
Defeasible AceRules: A Prototype
In Claire Gardent and Christian Retoré, eds., Proceedings of the Twelfth International Conference on Computational Semantics (IWCS), Long Papers, September 2017. The Association for Computer Linguistics
Details Download

Martin Diller, Adam Zachary Wyner, Hannes Strass
Defeasible AceRules: A prototype
Proceedings of the 12th International Conference on Computational Semantics, 19-22, 2017
Details Download

Martin Diller, Anthony Hunter
Encoding monotonic multiset preferences using CI-nets
Proceedings of the 1rst Workshop on Präferenzen und Personalisierung in der Informatik, 2017
Details

Bartłomiej Dudek, Paweł Gawrychowski, Piotr Ostropolski-Nalewaja
A Family of Approximation Algorithms for the Maximum Duo-Preservation String Mapping Problem
In Juha Kärkkäinen and Jakub Radoszewski and Wojciech Rytter, eds., 28th Annual Symposium on Combinatorial Pattern Matching (CPM 2017), volume 78, 10:1-10:14, 2017. CPM 2017
Details

Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Practical Fixed-Domain Reasoning for Description Logics - Extended Abstract
In Juan L. Reutter, Divesh Srivastava, eds., Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, Montevideo, Uruguay, June 7-9, 2017, volume 1912 of CEUR Workshop Proceedings, June 2017. CEUR-WS.org
Details Download

Dagmar Gromann, Maria M. Hedblom
Kinesthetic Mind Reader: A Method to Identify Image Schemas in Natural Language
In Pat Langley, eds., Advances in Cognitive Systems, volume 5, 2017. Cognitive Systems Foundation
Details

Dagmar Gromann, Thierry Declerck
Hashtag Processing for Enhanced Clustering of Tweets
In Galia Angelova, Kalina Bontcheva, Ruslan Mitkov, Ivelina Nikolova, Irina Temnikova, eds., Proceedings of the International Conference on Recent Advances in Natural Language Processing (RANLP), 277-283, 2017. RANLP
Details

Dagmar Gromann, Maria M. Hedblom
Body-Mind-Language: Multilingual Knowledge Extraction Based on Embodied Cognition
Proceedings of the 5th International Workshop on Artificial Intelligence and Cognition (AIC), 2017
Details

Lucía Gómez Álvarez, Brandon Bennett
Classification, Individuation and Demarcation of Forests: formalising the multi-faceted semantics of geographic terms
In Eliseo Clementini and Maureen Donnelly and May Yuan and Christian Kray and Paolo Fogliaroni and Andrea Ballatore, eds., 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), volume 86 of 8:1--8:15, Dagstuhl, Germany, 2017. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik
Details

Luisa Herrmann
A Medvedev Characterization of Recognizable Tree Series
In Émilie Charlier, Julien Leroy, Michel Rigo, eds., Developments in Language Theory, volume 10396 of Lecture Notes in Computer Science, 210-221, 2017. Springer
Details

Ullrich Hustadt, Ana Ozaki, Clare Dixon
Theorem Proving for Metric Temporal Logic over the Naturals
Conference on Automated Deduction, to appear. Springer
Details Download

Alexander Krause, Thomas Kissinger, Dirk Habich, Hannes Voigt, Wolfgang Lehner
Partitioning Strategy Selection for In-Memory Graph Pattern Matching on Multiprocessor Systems
23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, to appear
Details Download

Alexander Krause, Thomas Kissinger, Dirk Habich, Wolfgang Lehner
Asynchronous Graph Pattern Matching on Multiprocessor Systems
21st European Conference on Advances in Databases and Information Systems, Nicosia, Cyprus, to appear
Details

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Reasoning with Attributed Description Logics
In Alessandro Artale, Birte Glimm, Roman Kontchakov, eds., Proceedings of the 30th International Workshop on Description Logics (DL 2017), volume 1879 of CEUR Workshop Proceedings, July 2017. CEUR-WS.org
Details Download

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Attributed Description Logics: Ontologies for Knowledge Graphs
In Claudia d'Amato, Miriam Fernández, Valentina A. M. Tamma, Freddy Lécué, Philippe Cudré-Mauroux, Juan F. Sequeda, Christoph Lange, Jeff Heflin, eds., Proceedings of the 16th International Semantic Web Conference (ISWC'17), volume 10587 of LNCS, 418--435, October 2017. Springer
Details Download

Markus Krötzsch
Ontologies for Knowledge Graphs?
In Alessandro Artale, Birte Glimm, Roman Kontchakov, eds., Proceedings of the 30th International Workshop on Description Logics (DL 2017), volume 1879 of CEUR Workshop Proceedings, July 2017. CEUR-WS.org
Details Download

Jamie Macbeth, Dagmar Gromann, Maria M. Hedblom
Image Schemas and Conceptual Dependency Primitives: A Comparison
In Oliver Kutz, eds., Proceedings of the Joint Ontology Workshop (JOWO), 2017. CEUR Workshop Proceedings
Details

Maximilian Marx, Markus Krötzsch
SQID: Towards Ontological Reasoning for Wikidata
In Nadeschda Nikitina, Dezhao Song, eds., Proceedings of the ISWC 2017 Posters & Demonstrations Track, CEUR Workshop Proceedings, October 2017. CEUR-WS.org
Details Download

Maximilian Marx, Markus Krötzsch, Veronika Thost
Logic on MARS: Ontologies for generalised property graphs
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), 1188-1194, August 2017. International Joint Conferences on Artificial Intelligence
Details Download

Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Wolpertinger: A Fixed-Domain Reasoner
In Nadeschda Nikitina, Dezhao Song, eds., ISWC 2017 Posters & Demonstration Track, October 2017
Details Download

Sebastian Rudolph, Lukas Schweizer
Not too Big, Not too Small…Complexities of Fixed-Domain Reasoning in First-Order and Description Logics
In Oliveira Eugénio, Gama João, Vale Zita, Lopes Cardoso Henrique, eds., Progress in Artificial Intelligence: Proceedings of the 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal,, volume 10423 of Lecture Notes in Computer Science, 695-708, September 2017. Springer
Details

Sebastian Rudolph, Lukas Schweizer
Not too Big, Not too Small ... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics
In Alessandro Artale, Birte Glimm and Roman Kontchakov, eds., Proceedings of the 30th International Workshop on Description Logics, volume 1879 of CEUR Workshop Proceedings, July 2017. CEUR-WS.org
Details Download

Md. Kamruzzaman Sarker, Adila Krisnadhi, David Carral, Pascal Hitzler
Rule-Based OWL Modeling with ROWLTab Protégé Plugin
In Eva Blomqvist, Diana Maynard, Aldo Gangemi, Rinke Hoekstra, Pascal Hitzler, Olaf Hartig, eds., The Semantic Web, 14th International Conference, ESWC 2017, Portorovz, Slovenia. Proceedings., volume 10249 of Lecture Notes in Computer Science, 419--433, 2017. Springer
Details Download

Hannes Straß, Adam Wyner
On Automated Defeasible Reasoning with Controlled Natural Language and Argumentation
In Roman Barták and Thomas Leo McCluskey and Enrico Pontelli, eds., Proceedings of the Second International Workshop on Knowledge-based Techniques for Problem Solving and Reasoning (KnowProS), February 2017
Details Download

Veronika Thost
News on Temporal Conjunctive Queries
In Daniele Dell'Aglio, Darko Anicic, Payam M. Barnaghi, Emanuele Della Valle, Deborah L. McGuinness, Loris Bozzato, Thomas Eiter, Martin Homola, Daniele Porello, eds., Joint Proceedings of the Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017) co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 22nd, 2017, volume 1936 of CEUR Workshop Proceedings, 1--16, October 2017. CEUR-WS.org
Details Download

Christoph Wernhard
The Boolean Solution Problem from the Perspective of Predicate Logic
In Clare Dixon, Marcelo Finger, eds., 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, volume 10483 of LNCS (LNAI), 333-350, 2017. Springer
Details

Christoph Wernhard
Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas
In Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard, eds., Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), volume 2013 of CEUR Workshop Proceedings, 82-98, 2017. CEUR-WS.org
Details

Adam Z. Wyner, Hannes Straß
dARe -- Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base
In Salem Benferhat and Karim Tabia and Moonis Ali, eds., Proceedings of the Thirtieth International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE) -- Special Track on Applications of Argumentation, volume 10351 of Lecture Notes in Artificial Intelligence, 328--338, June 2017. Springer
Details Download

Books

Hannes Straß
Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning
Habilitationsschrift. Universität Leipzig, 2017
Details Download

Book Chapters

Dagmar Gromann, Johannes Schnitzer
Business lexicography
In Gerlinde Mautner Rainer Franz, eds., Handbook of Business Communication, volume 13 of Handbook of Applied Linguistics (HAL), 561-582. De Gruyter Mouton, 2017
Details

Edited Proceedings

Eva Blomqvist, Oscar Corcho, Matthew Horridge, David Carral, Rinke Hoekstra
Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 16th International Semantic Web Conference (ISWC 2017)
Volume 2043 of CEUR Workshop Proceedings, October 2017. CEUR-WS.org
Details

Daniele Dell'Aglio, Emanuele Della Valle, Thomas Eiter, Markus Krötzsch, Maria Maleshkova, Ruben Verborgh, Federico M. Facca, Michael Mrissa
Joint Proceedings of the 3rd Stream Reasoning (SR 2016) and the 1st Semantic Web Technologies for the Internet of Things (SWIT 2016) workshops
Volume 1783 of CEUR Workshop Proceedings, 2017. CEUR-WS.org
Details

Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017)
Volume 2013 of CEUR Workshop Proceedings, 2017. CEUR-WS.org
Details

Doctoral Theses

Emmanuelle-Anna Dietz Saldanha
From Logic Programming to Human Reasoning: How to be Artificially Human
Phd thesis, TU Dresden, 2017/06/26
Details

Veronika Thost
Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information
Phd thesis, TU Dresden, 2017/06/19
Details Download

Technical Reports

Richard Mörbitz
Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics
Technical Report, Knowledge Representation and Reasoning, volume 17-02, June 2017. Technical report
Details Download

Christoph Wernhard
The Boolean Solution Problem from the Perspective of Predicate Logic – Extended Version
Technical Report, TU Dresden, volume 17-01, 2017. Knowledge Representation and Reasoning
Details

Talks and Miscellaneous

Stefan Ellmauthaler, Hannes Strass
goDIAMOND 0.6.6 - ICCMA 2017 System Description
ICCMA System Description, 2017
Details Download

Maximilian Marx, Markus Krötzsch
The New SQID: Improving Wikidata Made Easy
Presentation at WikidataCon 2017, 2017
Details Download

Christoph Wernhard
Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux
Poster presentation at TABLEAUX 2017, Brasilia, September 2017
Details