Dr. rer. nat. Stephan Scheele, M.Comp.Sc (Univ.), Dipl.-Wirtsch.Inf. (FH)

New homepage:  /en/cogsys/scheele-stephan/

Wissenschaftlicher Mitarbeiter

Professur für Grundlagen der Informatik
Universit?t Bamberg
An der Weberei 5
Zimmer WE5/05.053
Tel.: 0951 863 2832

Email an Stephan Scheele

Liebig, T. & Scheele, S. & Lambertz, J. (2007), Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods, in Calvanese, D.; Franconi, E.; Haarslev, V.; Lembo, D.; Motik, B.; Turhan, A.-Y. & Tessaris, S., ed. (2007), Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007, Vol. 250, CEUR-WS.org.

Liebig, T. & Scheele, S. (2008), 'Explaining Entailments and Patching Modelling Flaws', KI22(2), 25-27.

Mendler, M. & Scheele, S. (August 2008), Constructive Description Logic cALC as a Type System for Semantic Streams in the Domain of Auditing., in 'Logics for Agents and Mobility (LAM'08), Hamburg'.

Mendler, M. & Scheele, S. (2008), Towards Constructive DL for Abstraction and Refinement, in Baader, F.; Lutz, C. & Motik, B., ed. (2008), Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008, Vol. 353, CEUR-WS.org.

Mendler, M. & Scheele, S. (2009), Towards a Type System for Semantic Streams. Stream Reasoning 2009, in 'Stream Reasoning 2009, Heraklion, Crete'.

Mendler, M. & Scheele, S. (2009), Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics, in Grau, B. C.; Horrocks, I.; Motik, B. & Sattler, U., ed. (2009), Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009, Vol. 477, CEUR-WS.org.

Mendler, M. & Scheele, S. (2009), 'Towards Constructive DL for Abstraction and Refinement', Journal of Automated Reasoning.

Mendler, M. & Scheele, S. (2010), 'Towards a Simply Typed CALculus for Semantic Knowledge Bases', 3rd Workshop on Logics for Agents and Mobility (LAM) 

Michael, M. & Stephan, S. (2011), 'Cut-free Gentzen calculus for multimodal CK', Information and Computation, Volume 209, Issue 12, December 2011, Pages 1465-1490, ISSN 0890-5401

Mendler, M. & Scheele, S. (2013), On the Computational Interpretation of CKn for Contextual Information Processing - Ancillary Material, Technical Report 91/2013, Faculty of Information Systems and Applied Computer Sciences, The Otto-Friedrich-University of Bamberg, Germany

Mendler, M. & Scheele, S. (2014), On the Computational Interpretation of CKn for Contextual Information Processing, Fundamenta Informaticae, Vol. 130.

Scheele, S. (2015), Model and Proof Theory of Constructive ALC: Constructive Description Logics, PhD Thesis