Author of the publication

Reconciling SHACL and Ontologies: Semantics and Validation via Rewriting (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

Query Answering in the Description Logic S, , , , and . Proceedings of the 23rd International Workshop on Description Logics (DL2010), (2010)Reasoning Using Knots, , and . Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings, volume 5330 of Lecture Notes in Computer Science, page 377-390. Springer, (2008)Managing Change in Graph-Structured Data Using Description Logics., , , and . AAAI, page 966-973. AAAI Press, (2014)Polynomial Rewritings from Expressive Description Logics with Closed Predicates to Variants of Datalog., , and . CoRR, (2019)Evolving Graph Databases under Description Logic Constraints., , and . Description Logics, volume 1014 of CEUR Workshop Proceedings, page 120-131. CEUR-WS.org, (2013)Rewriting Ontology-Mediated Navigational Queries into Cypher., , and . Description Logics, volume 3515 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)The Combined Complexity of Reasoning with Closed Predicates in Description Logics., , and . Description Logics, volume 1350 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)Relaxing and Restraining Queries for OBDA - Extended Abstract., , , and . KR, page 617-618. AAAI Press, (2018)Tractable Queries for Lightweight Description Logics., , , and . IJCAI, page 768-774. IJCAI/AAAI, (2013)Description Logics with Pointwise Circumscription., , and . IJCAI, page 3167-3175. ijcai.org, (2023)