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)Using ConceptNet to Teach Common Sense to an Automated Theorem Prover., , and . ARCADE@CADE, volume 311 of EPTCS, page 19-24. (2019)The Next Generation of Deduction Systems: From Composition to Compositionality (Dagstuhl Seminar 23471)., , , , and . Dagstuhl Reports, 13 (11): 130-150 (2023)Konzept zur zielgerichteten, ontologiebasierten Wiederverwendung von Produktmodellen, , , , , , , and . Design for X. Beiträge zum 28. DfX-Symposium, Hamburg, TuTech Verlag, (2017)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)Cognitive Systems and Question Answering, , and . Industrie 4.0 Management, 2015 (1): 29-32 (2015)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)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)