Autor der Publikation

Two Variable Logic with Ultimately Periodic Counting.

, , und . ICALP, Volume 168 von LIPIcs, Seite 112:1-112:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

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

Logical Foundations of Linked Data Anonymisation., und . J. Artif. Intell. Res., (2019)Controlled Query Evaluation over OWL 2 RL Ontologies, , , und . Proc.\ International Semantic Web Conference (ISWC), (2013)Source Information Disclosure in Ontology-Based Data Integration., , und . AAAI, Seite 1056-1062. AAAI Press, (2017)INDIGO: GNN-Based Inductive Knowledge Graph Completion Using Pair-Wise Encoding., , , und . NeurIPS, Seite 2034-2045. (2021)Controlled Query Evaluation over OWL 2 RL Ontologies., , , und . ISWC (1), Volume 8218 von Lecture Notes in Computer Science, Seite 49-65. Springer, (2013)Ontology Reshaping for Knowledge Graph Construction: Applied on Bosch Welding Case., , , , , , , und . ISWC, Volume 13489 von Lecture Notes in Computer Science, Seite 770-790. Springer, (2022)Semantics of SPARQL under OWL 2 Entailment Regimes., und . Description Logics, Volume 1350 von CEUR Workshop Proceedings, CEUR-WS.org, (2015)Bagging the DL-Lite Family Further., , , , , und . Description Logics, Volume 2373 von CEUR Workshop Proceedings, CEUR-WS.org, (2019)Foundations of Ontology Template Language OTTR (Extended Abstract)., , , und . Description Logics, Volume 3739 von CEUR Workshop Proceedings, CEUR-WS.org, (2024)Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies., , , und . IJCAI, Seite 2883-2889. AAAI Press, (2015)