Author of the publication

Conjunctive Query Answering in CFDnc : A PTIME Description Logic with Functional Constraints and Disjointness.

, and . Australasian Conference on Artificial Intelligence, volume 8272 of Lecture Notes in Computer Science, page 350-361. Springer, (2013)

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

Interpreting keyword queries over web knowledge bases., , , and . CIKM, page 305-314. ACM, (2012)Using Feature-Based Description Logics to avoid Duplicate Elimination in Object-Relational Query Languages., and . Künstliche Intell., 34 (3): 355-363 (2020)On Keys and Functional Dependencies as First-Class Citizens in Description Logics., and . J. Autom. Reason., 40 (2-3): 117-132 (2008)On Enumerating Query Plans Using Analytic Tableau., , and . TABLEAUX, volume 9323 of Lecture Notes in Computer Science, page 339-354. Springer, (2015)Identity Resolution in Ontology Based Data Access to Structured Data Sources., and . PRICAI (1), volume 11670 of Lecture Notes in Computer Science, page 473-485. Springer, (2019)Applications and Extensions of PTIME Description Logics with Functional Constraints., and . IJCAI, page 948-954. (2009)Identifying Objects Over Time with Description Logics., and . KR, page 724-732. AAAI Press, (2008)FunDL - A Family of Feature-Based Description Logics, with Applications in Querying Structured Data Sources., , and . Description Logic, Theory Combination, and All That, volume 11560 of Lecture Notes in Computer Science, page 404-430. Springer, (2019)First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics., and . AAAI, page 5897-5905. AAAI Press, (2022)Binary Absorption in Tableaux-Based Reasoning for Description Logics., and . Description Logics, volume 189 of CEUR Workshop Proceedings, CEUR-WS.org, (2006)