Past and Forthcoming Presentations

(not listed are paper presentations, tutorials, and summer school lectures)
(by coauthor' means joint work presented by coauthor; 'with coauthor' means joint work presented by me)

Research

• Semantic Web (tentative title).
  Invited talk, Cognitive Science Institute, Université du Québec à Montréal, Canada, April 2012.
• Big Data GIScience.
  Invited panel member at GeoVoCampSB2012, Santa Barbara, California, February 2012.

• Semantic Web - State of the Art.
  Invited talk, Iowa State University Ames, September 2011.
• Reasoning Web 2011 Summer School, Galway, Ireland, August 2011. (Invited lecture on OWL and Rules)
• OWLED2011, Eighth International Workshop on OWL: Experiences and Directions, San Francisco, CA, June 2011. (invited tutorial on OWL and Rules)
• Neural-Symbolic Integration - Bridging the gap between subsymbolic neural networks and symbolic logic.
  Department of Computer Science, Wright State University, Dayton, OH, May 2011.
• ICFCA2011, 9th International Conference on Formal Concept Analysis, Nicosia, Cyprus, May 2011. (invited keynote speaker)
• Emerging Trends in Scholarly Publishing Seminar, Washington DC, April 2011. (invited speaker)
  [slides (pdf)]
• Semantic Web - State of the Art.
  Invited talk, University of Dayton, OH, March 2011.

• Semantic Web - State of the Art.
  Invited talk, Southeast University in Nanjing, China, November 2010.
• OWL and Rules - Some New Results.
  Invited talk, Southeast University in Nanjing, China, November 2010.
• The Semantic Data Web Layer Cake.
  Lightning Talk at ISWC2010, Shanghai, China, November 2010.
  [slide (pdf)]
• RDF and some OWL.
  Invited talk, Janya Inc., Buffalo, NY, October 2010.
• Ontology Alignment for Linked Open Data.
  (with Prateek Jain, Amit Sheth, Kunal Verma, Peter Z. Yeh)
  Regular talk at SWAP2010, the 6th Workshop on Semantic Web Applications and Perspectives, Bressanone, Italy, September 2010.
• Semantic Web - State of the Art.
  Invited talk, CTSC, Case Western Reserve University, Cleveland, OH, September 2010.
• How to Make Linked Data More Than Data.
  by Amit P. Sheth, with Prateek Jain, Peter Z. Yeh, Kunal Verma
  Semantic Technology Conference 2010, San Francisco, CA, June 2010.
• Semantic Web - State of the Art.
  Invited Talk, Accenture, San Jose, CA, March 2010.
• Reasonable Semantic Web.
  Invited talk, Stanford Center for Biomedical Informatics Research, Stanford, CA, March 2010.
• Linked AI, AAAI Spring Symposium "Linked Data Meets Artificial Intelligence", Stanford, CA, March 2010. (panel member on KR Needs For Linked Data - cancelled on short notice)

• Semantic Web - Past, Present, and Future.
  Invited Keynote, GeoS2009 - Third International Conference on Geospatial Semantics (GeoS 2009), Mexico City, Mexico, December 2009.
• GeoS2009, Third International Conference on Geospatial Semantics (GeoS 2009), Mexico City, Mexico, December 2009. (invited tutorial on OWL 2 Rules)
• Reasearch Profile and Interests.
  Kno.e.sis Group Meeting, Wright State University, Dayton, Ohio, September 2009.
• Neural-symbolic Integration.
  Invited talk, School of Computer Science, University of St. Andrews, Scotland, January 2009.
• Knowledge Representation and Reasoning for the Semantic Web.
  Invited talk, School of Computer Science, University of St. Andrews, Scotland, January 2009.
• Semantic Web.
  Invited talk, Department of Computer Science, TU Rostock, Germany, January 2009.

• Bringing WSML up to date with recent developments.
  Oberseminar Wissensmanagement, AIFB, Universität Karlsruhe (TH), November 2008.
• Bringing WSML up to date with recent developments.
  SOA4ALL meeting, Brussels, November 2008.
• Towards Scalable Ontology Reasoning
  LarKC meeting, Stuttgart, October 2008.
• Integrating Symbolic and Subsymbolic Cognitive Processing.
  Invited talk at the Symposium on Neural-Symbolic Integration as a Means for Computational Cognition, 9. Fachtagung der Gesellschaft für Kognitionswissenschaft, KogWis 2008, Dresden, Germany, September 2008.
• OWL 2 Rules.
  Invited talk, CENTRIA, Universidade Nova de Lisboa, Portugal, September 2008.
• Semantische Technologien - Methoden und Anwendungen.
  Invited talk, Universität Mannheim, Germany, September 2008.
• Semantische Technologien für Informationssysteme.
  Invited talk, Universität Koblenz, Germany, September 2008.
• Some Advances in Tractable Description Logics.
  Presentation at the meeting of the special interest group on Logic in Computer Science of the German Informatics society (GI) in Munich, Germany, September 2008.
• Tableaualgorithmen für Beschreibungslogiken.
  Oberseminar Wissensmanagement, AIFB, Universität Karlsruhe (TH), July 2008.
  [slides (pdf)]
• OWL 2 Rules.
  Invited colloquium talk, University of Koblenz, Germany, June 2008.
  
• Keys for Unlocking the World Wide Web.
  Invited talk, University of Luxembourg, March 2008.
• Intensivkurs Mathematik - report from an enhancement programme in mathematics.
  Invited talk, University of Luxembourg, March 2008.
• Approximate Reasoning with OWL Ontologies.
  Dagstuhl Seminar on Logic and Probability for Scene Interpretation, February 2008.
• Logic Programs, Iterated Function Systems, and Recurrent Radial Basis Function Networks.
  (with Sebastian Bader)
  Dagstuhl Seminar on Perspectives of Recurrent Neural Networks - Models, Capacities, and Applications, January 2008.

• Applications of Semantic Technologies: Semantic MediaWiki, SmartWeb, and the added value of ontology reasoning.
  Leipzig, November 2007.
• Semantic Web Reasoning.
  Invited Colloquium talk (group of Prof. Herre), Leipzig, November 2007.
• Some Recent Issues in Tractable Description Logics.
  LogInf meeting, Braunschweig, November 2007.
• Neural-Symbolic Integration.
  Cognitive Science Colloquium Osnabrück, November 2007.
  [slides (pdf)] [audio (talk starts at 3 minutes)]
• Relational Exploration - Reconciling Plato and Aristotle.
  (presentation of a paper by Sebastian Rudolph)
  FAInt-07, Osnabrück, September 2007.
• Wissensverarbeitung für Semantische Technologien.
  Antrittsvorlesung zur Habilitation in Angewandter Informatik, Universität Karlsruhe (TH), May 2007.
• Semantic Web Technologies
  Presentation at T-Systems, Berlin, May 2007.
• Applications of Semantic Technologies: Semantic MediaWiki, SmartWeb, and the added value of ontology reasoning.
  Invited talk at the Institut für Software- und Multimediatechnik, TU Dresden, Germany, April 2007.
• Semantic Web Reasoning.
  Invited talk at the International Center for Computational Logic, TU Dresden, Germany, April 2007.
• A Tableaux Decision Procedure for Circumscriptive Description Logics.
  (with Stephan Grimm)
  Annual meeting of the Fachgruppe Deduktionssysteme, Koblenz, Germany, March 2007. (Presentation had to be cancelled.)
• Neural-symbolic Integration.
  (with Sebastian Bader, Steffen Hölldobler, Andreas Witzel)
  Oberseminar Wissensmanagement at AIFB, Universität Karlsruhe, Germany, February 2007.
• Neural-symbolic Integration: overcoming the propositional fixation.
  Invited talk at the Department of Artificial Intelligence, University of Ulm, Germany, January 2007.

• Towards subsymbolic methods for semantic knowledge.
  Invited Keynote at the 3rd Italian Semantic Web Workshop on Semantic Web Applications and Perspectives, Pisa, Italy, December 2006.
• Knowledge Representation and Reasoning for the World Wide Web.
  Colloqium at CENTRIA, Universidade Nova de Lisboa, December 2006.
• Knowledge Representation and Reasoning for the World Wide Web.
  Invited talk for the Seminar at the Department of Electrical Engineering and Computer Science, Case Western Reserve University Cleveland, Ohio, November 2006.
• A domain-logical perspective of answer set programming
  LogInf meeting, Dortmund, Germany, October 2006.
• Knowledge Technologies, Hybrid Approaches and Neural Networks.
  (with/by Steffen Hölldobler and Jeff Pan)
  Tutorial at the 16th International Conference on Artificial Neural Networks, ICANN06, Athens, Greece, September 2006.
• OWL 1.1 and OWL 2.0.
  Oberseminar Wissensmanagement, AIFB, University of Karlsruhe, June 2006.
• Ontologieinfrastruktur in SmartWeb.
  (with/by A. Ankolekar, P. Cimiano, M. Krötzsch, R. Studer, C. Schmidt, M. Weiten, P. Buitelaar, M. Kiesel, M. Sintek, M. Romanelli, N. Reithinger, B. Loos, R. Porzel)
  Second SmartWeb Projektstandssitzung, Berlin, June 2006.
• Interview on SmartWeb
  made at the 3rd European Semantic Web Conference, ESWC06, Budva, Montenegro, June 2006.
• Perspectives on Formal Concept Analysis: Domain Logics and Commonsense Reasoning.
  Invited talk at the 4th International Symposium on Domain Theory, Changsha, China, June 2006.
• Semantically Enabled Knowledge Technologies.
  4th International Symposium on Domain Theory, Changsha, China, June 2006.
• Semantically Enabled Knowledge Technologies: Logic and the Web.
  Invited talk at Peking University, China, June 2006.
• Wissensverarbeitung als semantische Basistechnologie: symbolische KI wird ubiquitär.
  GIBU Annual Meeting 2006, Dagstuhl, Germany, April 2006.
• Dynamics of Networked Ontologies.
  (with Peter Haase)
  Knowledge Transfer talk at the NeOn kick-off meeting, Rome, Italy, March 2006.
• Visual Ontology Modeling for Electronic Markets
  (by S. Brockmans, with R. Studer, A. Geyer-Schulz, P. Haase)
  IME Doctoral Colloquium, Bad Herrenalb, February 2006.
• Wissensverarbeitung im WWW.
  Invited talk at the Department of Artificial Intelligence, University of Ulm, Germany, January 2006.

• Neuro-symbolische Integration: Grundlagen und Anwendungsmöglichkeiten.
  Scientific talk for achieving the requirements for a Habilitation, Department of Computer Science, TU Dresden, Germany, December 2005.
• Die Zukunft des Semantic Web.
  Test lecture for achieving the requirements for a Habilitation, Department of Computer Science, TU Dresden, Germany, December 2005.
• Logic and the Web.
  Invited talk for the graduate college on Mathematical Logic and Applications, University of Freiburg, Germany, December 2005.
• Semantischer Zugriff auf Webservices.
  (by D. Oberle, with A. Ankolekar)
  2. SmartWeb Projektlenkungssitzung, EML, Heidelberg, December 2004.
  
• W3C RIF WG.
  Oberseminar Wissensmanagement, AIFB, Universität Karlsruhe, December 2005.
• Level mapping characterizations for the any-world assumption?
  Presentation at AIFB Karlsruhe, November 2005.
• Extending DL-KBs by Fuzzy Rules.
  (by S. Agarwal, with S. Lamparter)
  Presentation at AIFB Karlsruhe, November 2005.
• DLP isn't so bad after all.
  (with P. Haase, M. Krötzsch, Y. Sure and R. Studer)
  Oberseminar Wissensmanagement, AIFB, Universität Karlsruhe, October 2005.
• Web, Rules, and W3C.
  Oberseminar Wissensmanagement, AIFB, Universität Karlsruhe, September 2005.
• Screech - Faster OWL Using Split Programs.
  (with D. Vrandecic)
  Software Demo.
  Principles and Practice of Semantic Web Reasoning, PPSWR 2005, Dagstuhl, Germany, September 2005.
  [slides (pdf)]
• The KAON2 OWL Reasoner.
  (with B. Motik and R. Studer)
  Dagstuhl Seminar 05371
  Principles and Practice of Semantic Web Reasoning, PPSWR 2005, Dagstuhl, Germany, September 2005.
• What contribution can automated reasoning make to eScience? - A Semantic Web perspective
  Panel member at the 12th Workhsop on Automated Reasoning, ARW 2005, Edinburgh, UK, July 2005.
• Faster OWL Using Split Programs.
  (with Denny Vrandecic)
  12th Workshop on Automated Reasoning, ARW 2005, Edinburgh, UK, July 2005.
• Topological Aspects of First-Order Neural-Symbolic Integration
  Invited talk for the lecture on Logic Programming and Connectionist Systems, International Master Programme in Computational Logic, TU Dresden, Germany, June 2005.
  [zipped ps (slides)] [pdf (slides)]
• Approximate Resolution for OWL.
  (with D. Vrandecic)
  KnowledgeWeb Meeting, Iraklion, Greece, June 2005.
• Non-monotonic Reasoning.
  Oberseminar Wissensmanagement, AIFB, Universität Karlsruhe, May 2005.
• Approximate Resolution for OWL ABox Reasoning.
  (with Boris Motik)
  Oberseminar Wissensmanagement, AIFB, Universität Karlsruhe, February 2005.
  [pdf (slides)]
• Approximate Resolution for OWL ABox Reasoning.
  (with Boris Motik)
  KnowledgeWeb Meeting, Hannover, Germany, January 2005.
  [pdf (slides)]
• A categorical perspective on ontology merging.
  (by Markus Krötzsch, with Marc Ehrig and York Sure)
  KnowledgeWeb Meeting, Hannover, Germany, January 2005.

• Symbolic knowledge representation with artificial neural networks.
  (with S. Bader)
  International Workshop on the Theory of Computation at INFORMATION'2004, Tokyo, Japan, November/December 2004.
  [gzipped postscript (slides)] [pdf (slides)]
• Computing First-Order Logic Programs by Fibring Artificial Neural Networks
  (by S. Bader, with A.S. d'Avila Garcez)
  International Workshop on the Theory of Computation at INFORMATION'2004, Tokyo, Japan, November/December 2004.
  [gzipped postscript (slides)] [pdf (slides)]
• Ontologien in SmartWeb
  1. SmartWeb Projektlenkungssitzung, DFKI, Saarbrücken, November 2004.
  
• Neural-symbolic integration.
  Oberseminar, Institute AIFB, University of Karlsruhe, November 2004.
  [zipped postscript (slides, 3.5MB)] [pdf (slides)]
• Description Logic Programs.
  (with/by A. Eberhart)
  SmartWeb Ontology Workshop, Karlsruhe, October 2004
• Language Weakening for OWL?
  KnowledgeWeb Research Meeting, Manchester, September 2004
• Rule-based reasoning over conceptual knowledge.
  International Workshop on Proof, Computation, Complexity, Dresden, Germany, June 2004.
  [gzipped postscript (slides)] [pdf (slides)]
• Representing first-order knowledge by artificial neural networks.
  Invited talk for the Graduiertenkolleg Specification of discrete processes and systems of processes by operational models and logics, Dresden University of Technology, May 2004.
  [gzipped postscript (slides, 3MB)] [pdf (slides)]
• Nichtmonotones Schließen über hierarchischem Wissen.
  Presentation for the Knowledge Management group, AIFB institute, University of Karlsruhe, April 2004.
• Reasoning with Formal Concepts.
  Presentation for the Knowledge Representation and Reasoning group meeting, Artificial Intelligence Institute, Dresden University of Technology, January 2003.
  

• Non-monotonic reasoning - domain-theoretic aspects.
  Invited talk for the Colloquium/Seminar at the Department of Electrical Engineering and Computer Science at Case Western Reserve University, Cleveland, Ohio, December 2003.
  [gzipped postscript (slides)] [pdf (slides)]
• Logic and Connectionism.
  Invited talk at the Department of Electrical Engineering and Computer Science at Syracuse University, New York, December 2003.
  [gzipped postscript (slides, 3MB)] [pdf (slides)]
• Non-monotonic Reasoning.
  Invited talk for the colloqium at the Boole Research Centre in Informatics, Cork, Ireland, July 2003.
  [gzipped postscript (slides), page 17] [pdf (slides), page 17]
• Domain Theory and Nonmonotonic Reasoning.
  Workshop on Proof Theory, Computation, Complexity, Dresden, July 2003.
  [gzipped postscript (slides)] [pdf (slides)]
• Some Corollaries on the Fixpoint Completion.
  Teleteaching Talk on the occasion of a visit by researchers from CENTRIA (Universidad Nova de Lisboa), Dresden, Germany, February 2003.
  [gzipped postscript (slides)] [pdf (slides)]
• Semantic Operators in Logic Programming.
  Invited talk for the Graduiertenkolleg Wissensrepräsentation, Leipzig, February 2003.
  

• Some Corollaries on the Fixpoint Completion.
  Teleteaching Test Talk, Dresden, Germany, December 2002.
  [gzipped postscript (slides)] [pdf (slides)]
• Logic of Domains for Knowledge Representation and Reasoning.
  Colloqium at CENTRIA, Group of Prof. Luis Moniz Pereira, Universidade Nova de Lisboa, November 2002.
  
• A uniform approach to logic programming semantics.
  (with M. Wendt)
  Colloqium at CENTRIA, Group of Prof. Luís Moniz Pereira, Universidade Nova de Lisboa, November 2002.
  
• Circular Belief in Logic Programming Semantics
  Presentation for the Knowledge Representation and Reasoning group meeting, Artificial Intelligence Institute, Dresden University of Technology, October 2002.
  [gzipped postscript (slides)] [pdf (slides)]
• Substitute for Gerhard Brewka, delivering the talk Implementing Logic Programs with Ordered Disjunction by Gerhard Brewka, Ilkka Niemelä and Tommi Syrjänen.
  Workshop on Cognitive Robotics at the 25th German Conference on Artificial Intelligence, KI2002, September 2002.
• Fixed-point semantics in logic programming and nonmonotonic reasoning: A uniform approach.
  Guest talk for the Workshop on Proof Theory and Computation, Dresden, June 2002.
  [gzipped postscript (slides)] [pdf (slides)]
• (Default) Negation for Logic Programming in Algebraic Domains.
  Invited address at the Dagstuhl Seminar 02221, Mathematical Structures for Computable Topology and Geometry, Schloss Dagstuhl, Germany, May 2002.
  [gzipped postscript (slides)] [pdf (slides)]
• A "Converse" of the Banach Contraction Mapping Theorem (and why it does not serve us for integrating logic and connectionism).
  Presentation for the Knowledge Representation and Reasoning group meeting, Artificial Intelligence Institute, Dresden University of Technology, May 2002.
  
• Resolution and Logic Programming in Algebraic Domains.
  Invited address at the Workshop Proof, Computation, Complexity, Tübingen, Germany, April 2002.
  
• Logikprogrammierung, Stetigkeit und künstliche neuronale Netzwerke.
  Invited talk for the Bonn International Graduate School in Mathematics and Physics and the Oberseminar Mengenlehre of the Mathematical Logic Group, Department of Mathematics, University of Bonn, Germany, February 2002.
  [gzipped postscript (slides, 2.8 MB)] [pdf (slides)]

• Resolution in Algebraic Domains.
  Presentation for the Knowledge Representation and Reasoning group meeting, Artificial Intelligence Institute, Dresden University of Technology, December 2001.
  
• Logic and Neural Networks.
  DAAD Alumni Meeting, Jakarta, Indonesia, and Promotion Tour Engineering Sciences in Germany, Indonesia, November 2001.
  Event was scheduled, then cancelled.
  [gzipped postscript (slides, 2.2 MB)] [pdf (slides)]
• Computer Science at TU Dresden.
  Postgraduate Expo 2001, Jakarta, Indonesia, November 2001.
  Event was scheduled, then cancelled.
• Logic Programming and Continuity.
  Presentation for the Department of Computer Science, University of Indonesia, Jakarta, October 2001.
  Event was scheduled, then cancelled.
• Continuity of Semantic Operators and Their Approximation by Artificial Neural Networks.
  (with A.K. Seda)
  Invited address at the Second International Symposium on Domain Theory 2001, Chengdu, China, October 2001.
  (also: Presentation for the Knowledge Representation and Reasoning group meeting, Artificial Intelligence Institute, Dresden University of Technology, October 2001.
  [gzipped postscript (slides)] [pdf (slides)]
• Convergence Classes and Spaces of Partial Functions.
  (by A.K. Seda)
  Invited address at the Second International Symposium on Domain Theory 2001, Chengdu, China, October 2001.
  [abstract (gzipped postscript)] [abstract (pdf)]
• Towards a Semantical Hierarchy of Logic Programming Classes.
  Knowledge Representation and Reasoning group meeting, Artificial Intelligence Institute, Dresden University of Technology, April 2001.
  [abstract (gzipped postscript)] [abstract (pdf)] [gzipped postscript (slides)] [pdf (slides)]

• Verallgemeinerte Metriken in der Logikprogrammierung.
  (with A.K. Seda)
  Invited talk for the Kolloquium Logik und Sprachtheorie, Department of Computer Science, University of Tübingen, December 2000.
  [abstract (gzipped postscript)] [abstract (pdf)]
• Logic Programs and Neural Networks.
  (with A.K. Seda)
  Invited talk for the Graduiertenkolleg Specification of discrete processes and systems of processes by operational models and logics, Department of Computer Science, Dresden University of Technology, November 2000.
  [abstract (gzipped postscript)] [abstract (pdf)]
• Generalized Metric Spaces in Logic Programming Semantics.
  (with A.K. Seda)
  Invited address at the Dagstuhl Seminar 00231 Topology in Computer Science: Constructivity; Asymmetry and Partiality; Digitalization, Schloss Dagstuhl, Germany, June, 2000.
  [gzipped postscript (slides)] [pdf (slides)]

• Characterizing Classes of Logic Programs via Unique Fixed-Points of Monotonic Operators.
  (with A.K. Seda)
  Workshop on Domains 5, Darmstadt, Germany, September 1999.
  Presentation had to be cancelled.
  [gzipped postscript (slides)] [pdf (slides)]
• Some Issues Concerning Fixed-Points in Computational Logic.
  (by A.K. Seda)
  Invited talk at the 14th Summer Conference on Topology and its Applications: Special Session on Topology in Computer Science, New York, August 1999.
  
• The Fixed-Point Theorem of Priess-Crampe and Ribenboim in Computational Logic.
  (by A.K. Seda)
  Invited address at the International Conference on Valuation Theory: Special Session in Honour of Paulo Ribenboim, Saskatchewan, Canada, July 1999.

• Generalized Ultrametrics, Domains and an Application to Computational Logic.
  (by A.K. Seda)
  11th IMS September Meeting, University of Ulster at Coleraine, September 1998.
• Scott-Domains, Generalized Ultrametric Spaces and Generalized Acyclic Programs.
  Invited talk at the AG Domains und Typtheorie, Technische Hochschule Darmstadt, June 1998.
  [gzipped postscript (unpublished script)] [pdf (unpublished script)]

• Stratified Programs Revisited: The use of topology in computational logic.
  (by A.K. Seda)
  Irish Formal Methods Special Interest Group Meeting, Trinity College Dublin, September 1997.
• Fixpunktsemantik logischer Programme.
  Department of Computational Linguistics, University of Tübingen, Juli 1997.
• Fixpunktsemantik.
  Emmy-Noether-Tagung, Ulm, 1997.

Teaching enhancement programmes (Enhancement Programmes)

• Der Kontraktionssatz auf metrischen Räumen und Verallgemeinerungen.
  Vorlesung auf dem Intensivkurs Mathematik Konstanz-Ulm 2000
  [gzipped postscript (script draft)] [pdf (script draft)]
• Der Kontraktionssatz auf metrischen Räumen und Verallgemeinerungen.
  Vorlesung auf dem Intensivkurs Mathematik Konstanz-Ulm 1999
• Der Banachsche Fixpunktsatz.
  Vorlesung auf dem Nachkurs zum Intensivkurs Mathematik 1997 an der Eberhardt-Karls-Universität Tübingen, März 1998.
  [gzipped postscript (script)] [pdf (script)]
• Logikprogrammierung.
  Vorlesung/Kurs auf dem Intensivkurs Mathematik Konstanz-Ulm 1997
• LaTeX2e-Course.
  Kurs auf den Intensivkursen Mathematik Konstanz-Ulm 1996, 1997 und 1999.
  [gzipped postscript (slides)] [pdf (slides)]
• Der Kontraktionssatz auf metrischen Räumen.
  Vorlesung auf dem Intensivkurs Mathematik Konstanz-Ulm 1996.
  [gzipped postscript (published script)] [pdf (published script)]