Publications

The following is a list of publications that describe several aspects of the Konclude reasoning system. If you want to cite one of these publications you find a BibTeX export feature at the end of the page. Note, since Konclude is still under development, this list is subject of regular updates.

• Andreas Steigmiller and Birte Glimm, Absorption-Based Query Answering for Expressive Description Logics
  In Proceedings of the 18th International Semantic Web Conference (ISWC 2019), Volume 11778 of Lecture Notes in Computer Science, page 593-611, 2019
  https://link.springer.com/chapter/10.1007%2F978-3-030-30793-6_34

• Andreas Steigmiller and Birte Glimm, Absorption-Based Query Entailment Checking for Expressive Description Logics
  In Proceedings of the 32nd International Workshop on Description Logics (DL 2019), Volume 2373 of CEUR Workshop Proceedings, 2019
  http://ceur-ws.org/Vol-2373/paper-25.pdf

• Andreas Steigmiller and Birte Glimm, Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedure, Journal of Artificial Intelligence Research, 54:535-592, 2015
  DOI: 10.1613/jair.4897
  http://jair.org/media/4897/live-4897-9009-jair.pdf
  
  
• Andreas Steigmiller, Birte Glimm, and Thorsten Liebig, Completion Graph Caching for Expressive Description Logics, Proceedings of the 28th International Workshop on Description Logics (DL 2015), Publisher: CEUR Workshop Proceedings, 2015
  http://ceur-ws.org/Vol-1350/paper-35.pdf
  
  
• Bijan Parsia , Nicolas Matentzoglu , Rafael S. Goncalves , Birte Glimm and Andreas Steigmiller, The OWL Reasoner Evaluation (ORE) 2015 Competition Report, In Thorsten Liebig and Achille Fokoue, editor, Proceedings of the 11th International Workshop on Scalable Semantic Web Knowledge Base Systems co-located with 14th International Semantic Web Conference (ISWC 2015) Volume 1457 of CEUR Workshop Proceedings , page 2-15, 2015
  http://ceur-ws.org/Vol-1457/SSWS2015_paper1.pdf
  
  
• Andreas Steigmiller, Thorsten Liebig and Birte Glimm, Konclude: System Description, Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 27(1), 2014
  http://www.websemanticsjournal.org/index.php/ps/article/view/366/388
  
  
• Andreas Steigmiller, Birte Glimm and Thorsten Liebig, Reasoning with Nominal Schemas through Absorption, Journal of Automated Reasoning, 53(4):351-405, 2014
  DOI: 10.1007/s10817-014-9310-4
  http://link.springer.com/article/10.1007/s10817-014-9310-4
  
  
• Andreas Steigmiller, Birte Glimm and Thorsten Liebig, Optimised Absorption for Expressive Description Logics, In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, and Mantas Simkus, editor, Proceedings of the 27th International Workshop on Description Logics (DL 2014) Volume 1193 of CEUR Workshop Proceedings, 2014
  http://ceur-ws.org/Vol-1193/paper_49.pdf
  
  
• Andreas Steigmiller, Birte Glimm and Thorsten Liebig, Coupling Tableau Algorithms for Expressive Description Logics with Completion-based Saturation Procedures. In Stéphane Demri, Deepak Kapur and Christoph Weidenbach, editor, Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR 2014) Volume 8562 of Lecture Notes in Computer Science , page 449-463. 2014
  DOI: 10.1007/978-3-319-08587-6_35
  http://link.springer.com/chapter/10.1007/978-3-319-08587-6_35
  
  
• Andreas Steigmiller, Birte Glimm and Thorsten Liebig, Nominal Schema Absorption, Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Publisher: AAAI Press/The MIT Press, 2013
  http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6629
  
  
• Andreas Steigmiller, Birte Glimm and Thorsten Liebig, Extending Absorption to Nominal Schemas, Proceedings of the 26th International Description Logic Workshop (DL 2013), Publisher: CEUR Workshop Proceedings, 2013
  http://ceur-ws.org/Vol-1014/paper_20.pdf
  
  
• Andreas Steigmiller, Thorsten Liebig and Birte Glimm, Extended Caching and Backjumping for Expressive Description Logics, Proceedings of the 25th International Description Logic Workshop (DL 2012) Volume 846 of CEUR Workshop Proceedings, June 2012
  http://ceur-ws.org/Vol-846/paper_36.pdf
  
  
• Andreas Steigmiller, Thorsten Liebig and Birte Glimm, Extended Caching, Backjumping and Merging for Expressive Description Logics, Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR 2012) Volume 7364 of Lecture Notes in Computer Science , page 514-529, June 2012
  DOI: 10.1007/978-3-642-31365-3_40
  
  
• Andreas Steigmiller, Thorsten Liebig and Birte Glimm, Extended Caching, Backjumping and Merging for Expressive Description Logics, Document number: TR-2012-01 University of Ulm, 2012
  Technical Report 2012-01
  
  
• Thorsten Liebig, Andreas Steigmiller and Olaf Noppens, Scalability via Parallelization of OWL Reasoning, Proceedings of the 4th International Workshop on New Forms of Reasoning for the Semantic Web: Scalable and Dynamic (NeFoRS 2010), 2010