Autor der Publikation

Abstraction Refinement for Ontology Materialization.

, , , , und . Description Logics, Volume 1193 von CEUR Workshop Proceedings, Seite 185-196. CEUR-WS.org, (2014)

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

Connecting the Dots in Million-Nodes Knowledge Graphs with SemSpect., , und . International Semantic Web Conference (Posters, Demos & Industry Tracks), Volume 1963 von CEUR Workshop Proceedings, CEUR-WS.org, (2017)A Mechanically Verified Compiling Specification for a Lisp Compiler., und . FSTTCS, Volume 2245 von Lecture Notes in Computer Science, Seite 144-155. Springer, (2001)Formal Verification of a Compiler Back-End Generic Checker Program., und . Ershov Memorial Conference, Volume 1755 von Lecture Notes in Computer Science, Seite 470-480. Springer, (1999)ASM-based Mechanized Verification of Compiler Back-Ends., , , und . Workshop on Abstract State Machines, Seite 50-67. (1998)GraphScale: Adding Expressive Reasoning to Semantic Data Stores., , , und . International Semantic Web Conference (Posters & Demos), Volume 1486 von CEUR Workshop Proceedings, CEUR-WS.org, (2015)Abstraction Refinement for Ontology Materialization., , , , und . Description Logics, Volume 1193 von CEUR Workshop Proceedings, Seite 185-196. CEUR-WS.org, (2014)