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
Navigation
How to Cite Konclude?
If you want to cite the Konclude reasoning system you can either refer to konclude.com or Konclude's system description paper:
Andreas Steigmiller, Thorsten Liebig and Birte Glimm, Konclude: System Description, Journal of Web Semantics (JWS), 2014. BibTeX:
@Article {StLG14a,
author = {Steigmiller, Andreas and Liebig, Thorsten and Glimm, Birte},
title = {Konclude: System Description},
journal = {Journal of Web Semantics ({JWS})},
volume = {27},
pages = {78--85},year = {2014}
}
Publications Mentioning Konclude
The OWL Reasoner Evaluation Workshop (ORE 2013) short report provides a summary of its competition results including Konclude's three first places out of nine catagories.