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

RichVSM: enRiched vector space models for folksonomies., and . Hypertext, page 219-228. ACM, (2009)FONTE: factorizing ONTology engineering complexity., and . K-CAP, page 146-153. ACM, (2003)LambdaDL: Syntax and Semantics (Preliminary Report), , and . CoRR, (2016)The Essence of Functional Programming on Semantic Data, , and . Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, page 750--776. Springer, (2017)Applying Semantic Web Technologies for Tourism Information Systems., and . ENTER, page 311-319. Springer, (2002)An Ontology Infrastructure for Multimedia Reasoning., , , , , , , , and . VLBV, volume 3893 of Lecture Notes in Computer Science, page 51-60. Springer, (2005)Efficient Media Exploitation Towards Collective Intelligence., , , , , , , , , and . GfKl, page 723-732. Springer, (2008)Model Driven Specification of Ontology Translations., , , and . ER, volume 5231 of Lecture Notes in Computer Science, page 484-497. Springer, (2008)OntoEdit: Guiding Ontology Development by Methodology and Inferencing., , and . OTM, volume 2519 of Lecture Notes in Computer Science, page 1205-1222. Springer, (2002)HiPrompt: Few-Shot Biomedical Knowledge Fusion via Hierarchy-Oriented Prompting., , , , , and . SIGIR, page 2052-2056. ACM, (2023)