Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Conjunctive Query Inseparability of OWL 2 QL TBoxes.

B. Konev, R. Kontchakov, M. Ludwig, T. Schneider, F. Wolter, und M. Zakharyaschev. AAAI, AAAI Press, (2011)

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.

Michael Böhm

Michael Funk

Hon. -Prof. Dr. -Ing. Michael Bauer University of Stuttgart

Dr. Michael Wachowsky University of Stuttgart

Dr. phil. Michael Nerurkar University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Modal Companions of Intermediate Propositional Logics.A. Chagrov, und M. Zakharyaschev. Studia Logica, 51 (1): 49-82 (1992)Past and Future of DL-Lite.A. Artale, R. Kontchakov, V. Ryzhikov, und M. Zakharyaschev. AAAI, AAAI Press, (2010)Speaking about Transitive Frames in Propositional Languages.Y. Suzuki, F. Wolter, und M. Zakharyaschev. Journal of Logic, Language and Information, 7 (3): 317-339 (1998)On the Computational Complexity of Spatial Logics with Connectedness Constraints.R. Kontchakov, I. Pratt-Hartmann, F. Wolter, und M. Zakharyaschev. LPAR, Volume 5330 von Lecture Notes in Computer Science, Seite 574-589. Springer, (2008)Ontology-Based Data Access to Slegge.D. Hovland, R. Kontchakov, M. Skjæveland, A. Waaler, und M. Zakharyaschev. International Semantic Web Conference (2), Volume 10588 von Lecture Notes in Computer Science, Seite 120-129. Springer, (2017)The disjunction property of intermediate propositional logics.A. Chagrov, und M. Zakharyaschev. Studia Logica, 50 (2): 189-216 (1991)A Logic for Concepts and Similarity.M. Sheremet, D. Tishkovsky, F. Wolter, und M. Zakharyaschev. J. Log. Comput., 17 (3): 415-452 (2007)On Non-local Propositional and Weak Monodic Quantified CTL.S. Bauer, I. Hodkinson, F. Wolter, und M. Zakharyaschev. J. Log. Comput., 14 (1): 3-22 (2004)Axiomatizing Distance Logics.O. Kutz, H. Sturm, N. Suzuki, F. Wolter, und M. Zakharyaschev. Journal of Applied Non-Classical Logics, 12 (3-4): 425-440 (2002)Can You Tell the Difference Between DL-Lite Ontologies?.R. Kontchakov, F. Wolter, und M. Zakharyaschev. KR, Seite 285-295. AAAI Press, (2008)