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

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

Research Interests

Constructive Logic, Description Logics, Modal Type Theory and Modal Extensions of the Simply-typed λ-Calculus, Proof Theory, Automated Decision Procedures, Knowledge Representation, Semantic Web, Big Data, Functional Programming, Stream-based Computing, Semantic Methods in the Domain of Big Data and in particular Financial Auditing, Analytic Methods for SAP ERP, Modern Software Architecture, Strongly Typed Programming Languages.

Research Project: >> SPACMoDL

Publications

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

Talks

Scheele, S. (2006), Semantisch orientierte Verarbeitung von Massendaten in der Betriebs- und Wirtschaftsprüfung (Semantic-driven Processing of Big Data in Financial Auditing), VDI/VDE München, June 2006.

Scheele, S. (2008), Towards Constructive Description Logic for Abstraction and Refinement. Theory Seminar, University of Birmingham, April 2008.

Scheele, S. (2008) cALC: Towards Constructive DL for Abstraction and Refinement. 24th British Colloquium for Theoretical Computer Science (BCTCS 2008), Durham, April 2008.

Scheele, S. (2008) Towards Constructive Description Logics for Abstraction and Refinement. Int'l Workshop on Description Logic (DL 2008), Dresden, May 2008.

Scheele, S. (2008) Semantic Stream Processing in Business Auditing. International Open Workshop on Synchronous Programming (Synchron 2008), Aussois, December 2008.

Scheele, S. (2009) SPACMoDL - Semantic Processing and Auditing in Constructive Modal Description Logic - State of Affairs - FSAE1. Datev eG, Nürnberg, January 2009.

Scheele, S. (2009) Towards a Type System for Semantic Streams. Stream Reasoning 2009, Heraklion, Crete, May 31, 2009.

Scheele, S. (2009) SPACMoDL - Semantic Processing and Auditing in Constructive Modal Description Logic - State of Affairs & Introduction to RDF and Typed Streams. dab:GmbH, Deggendorf, December 2009

Scheele, S. (2010) Project SPACMoDL, State of Affairs & Forecast for Future Work. Monday Afternoon Club (MAC), University of Bamberg, January 2010.

Scheele, S. & Kuhndörfer, T. (2010) SPACMoDL - Semantic Processing and Auditing in Constructive Modal Description Logic - State of Affairs - VISFSAE. Datev eG, Nürnberg, January 2010.

Scheele, S. (2010) Towards a Simply Typed CALculus for Contextual Information Flow, 17th International Workshop on Types for Proof and Programs, Warsaw, Poland, October 13- 16, 2010.

Scheele, S. (2011) SPACMoDL - Semantic Processing and Auditing in Constructive Modal Description Logic - State of Affairs - VISFSAE/FSAE2. Datev eG, Nürnberg, August 2011.

Scheele, S. (2012) Towards Constructive Description Logics, Invited talk, Computer Science Seminar, Dipartimento di Informatica, Università degli Studi di Milano, September 12, 2012.

Scheele, S. (2012) Simply Typed Description Calculus, Invited talk, Computer Science Seminar, Dipartimento di Mathematica e Informatica, Universita' Degli Studi di Udine, September 20, 2012.

Scheele, S. (2014) Constructive ALC, Model and Proof Theory, Invited talk, Computer Science Seminar, Dipartimento di Informatica, Università degli Studi di Milano, December 15, 2014.