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

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)Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements., , and . Description Logics, volume 250 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)Reasoning about Duplicate Elimination with Description Logic., , and . Computational Logic, volume 1861 of Lecture Notes in Computer Science, page 1017-1032. Springer, (2000)On Decidability and Complexity of Description Logics with Uniqueness Constraints., , and . ICDT, volume 1973 of Lecture Notes in Computer Science, page 54-67. Springer, (2001)