Author of the publication

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

Taxonomic Reasoning in LOGIDATA+., , , , , and . LOGIDATA+: Deductive Databases with Complex Objects, volume 701 of Lecture Notes in Computer Science, Springer, (1993)Evolving objects in temporal information systems., , and . Ann. Math. Artif. Intell., 50 (1-2): 5-38 (2007)A survey of temporal extensions of description logics., and . Ann. Math. Artif. Intell., 30 (1-4): 171-210 (2000)A Decidable Very Expressive Description Logic for Databases (Extended Version)., , , and . CoRR, (2017)First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic., , , , , and . CoRR, (2020)Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals., , , , and . CoRR, (2020)Do You Need Infinite Time?., , and . IJCAI, page 1516-1522. ijcai.org, (2019)OCL-Lite: Finite reasoning on UML/OCL conceptual schemas., , , and . Data Knowl. Eng., (2012)Subsumption Computation on an Object-Oriented Data Model., , and . PDK, volume 567 of Lecture Notes in Computer Science, page 124-140. Springer, (1991)Complexity of Safety and coSafety Fragments of Linear Temporal Logic., , , , and . CoRR, (2022)