!!Ulrike Sattler - Publications
\\
All bibliometric information is from Google Scholar (GS), on Feb 15, 2013: \\
\\
*Citations: 9723 (5888 since 2008)\\
*h-index 51 (37 since 2008)\\
*About 85 papers in major, peer-reviewed conferences and journals. In addition various book chapters, edited volumes, and workshop papers. \\
\\
__Selected Publications__
\\ \\
The modular structure of an ontology: atomic decomposition.  C. Del Vescovo, B. Parsia, U. Sattler, and T. Schneider. In Proc. of the International Joint Conferences on Artificial Intelligence (IJCAI 2011). [[17 citations, GS]\\
\\
Analysing the Evolution of the NCI Thesaurus. R. S. Gonçalves, B. Parsia, and Uli Sattler. In Proc. of the 24th International Symposium on Computer-Based Medical Systems (CBMS 2011).  [[9 citations, GS]\\
\\
Justification Oriented Proofs in OWL. M. Horridge, B. Parsia, and U. Sattler. In Proc. of the International Semantic Web Conference (1) 354-369, 2010. [[16 citations, GS]\\
\\
Representing ontologies using description logics, description graphs, and rules. B. Motik, B. Cuenca Grau, I. Horrocks, and U. Sattler. Artificial Intelligence, 173(14): 1275-1309 (2009). [[27 citations, GS]\\
\\
Bridging the Gap Between OWL and Relational Databases. B. Motik, I. Horrocks, and U. Sattler. Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 7(2): 74-89, 2009. [[156 citations, GS]]\\
\\
Laconic and Precise Justifications in OWL. M. Horridge, B. Parsia, and U. Sattler. In Proc. of the 7th International Semantic Web Conference (ISWC 2008), Vol. 5318 of LNCS, Springer, 2008. [[122 citations, GS;  Best Paper Award]\\
\\
Modular reuse of ontologies: Theory and practice. B.C. Grau, I. Horrocks, Y. Kazakov, and U. Sattler, Journal of Artificial Intelligence Research 31 (1), 273-318, 2008 [[202 citations, GS]\\
\\
Conjunctive query answering for the description logic SHIQ. B. Glimm, I. Horrocks, C. Lutz, and U. Sattler , Journal of Artificial Intelligence Research 31, 157-204, 2008 [[168 citations, GS]\\
\\
A Tableaux Decision Procedure for SHOIQ. I. Horrocks and U. Sattler. Journal of Automated Reasoning, Springer Verlag, 39(3), 245-429, 2007. [[387 citation, GS; solved a long-standing open problem regarding the decidability of the logic underlying OWL]\\
\\
The Even More Irresistible SROIQ. I. Horrocks, O. Kutz, and U. Sattler.  In Proc. of the 10th International Conference of Knowledge Representation and Reasoning (KR-2006), 2006. [[479 citations, GS; design of the logic underlying OWL 2]