Author of the publication

On Decidability and Complexity of Description Logics with Uniqueness Constraints.

, , and . Description Logics, volume 33 of CEUR Workshop Proceedings, page 193-202. CEUR-WS.org, (2000)

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

Index selection for compiled database applications in embedded control programs., and . CASCON, page 11. IBM, (2002)The Utility of the Abstract Relational Model and Attribute Paths in SQL., , , , and . EKAW, volume 11313 of Lecture Notes in Computer Science, page 195-211. Springer, (2018)Attribute Inversion in Description Logic with Path Functional Dependencies ., and . Description Logics, volume 104 of CEUR Workshop Proceedings, CEUR-WS.org, (2004)CFDnc: A PTIME Description Logic with Functional Constraints and Disjointness., and . Description Logics, volume 1014 of CEUR Workshop Proceedings, page 451-463. CEUR-WS.org, (2013)Singular Referring Expressions in Conjunctive Query Answers: the case for a CFD DL Dialect., , and . Description Logics, volume 1350 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)Accessing Document Data Sources using Referring Expression Types., , , and . Description Logics, volume 3263 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Reasoning about Duplicate Elimination with Description Logic., , and . Computational Logic, volume 1861 of Lecture Notes in Computer Science, page 1017-1032. Springer, (2000)On Keys and Functional Dependencies as First-Class Citizens in Description Logics., and . IJCAR, volume 4130 of Lecture Notes in Computer Science, page 647-661. Springer, (2006)Interpreting keyword queries over web knowledge bases., , , and . CIKM, page 305-314. ACM, (2012)First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics., and . AAAI, page 5897-5905. AAAI Press, (2022)