Author of the publication

When is Query Inseparability for ALC Ontologies Decidable?

, , , , and . Description Logics, volume 1577 of CEUR Workshop Proceedings, CEUR-WS.org, (2016)

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

UniCalc.LIN: a linear constraint solver for the UniCalc system, , and . CoRR, (2006)OBDA Over Non-Relational DBs, , , , and . Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW~2016), (2016)The Virtual Knowledge Graph System Ontop., , , , , , , , , and . ISWC (2), volume 12507 of Lecture Notes in Computer Science, page 259-277. Springer, (2020)Counterfactual Explanations and Model Multiplicity: a Relational Verification View., , and . KR, page 763-768. (2023)Computing Solutions in OWL 2 QL Knowledge Exchange., , , and . Description Logics, volume 1014 of CEUR Workshop Proceedings, page 4-16. CEUR-WS.org, (2013)Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems., , , and . KR, page 22-32. (2020)When Are Description Logic Knowledge Bases Indistinguishable?, , , , and . IJCAI, page 4240-4246. AAAI Press, (2015)ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , , , , , and . ARCH, volume 74 of EPiC Series in Computing, page 107-139. EasyChair, (2020)Virtual OBDA over Expressive Ontologies: Rewritings and Approximations., , , , , and . Description Logics, volume 1577 of CEUR Workshop Proceedings, CEUR-WS.org, (2016)A Note on Computing Certain Answers to Queries over Incomplete Databases., , , and . AMW, volume 1912 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)