Author of the publication

Generating Preview Instances for the Face Validation of Entity-Relationship Schemata: The Acyclic Case.

, , , and . DASFAA (2), volume 6588 of Lecture Notes in Computer Science, page 225-234. Springer, (2011)

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

Do You Need Infinite Time?., , and . IJCAI, page 1516-1522. ijcai.org, (2019)First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic., , , , , and . CoRR, (2020)Tractable Interval Temporal Propositional and Description Logics., , , and . AAAI, page 1417-1423. AAAI Press, (2015)Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions., , , , and . AAAI, page 6193-6201. AAAI Press, (2021)Editorial., , , and . J. Log. Comput., 14 (1): 1 (2004)Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints., , , and . BPM, volume 11675 of Lecture Notes in Computer Science, page 139-156. Springer, (2019)Enriching Data Models with Behavioral Constraints., , , and . Ontology Makes Sense, volume 316 of Frontiers in Artificial Intelligence and Applications, page 257-277. IOS Press, (2019)Subsumption Computation on an Object-Oriented Data Model., , and . PDK, volume 567 of Lecture Notes in Computer Science, page 124-140. Springer, (1991)On Free Description Logics with Definite Descriptions., , , and . KR, page 63-73. (2021)Automated Reasoning in Temporal DL-Lite (Extended Abstract)., , , , and . Description Logics, volume 2663 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)