Author of the publication

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)
DOI: 10.1007/978-3-030-30793-6\_23

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

Cascading Forgetting in Product Development Challenges and Evaluation, , , , and . 22nd International Conference on Engineering Design, 5 -- 8 August 2019, Delft, The Netherlands, (2019)Type Checking Program Code Using SHACL., , , , and . ISWC (1), volume 11778 of Lecture Notes in Computer Science, page 399-417. Springer, (2019)The Next Generation of Deduction Systems: From Composition to Compositionality (Dagstuhl Seminar 23471)., , , , and . Dagstuhl Reports, 13 (11): 130-150 (2023)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)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)Negation in Cognitive Reasoning., , and . CoRR, (2020)Commonsense Reasoning Using Theorem Proving and Machine Learning., , and . CD-MAKE, volume 11713 of Lecture Notes in Computer Science, page 395-413. Springer, (2019)Associative Reasoning for Commonsense Knowledge.. CAKR@IJCAI, volume 3251 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)