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, 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

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.