Author of the publication

Finite Query Answering in Expressive Description Logics with Transitive Roles.

, , and . KR, page 369-378. AAAI Press, (2018)

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

Finite Query Answering in Expressive Description Logics with Transitive Roles., , and . KR, page 369-378. AAAI Press, (2018)Modelling Concept Interpolation in Description Logics using Abstract Betweenness Relations., , and . Description Logics, volume 2954 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Finite Model Reasoning in DL-Lite with Cardinality Constraints.. Description Logics, volume 846 of CEUR Workshop Proceedings, CEUR-WS.org, (2012)Relaxing and Restraining Queries for OBDA - Extended Abstract., , , and . KR, page 617-618. AAAI Press, (2018)Full Satisfiability of UML Class Diagrams., , and . ER, volume 6412 of Lecture Notes in Computer Science, page 317-331. Springer, (2010)Taming Complex Role Inclusions for DL-Lite., , , and . Description Logics, volume 2211 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)Checking Full Satisfiability of Conceptual Models., , and . Description Logics, volume 573 of CEUR Workshop Proceedings, CEUR-WS.org, (2010)Ontology Focusing: Knowledge-enriched Databases on Demand., , , , , and . CoRR, (2019)