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

Explanations for Non-validation in SHACL., , , , , and . ISWC (Posters/Demos/Industry), volume 2980 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Semantic Querying of Integrated Raster and Relational Data: A Virtual Knowledge Graph Approach., , and . RuleML+RR (Companion), volume 3485 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Reasoning about Explanations for Non-validation in SHACL., , , , , and . KR, page 12-21. (2021)Bounded Predicates in Description Logics with Counting., and . IJCAI, page 1966-1972. ijcai.org, (2021)Nested Regular Path Queries in Description Logics (Extended Abstract)., , , and . AMW, volume 1189 of CEUR Workshop Proceedings, CEUR-WS.org, (2014)Bidirectional Answer Set Programs with Function Symbols., and . IJCAI, page 765-771. (2009)Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability., , , and . Description Logics, volume 1193 of CEUR Workshop Proceedings, page 591-594. CEUR-WS.org, (2014)Conjunctive Query Answering in SH using Knots., , and . Description Logics, volume 353 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)DL-Lite and Conjunctive Queries Extended by Optional Matching., , , , and . Description Logics, volume 1350 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)Binary Frontier-Guarded ASP with Function Symbols.. RuleML, volume 9202 of Lecture Notes in Computer Science, page 311-327. Springer, (2015)