Autor der Publikation

Checking Full Satisfiability of Conceptual Models.

, , und . Description Logics, Volume 573 von CEUR Workshop Proceedings, CEUR-WS.org, (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Entity-from-Relationship Modelling., und . AI*IA, Volume 8249 von Lecture Notes in Computer Science, Seite 85-96. Springer, (2013)Towards a Logical Foundation of Reification in Modelling Languages., und . Ontology Makes Sense, Volume 316 von Frontiers in Artificial Intelligence and Applications, Seite 242-256. IOS Press, (2019)Introducing Taxonomic Reasoning in LOGIDATA+., , und . LOGIDATA+: Deductive Databases with Complex Objects, Volume 701 von Lecture Notes in Computer Science, Springer, (1993)First-Order Rewritability of Temporal Ontology-Mediated Queries., , , , , und . IJCAI, Seite 2706-2712. AAAI Press, (2015)Handbook of time and temporal reasoning in artificial intelligence, und . Kapitel Temporal Description Logics, MIT Press, (2000)DL-Lite and Interval Temporal Logics: a Marriage Proposal., , , , und . ECAI, Volume 263 von Frontiers in Artificial Intelligence and Applications, Seite 957-958. IOS Press, (2014)Temporal DL-Lite over Finite Traces (Preliminary Results)., , und . Description Logics, Volume 2373 von CEUR Workshop Proceedings, CEUR-WS.org, (2019)Essential and Mandatory Part-Whole Relations in Conceptual Data Models., und . Description Logics, Volume 353 von CEUR Workshop Proceedings, CEUR-WS.org, (2008)Reasoning on Temporal Conceptual Schemas with Dynamic Constraints.. TIME, Seite 79-86. IEEE Computer Society, (2004)Reasoning with Enhanced Temporal Entity-Relationship Models., und . DEXA Workshop, Seite 482-486. IEEE Computer Society, (1999)