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

Games for query inseparability of description logic knowledge bases., , , , and . Artif. Intell., (2016)A Cookbook for Temporal Conceptual Data Modelling with Description Logics, , , and . CoRR, (2012)The Complexity of Clausal Fragments of LTL., , , and . LPAR, volume 8312 of Lecture Notes in Computer Science, page 35-52. Springer, (2013)BalOnSe: Temporal Aspects of Dance Movement and Its Ontological Representation., , , , and . ESWC (2), volume 10250 of Lecture Notes in Computer Science, page 49-64. (2017)Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models., , , and . FroCoS, volume 6989 of Lecture Notes in Computer Science, page 1-11. Springer, (2011)A Note on DL-Lite with Boolean Role Inclusions., , , and . Description Logics, volume 2373 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)Temporal OBDA with LTL and DL-Lite., , , , , and . Description Logics, volume 1193 of CEUR Workshop Proceedings, page 21-32. CEUR-WS.org, (2014)Computing Solutions in OWL 2 QL Knowledge Exchange., , , and . Description Logics, volume 1014 of CEUR Workshop Proceedings, page 4-16. CEUR-WS.org, (2013)Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard., , and . Description Logics, volume 1014 of CEUR Workshop Proceedings, page 353-363. CEUR-WS.org, (2013)Horn Fragments of the Halpern-Shoham Interval Temporal Logic., , , , , and . ACM Trans. Comput. Log., 18 (3): 22:1-22:39 (2017)