Author of the publication

Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract).

, , , and . Description Logics, volume 3515 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)

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

Knowledge Base Exchange: The Case of OWL 2 QL, , , and . Artificial Intelligence, (2016)Querying Log Data with Metric Temporal Logic., , , , and . J. Artif. Intell. Res., (2018)Reverse Engineering of Temporal Queries Mediated by LTL Ontologies., , , , , and . IJCAI, page 3230-3238. ijcai.org, (2023)Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic., , , and . J. Artif. Intell. Res., (2023)DL-Lite with Attributes and Datatypes., , and . ECAI, volume 242 of Frontiers in Artificial Intelligence and Applications, page 61-66. IOS Press, (2012)On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract)., , , , , and . IJCAI, page 5703-5707. ijcai.org, (2022)Boolean Role Inclusions in DL-Lite With and Without Time., , , and . KR, page 582-591. (2020)Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course., , and . RW, volume 12258 of Lecture Notes in Computer Science, page 109-148. Springer, (2020)Deciding FO-rewritability of regular languages and ontology-mediated queries in Linear Temporal Logic., , , and . CoRR, (2022)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)