Birte Glimm : Publications
Click here to download all publications in a single bibtex file
@article{GHMS11a,
title = "A Novel Approach to Ontology Classification",
author = "Birte Glimm and Ian Horrocks and Boris Motik and Rob Shearer and Giorgos Stoilos",
year = "2012",
journal = "Journal of Web Semantics: Science, Services and Agents on the World Wide Web, Accepted",
}
@inproceedings{KoGH11c,
title = "Answering Queries over OWL Ontologies with SPARQL",
author = "Ilianna Kollia and Birte Glimm and Ian Horrocks",
year = "2011",
booktitle = "Proceedings of the 8th International Workshop on OWL: Experiences and Directions (OWLED 2011)",
}
@inproceedings{KoGH11b,
title = "Query Answering over SROIQ Knowledge Bases with SPARQL",
author = "Ilianna Kollia and Birte Glimm and Ian Horrocks",
year = "2011",
booktitle = "Proceedings of the 2011 International Workshop on Description Logic (DL 2011)",
note = "To Appear",
}
@inproceedings{GlKL11b,
title = "Reasoning-Supported Interactive Revision of Knowledge Bases",
author = "Nadeschda Nikitina and Sebastian Rudolph and Birte Glimm",
year = "2011",
booktitle = "Proceedings of the 2011 International Workshop on Description Logic (DL 2011)",
note = "To Appear",
}
@inproceedings{GlKL11b,
title = "Status QIO: An Update",
author = "Birte Glimm and Yevgeny Kazakov and Carsten Lutz",
year = "2011",
booktitle = "Proceedings of the 2011 International Workshop on Description Logic (DL 2011)",
note = "To Appear",
publisher = "CEUR Workshop Proceedings",
}
@inproceedings{NiRG11a,
title = "Reasoning-Supported Interactive Revision of Knowledge Bases",
author = "Nadeschda Nikitina and Sebastian Rudolph and Birte Glimm",
year = "2011",
booktitle = "Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011)",
note = "To Appear",
publisher = "AAAI Press/The MIT Press",
}
@inproceedings{KoGH11a,
title = "SPARQL Query Answering over OWL Ontologies",
author = "Ilianna Kollia and Birte Glimm and Ian Horrocks",
year = "2011",
booktitle = "Proceedings of the 8th Extended Semantic Web Conference (ESWC 2011)",
note = "To Appear",
publisher = "Springer Verlag",
series = "LNCS",
}
@techreport{GlKL11a,
title = "Status QIO: An Update",
author = "Birte Glimm and Yevgeny Kazakov and Carsten Lutz",
year = "2011",
institution = "The University of Oxford",
}
@techreport{GlRV10b,
title = "Integrated Metamodeling and Diagnosis in OWL 2",
author = "Birte Glimm and Sebastian Rudolph and Johanna Völker",
year = "2010",
institution = "Institut AIFB, KIT",
month = "September",
note = "Technical Report",
number = "3006",
}
@article{RuGl10a,
title = "Nominals, Inverses, Counting, and Conjunctive Queries",
author = "Sebastian Rudolph and Birte Glimm",
year = "2010",
journal = "Journal of Artificial Intelligence Research",
note = "To Appear",
pages = "429-481",
volume = "39",
}
@inproceedings{GlKr10a,
title = "SPARQL Beyond Subgraph Matching",
author = "Birte Glimm and Markus Krötzsch",
year = "2010",
booktitle = "Proceedings of the 9th International Semantic Web Conference (ISWC 2010)",
pages = "241-256",
publisher = "Springer Verlag",
series = "LNCS",
volume = "6496",
}
@inproceedings{GlRV10a,
title = "Integrated Metamodeling and Diagnosis in OWL 2",
author = "Birte Glimm and Sebastian Rudolph and Johanna Völker",
year = "2010",
booktitle = "Proceedings of the 9th International Semantic Web Conference (ISWC 2010)",
pages = "257-272",
publisher = "Springer Verlag",
series = "LNCS",
volume = "6496",
}
@inproceedings{GHMS10a,
title = "Optimising Ontology Classification",
author = "Birte Glimm and Ian Horrocks and Boris Motik and Giorgos Stoilos",
year = "2010",
booktitle = "Proceedings of the 9th International Semantic Web Conference (ISWC 2010)",
pages = "225-240",
publisher = "Springer Verlag",
series = "LNCS",
volume = "6496",
}
@inproceedings{GlHM10c,
title = "Optimized Description Logic Reasoning via Core Blocking",
author = "Birte Glimm and Ian Horrocks and Boris Motik",
year = "2010",
booktitle = "Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2010)",
}
@inproceedings{GlHM10b,
title = "Optimized DL Reasoning via Core Blocking",
author = "Birte Glimmand Ian Horrocks and Boris Motik",
year = "2010",
booktitle = "Proceedings of the 2010 Description Logic Workshop (DL 2010)",
pages = "209-219",
publisher = "CEUR",
volume = "573",
}
@inproceedings{GlRu10a,
title = "Status QIO: Conjunctive Query Entailment is Decidable",
author = "Birte Glimm and Sebastian Rudolph",
year = "2010",
booktitle = "Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR-10)",
publisher = "AAAI Press/The MIT Press",
}
@techreport{GHMS10b,
title = "Optimising Ontology Classification",
author = "Birte Glimm and Ian Horrocks and Boris Motik and Giorgos Stoilos",
year = "2010",
institution = "Oxford University Computing Laboratory",
note = "Technical Report",
}
@techreport{GlHM10a,
title = "Optimized DL Reasoning via Core Blocking",
author = "Birte Glimm and Ian Horrocks and Boris Motik",
year = "2010",
institution = "Oxford University Computing Laboratory",
note = "Technical Report",
}
@inproceedings{GHPP09a,
title = "A Syntax for Rules in OWL 2",
author = "Birte Glimm and Matthew Horridge and Bijan Parsia and Peter F. Patel-Schneider",
year = "2009",
booktitle = "Proceedings of the 6th International Workshop on OWL: Experiences and Directions (OWLED 2009)",
publisher = "CEUR",
volume = "529",
}
@inproceedings{GlRu09b,
title = "Conjunctive Query Entailment: Decidable in Spite of O, I, and Q",
author = "Birte Glimm and Sebastian Rudolph",
year = "2009",
booktitle = "Proceedings of the of the 2000 Description Logic Workshop (DL-09)",
publisher = "CEUR Workshop Proceedings",
}
@techreport{GHPP09b,
title = "A Syntax for Rules in OWL 2",
author = "Birte Glimm and Matthew Horridge and Bijan Parsia and Peter F. Patel-Schneider",
year = "2009",
institution = "Oxford University Computing Laboratory",
note = "Technical Report",
}
@techreport{GlRu09a,
title = "Nominals, Inverses, Counting, and Conjunctive Queries or Why Infinity is your Friend!",
author = "Birte Glimm and Sebastian Rudolph",
year = "2009",
institution = "Oxford University Compting Laboratory",
note = "Technical Report",
}
@article{GHLS08a,
title = "Conjunctive Query Answering for the Description Logic SHIQ",
author = "Birte Glimm and Ian Horrocks and Carsten Lutz and Uli Sattler",
year = "2008",
journal = "Journal of Artificial Intelligence Research",
pages = "151--198",
volume = "31",
}
@inproceedings{GlHS08a,
title = "Unions of Conjunctive Queries in SHOQ",
author = "Birte Glimm and Ian Horrocks and Ulrike Sattler",
year = "2008",
booktitle = "Proceedings of the 11th International Conference on the Principles of Knowledge Representation and Reasoning (KR-08)",
pages = "252-262",
publisher = "AAAI Press/The MIT Press",
}
@inproceedings{GlKa08a,
title = "Role Conjunctions in Expressive Description Logics",
author = "Birte Glimm and Yevgeny Kazakov",
year = "2008",
booktitle = "Proceedings of the 15th International Conference on Logic for Programming and Automated Reasoning (LPAR 2008)",
pages = "391-405",
publisher = "Springer Verlag",
series = "Lecture Notes in Computer Science",
volume = "5330",
}
@article{HoGS07a,
title = "Hybrid Logics and Ontology Languages",
author = "Ian Horrocks an Birte Glimm and Ulrike Sattler",
year = "2007",
journal = "Electronic Notes in Theoretical Computer Science",
note = "Proceedings of the International Workshop on Hybrid Logic (HyLo 2006)",
number = "6",
pages = "3-14",
volume = "174",
}
@inproceedings{GHLS07a,
title = "Conjunctive Query Answering in the Description Logic SHIQ",
author = "Birte Glimm and Ian Horrocks and Carsten Lutz and Uli Sattler",
year = "2007",
booktitle = "Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007)",
}
@inproceedings{GlHS07a,
title = "Conjunctive Query Entailment for SHOQ",
author = "Birte Glimm and Ian Horrocks and Uli Sattler",
year = "2007",
booktitle = "Proceedings of the 2007 Description Logic Workshop (DL 2007)",
}
@phdthesis{Glim07a,
title = "Querying Description Logic Knowledge Bases",
author = "Birte Glimm",
year = "2007",
address = "Manchester, United Kingdom",
school = "The University of Manchester",
}
@inproceedings{GlHS06a,
title = "Conjunctive Query Answering for Description Logics with Transitive Roles",
author = "Birte Glimm and Ian Horrocks and Ulrike Sattler",
year = "2006",
booktitle = "Proceedings of the 2006 Description Logic Workshop (DL 2006)",
publisher = "CEUR Workshop Proceedings",
}
@techreport{GHLS06a,
title = "Conjunctive Query Answering in the Description Logic SHIQ",
author = "Birte Glimm and Ian Horrocks and Carsten Lutz and Uli Sattler",
year = "2006",
address = "Germany",
institution = "Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology",
number = "LTCS-06-01",
}
@inproceedings{GlHo05a,
title = "Handling Cyclic Conjunctive Queries",
author = "Birte Glimm and Ian Horrocks",
year = "2005",
address = "Edinburgh, Scotland, UK",
booktitle = "Proceedings of the 2005 Description Logic Workshop (DL 2005)",
publisher = "CEUR Workshop Proceedings",
}
@inproceedings{GlHo04a,
title = "Query Answering Systems in the Semantic Web",
author = "Birte Glimm and Ian Horrocks",
year = "2004",
booktitle = "CEUR workshop proceedings of KI-2004 Workshop on Applications of Description Logics (ADL 2004)",
location = "Ulm, Germany",
}
@techreport{PFTS04a,
title = "Specification of Coordination of Rule and Ontology Languages",
author = "Jeff Z. Pan and Enrico Franconi and Sergio Tessaris and Giorgos Stamou and Vassilis Tzouvaras and Luciano Serafini and Ian Horrocks and Birte Glimm",
year = "2004",
institution = "The Knowledge Web project",
}
@techreport{PFTG04a,
title = "Report on Query Language Design and Standardisation",
author = "Jeff Z. Pan and Enrico Franconi and Sergio Tessaris and Birte Glimm and Wolf Siberski and Giorgos Stamou and Vassilis Tzouvaras and Ian Horrocks and Lei Li and Holger Wache",
year = "2004",
institution = "The Knowledge Web project",
}
@misc{Glim04a,
title = "A Query Language for Web Ontologies",
author = "Birte Glimm",
year = "2004",
note = "Bachelor Report, Hamburg University of Applied Sciences",
}