PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Motik, Boris"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
HermiT: An OWL 2 Reasoner

, , , , und . Journal of Automated Reasoning, 53 (3): 245--269 (01.10.2014)
DOI: 10.1007/s10817-014-9305-1

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.

Boris Blagojevic University of Stuttgart

Prof. iR Boris Podrecca University of Stuttgart

Univ. -Prof. Dr. phil. Boris Gehlen University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Properties of Metamodeling in OWL.. J. Log. Comput., 17 (4): 617-637 (2007)Deciding expressive description logics in the framework of resolution., , und . Inf. Comput., 206 (5): 579-601 (2008)Maintenance of datalog materialisations revisited., , , und . Artif. Intell., (2019)Combining Description Logics, Description Graphs, and Rules.. FroCoS, Volume 5749 von Lecture Notes in Computer Science, Seite 43-67. Springer, (2009)Semantics and Reasoning Algorithms for a Faithful Integration of Description Logics and Rules.. RR, Volume 5341 von Lecture Notes in Computer Science, Seite 12. Springer, (2008)Import-by-Query: Ontology Reasoning under Access Limitations., , und . IJCAI, Seite 727-732. (2009)MAFRA - A MApping FRAmework for Distributed Ontologies., , , und . EKAW, Volume 2473 von Lecture Notes in Computer Science, Seite 235-250. Springer, (2002)Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi., , und . Description Logics, Volume 353 von CEUR Workshop Proceedings, CEUR-WS.org, (2008)Fixed Parameter Tractable Reasoning in DLs via Decomposition., , und . Description Logics, Volume 745 von CEUR Workshop Proceedings, CEUR-WS.org, (2011)A Hypertableau Calculus for SHIQ., , und . Description Logics, Volume 250 von CEUR Workshop Proceedings, CEUR-WS.org, (2007)