Birte Glimm
Birte Glimm
Prof. of Computer Science, University of Ulm
Verified email at uni-ulm.de
TitleCited byYear
HermiT: an OWL 2 reasoner
B Glimm, I Horrocks, B Motik, G Stoilos, Z Wang
Journal of Automated Reasoning 53 (3), 245-269, 2014
3182014
Conjunctive query answering for the description logic SHIQ
B Glimm, I Horrocks, C Lutz, U Sattler
Journal of Artificial Intelligence Research 31, 150-197, 2008
2892008
Conjunctive query answering for the description logic SHIQ
B Glimm, I Horrocks, C Lutz, U Sattler
Proceedings of the 20th International Joint Conference on Artificial …, 2007
2882007
SPARQL query answering over OWL ontologies
I Kollia, B Glimm, I Horrocks
The Semantic Web: Research and Applications, 382-396, 2011
1162011
Konclude: system description
A Steigmiller, T Liebig, B Glimm
Journal of Web Semantics 27, 78-85, 2014
1072014
Konclude: System Description
A Steigmiller, T Liebig, B Glimm
Journal of Web Semantics 27, 78-85, 2014
1072014
A Novel Approach to Ontology Classification
B Glimm, I Horrocks, B Motik, R Shearer, G Stoilos
Web Semantics: Science, Services and Agents on the World Wide Web 14, 2012
882012
OWL: Yet to arrive on the Web of Data?
B Glimm, A Hogan, M Krötzsch, A Polleres
arXiv preprint arXiv:1202.0984, 2012
702012
Integrated Metamodeling and Diagnosis in OWL 2
B Glimm, S Rudolph, J Völker
642010
Integrated Metamodeling and Diagnosis in OWL 2
B Glimm, S Rudolph, J Völker
Proceedings of the 9th International Semantic Web Conference (ISWC 2010 …, 2010
642010
Optimizing SPARQL query answering over OWL ontologies
I Kollia, B Glimm
Journal of artificial intelligence research 48, 253-303, 2013
632013
SPARQL 1.1 entailment regimes
B Glimm, C Ogbuji, S Hawke, I Herman, B Parsia, A Polleres, A Seaborne
W3C Recommendation 21, 2013
632013
Optimising ontology classification
B Glimm, I Horrocks, B Motik, G Stoilos
International Semantic Web Conference, 225-240, 2010
522010
Nominals, inverses, counting, and conjunctive queries or: Why infinity is your friend
S Rudolph, B Glimm
Journal of Artificial Intelligence Research 39 (1), 429-481, 2010
482010
SPARQL beyond subgraph matching
B Glimm, M Krötzsch
Proceedings of the 9th International Semantic Web Conference (ISWC 2010 …, 2010
442010
A Syntax for Rules in OWL 2
B Glimm, M Horridge, B Parsia, PF Patel-Schneider
Proceedings of the 6th International Workshop on OWL: Experiences and …, 2009
402009
Using SPARQL with RDFS and OWL entailment
B Glimm
Reasoning Web International Summer School, 137-201, 2011
392011
Interactive Ontology Revision
N Niktina, S Rudolph, B Glimm
Web Semantics: Science, Services and Agents on the World Wide Web 12, 118-130, 2012
382012
The OWL reasoner evaluation (ORE) 2015 competition report
B Parsia, N Matentzoglu, RS Gonçalves, B Glimm, A Steigmiller
Journal of Automated Reasoning 59 (4), 455-482, 2017
372017
Optimized Description Logic Reasoning via Core Blocking
B Glimm, I Horrocks, B Motik
Proceedings of the International Joint Conference on Automated Reasoning …, 2010
372010
The system can't perform the operation now. Try again later.
Articles 1–20