Author of the publication

Complexity of Branching Temporal Description Logics.

, , and . ECAI, volume 242 of Frontiers in Artificial Intelligence and Applications, page 390-395. IOS Press, (2012)

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

ALCALC: A Context Description Logic., and . JELIA, volume 6341 of Lecture Notes in Computer Science, page 208-220. Springer, (2010)Answering regular path queries mediated by unrestricted SQ ontologies., , , and . Artif. Intell., (2023)Type-aware Embeddings for Multi-Hop Reasoning over Knowledge Graphs., , , , , and . IJCAI, page 3078-3084. ijcai.org, (2022)REPLACE: A Logical Framework for Combining Collective Entity Resolution and Repairing., , and . IJCAI, page 3132-3139. ijcai.org, (2023)BLEnD: A Benchmark for LLMs on Everyday Knowledge in Diverse Cultures and Languages., , , , , , , , , and 12 other author(s). CoRR, (2024)Towards a Unifying Approach to Representing and Querying Temporal Data in Description Logics., and . RR, volume 7497 of Lecture Notes in Computer Science, page 90-105. Springer, (2012)Answering Regular Path Queries Over SQ Ontologies., , and . CoRR, (2020)Description logics of context., and . J. Log. Comput., 26 (3): 817-854 (2016)Combining Global and Local Merges in Logic-based Entity Resolution., , , and . KR, page 742-746. (2023)On Finite Entailment of Non-Local Queries in Description Logics., , , , and . KR, page 424-433. (2020)