Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Semantically Guided Evolution of SHI ABoxes, and . Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, 2013, Proceedings, volume 8123 of Lecture Notes in Computer Science, Springer, (2013)Konzept zur zielgerichteten, ontologiebasierten Wiederverwendung von Produktmodellen, , , , , , , and . Design for X. Beiträge zum 28. DfX-Symposium, Hamburg, TuTech Verlag, (2017)Cognitive Systems and Question Answering, , and . Industrie 4.0 Management, 31 (1): 29--32 (2015)Commonsense Reasoning Using Theorem Proving and Machine Learning., , and . CD-MAKE, volume 11713 of Lecture Notes in Computer Science, page 395-413. Springer, (2019)Type Checking Program Code Using SHACL, , , , and . The Semantic Web - ISWC 2019 - 18th International Semantic Web Conference, Auckland, New Zealand, October 26-30, 2019, Proceedings, Part I, volume 11778 of Lecture Notes in Computer Science, page 399--417. Springer, (2019)Cascading Forgetting in Product Development Challenges and Evaluation, , , , and . 22nd International Conference on Engineering Design, 5 -- 8 August 2019, Delft, The Netherlands, (2019)Using ConceptNet to Teach Common Sense to an Automated Theorem Prover., , and . ARCADE@CADE, volume 311 of EPTCS, page 19-24. (2019)Type Checking Program Code Using SHACL., , , , and . ISWC (1), volume 11778 of Lecture Notes in Computer Science, page 399-417. Springer, (2019)Metaproperty-guided Deletion from the Instance-Level of a Knowledge Base, , , , , and . to appear in Knowledge Engineering and Knowledge Management - 21st International Conference, EKAW 2018, Nancy, France, November 12-16, (2018)Names are not just Sound and Smoke: Word Embeddings for Axiom Selection, , and . CADE 27, 27st International Conference on Automated Deduction, Natal, Brasil, August 25-30, 2019, (2019)