Institute for Web Science and Technologies · Universität Koblenz
Institute WeST

Dr. Claudia Schon

[go to overview]

Academic Employee

Details

  • E-Mail: schon@uni-koblenz.de
  • Office: B 124
  • Phone: +49 261 287-2773

More information: https://userpages.uni-koblenz.de/~obermaie/

Projects

Teaching

Publications

2020

  • Rienstra, T. et al. 2020. Concept Contraction in the Description Logic EL. to appear in 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020 (2020). [BibTeX | BibSonomy]

2019

  • Furbach, U. et al. 2019. Names are not just Sound and Smoke: Word Embeddings for Axiom Selection. CADE 27, 27st International Conference on Automated Deduction, Natal, Brasil, August 25-30, 2019 (2019). [PDF | BibTeX | BibSonomy]
  • Kügler, P. et al. 2019. Cascading Forgetting in Product Development Challenges and Evaluation. 22nd International Conference on Engineering Design, 5 -- 8 August 2019, Delft, The Netherlands (2019). [BibTeX | BibSonomy]
  • Leinberger, M. et al. 2019. Type Checking Program Code Using SHACL. The Semantic Web - ISWC 2019 - 18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part I (2019), 399–417. [DOI:10.1007/978-3-030-30793-6\_23 | URL | BibTeX | BibSonomy]
  • Siebert, S. et al. 2019. Commonsense Reasoning using Theorem Proving and Machine Learning. To appear in Proceedings of CD-MAKE Cross Domain Conference for Machine Learning and Knowledge Extraction, Canterbury, UK (2019). [PDF | BibTeX | BibSonomy]
  • Furbach, U. et al. 2019. Cognitive Reasoning: A Personal View. KI. 33, 3 (2019). [BibTeX | BibSonomy]
  • Schon, C. et al. 2019. The CoRg Project -- Cognitive Reasoning. KI. 33, 3 (2019). [PDF | BibTeX | BibSonomy]

2018

  • Kügler, P. et al. 2018. Ontology-based approach for the use of Intentional Forgetting in product development. DESIGN 2018 - 15th International Design Conference (2018). [PDF | DOI:10.21278/idc.2018.0402 | URL | BibTeX | BibSonomy]
  • Schon, C. et al. 2018. Metaproperty-guided Deletion from the Instance-Level of a Knowledge Base. to appear in Knowledge Engineering and Knowledge Management - 21st International Conference, EKAW 2018, Nancy, France, November 12-16 (2018). [PDF | BibTeX | BibSonomy]
  • Timm, I.J. et al. 2018. Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges. KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings (2018), 357–365. [PDF | DOI:10.1007/978-3-030-00111-7\_30 | URL | BibTeX | BibSonomy]

2017

  • Kestel, P. et al. 2017. Konzept zur zielgerichteten, ontologiebasierten Wiederverwendung von Produktmodellen. Design for X. Beiträge zum 28. DfX-Symposium (Hamburg, 2017). [BibTeX | BibSonomy]
  • Schon, C. and Staab, S. 2017. Towards SPARQL Instance-Level Update in the Presence of OWL-DL TBoxes. Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21-23, 2017. (2017). [PDF | URL | BibTeX | BibSonomy]
  • Schon, C. and Furbach, U. eds. 2017. Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning? co-located with 39th Annual Meeting of the Cognitive Science Society (CogSci 2017), London, UK, July 26, 2017. CEUR-WS.org. [URL | BibTeX | BibSonomy]

2016

  • Furbach, U. and Schon, C. 2016. Commonsense Reasoning meets Theorem Proving. URANIA@AI*IA (2016), 1–12. [BibTeX | BibSonomy]
  • Furbach, U. and Schon, C. 2016. Commonsense Reasoning Meets Theorem Proving. Multiagent System Technologies - 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings (2016), 3–17. [PDF | DOI:10.1007/978-3-319-45889-2_1 | URL | BibTeX | BibSonomy]