Autor der Publikation

History Matters: Incremental Ontology Reasoning Using Modules.

, , und . ISWC/ASWC, Volume 4825 von Lecture Notes in Computer Science, Seite 183-196. Springer, (2007)

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

Role Conjunctions in Expressive Description Logics., und . LPAR, Volume 5330 von Lecture Notes in Computer Science, Seite 391-405. Springer, (2008)A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards., und . IJCAR, Volume 3097 von Lecture Notes in Computer Science, Seite 122-136. Springer, (2004)Enumerating Justifications Using Resolution., und . IJCAR, Volume 10900 von Lecture Notes in Computer Science, Seite 609-626. Springer, (2018)OWL Query Answering Based on Query Extension., , , und . OWLED, Volume 1265 von CEUR Workshop Proceedings, Seite 1-12. CEUR-WS.org, (2014)Lower and Upper Bounds for SPARQL Queries over OWL Ontologies., , , und . Description Logics, Volume 1350 von CEUR Workshop Proceedings, CEUR-WS.org, (2015)Concept Abduction for Description Logics., , und . Description Logics, Volume 3263 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)Incremental Reasoning in EL+ without Bookkeeping., und . Description Logics, Volume 1014 von CEUR Workshop Proceedings, Seite 294-315. CEUR-WS.org, (2013)Classical Algorithms for Reasoning and Explanation in Description Logics., und . Reasoning Web, Volume 11810 von Lecture Notes in Computer Science, Seite 1-64. Springer, (2019)Concurrent classification of \EL\ ontologies, , und . Proceedings of the 10th international conference on The semantic web - Volume Part I, Seite 305--320. Berlin, Heidelberg, Springer-Verlag, (2011)OWL Reasoner Evaluation (ORE) Workshop 2013 Results: Short Report, , , , , , und . ORE, Volume 1015 von CEUR Workshop Proceedings, Seite 1-18. CEUR-WS.org, (2013)