University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

Birte Glimm : Publications

By dateBy titleBy typeBibtex

Journal papers

[1]

A Novel Approach to Ontology Classification

Birte Glimm‚ Ian Horrocks‚ Boris Motik‚ Rob Shearer and Giorgos Stoilos

In Journal of Web Semantics: Science‚ Services and Agents on the World Wide Web‚ Accepted. 2012.

[2]

Nominals‚ Inverses‚ Counting‚ and Conjunctive Queries

Sebastian Rudolph and Birte Glimm

In Journal of Artificial Intelligence Research. Vol. 39. Pages 429−481. 2010.

To Appear

[3]

Hybrid Logics and Ontology Languages

Ian Horrocks an Birte Glimm and Ulrike Sattler

In Electronic Notes in Theoretical Computer Science. Vol. 174. No. 6. Pages 3−14. 2007.

Proceedings of the International Workshop on Hybrid Logic (HyLo 2006)

[4]

Conjunctive Query Answering for the Description Logic SHIQ

Birte Glimm‚ Ian Horrocks‚ Carsten Lutz and Uli Sattler

In Journal of Artificial Intelligence Research. Vol. 31. Pages 151–198. 2008.

Conference papers

[1]

Answering Queries over OWL Ontologies with SPARQL

Ilianna Kollia‚ Birte Glimm and Ian Horrocks

In Proceedings of the 8th International Workshop on OWL: Experiences and Directions (OWLED 2011). 2011.

[2]

Query Answering over SROIQ Knowledge Bases with SPARQL

Ilianna Kollia‚ Birte Glimm and Ian Horrocks

In Proceedings of the 2011 International Workshop on Description Logic (DL 2011). 2011.

To Appear

[3]

Reasoning−Supported Interactive Revision of Knowledge Bases

Nadeschda Nikitina‚ Sebastian Rudolph and Birte Glimm

In Proceedings of the 2011 International Workshop on Description Logic (DL 2011). 2011.

To Appear

[4]

Status QIO: An Update

Birte Glimm‚ Yevgeny Kazakov and Carsten Lutz

In Proceedings of the 2011 International Workshop on Description Logic (DL 2011). CEUR Workshop Proceedings. 2011.

To Appear

[5]

Reasoning−Supported Interactive Revision of Knowledge Bases

Nadeschda Nikitina‚ Sebastian Rudolph and Birte Glimm

In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011). AAAI Press/The MIT Press. 2011.

To Appear

[6]

SPARQL Query Answering over OWL Ontologies

Ilianna Kollia‚ Birte Glimm and Ian Horrocks

In Proceedings of the 8th Extended Semantic Web Conference (ESWC 2011). Springer Verlag. 2011.

To Appear

[7]

A Syntax for Rules in OWL 2

Birte Glimm‚ Matthew Horridge‚ Bijan Parsia and Peter F. Patel−Schneider

In Proceedings of the 6th International Workshop on OWL: Experiences and Directions (OWLED 2009). Vol. 529. CEUR. 2009.

[8]

SPARQL Beyond Subgraph Matching

Birte Glimm and Markus Krötzsch

In Proceedings of the 9th International Semantic Web Conference (ISWC 2010). Vol. 6496 of LNCS. Pages 241−256. Springer Verlag. 2010.

[9]

Integrated Metamodeling and Diagnosis in OWL 2

Birte Glimm‚ Sebastian Rudolph and Johanna Völker

In Proceedings of the 9th International Semantic Web Conference (ISWC 2010). Vol. 6496 of LNCS. Pages 257−272. Springer Verlag. 2010.

[10]

Optimising Ontology Classification

Birte Glimm‚ Ian Horrocks‚ Boris Motik and Giorgos Stoilos

In Proceedings of the 9th International Semantic Web Conference (ISWC 2010). Vol. 6496 of LNCS. Pages 225−240. Springer Verlag. 2010.

[11]

Optimized Description Logic Reasoning via Core Blocking

Birte Glimm‚ Ian Horrocks and Boris Motik

In Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2010). 2010.

[12]

Optimized DL Reasoning via Core Blocking

Birte Glimmand Ian Horrocks and Boris Motik

In Proceedings of the 2010 Description Logic Workshop (DL 2010). Vol. 573. Pages 209−219. CEUR. 2010.

[13]

Status QIO: Conjunctive Query Entailment is Decidable

Birte Glimm and Sebastian Rudolph

In Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR−10). AAAI Press/The MIT Press. 2010.

[14]

Conjunctive Query Entailment: Decidable in Spite of O‚ I‚ and Q

Birte Glimm and Sebastian Rudolph

In Proceedings of the of the 2000 Description Logic Workshop (DL−09). CEUR Workshop Proceedings. 2009.

[15]

Unions of Conjunctive Queries in SHOQ

Birte Glimm‚ Ian Horrocks and Ulrike Sattler

In Proceedings of the 11th International Conference on the Principles of Knowledge Representation and Reasoning (KR−08). Pages 252−262. AAAI Press/The MIT Press. 2008.

[16]

Role Conjunctions in Expressive Description Logics

Birte Glimm and Yevgeny Kazakov

In Proceedings of the 15th International Conference on Logic for Programming and Automated Reasoning (LPAR 2008). Vol. 5330 of Lecture Notes in Computer Science. Pages 391−405. Springer Verlag. 2008.

[17]

Query Answering Systems in the Semantic Web

Birte Glimm and Ian Horrocks

In CEUR workshop proceedings of KI−2004 Workshop on Applications of Description Logics (ADL 2004). 2004.

[18]

Handling Cyclic Conjunctive Queries

Birte Glimm and Ian Horrocks

In Proceedings of the 2005 Description Logic Workshop (DL 2005). Edinburgh‚ Scotland‚ UK. 2005. CEUR Workshop Proceedings.

[19]

Conjunctive Query Answering for Description Logics with Transitive Roles

Birte Glimm‚ Ian Horrocks and Ulrike Sattler

In Proceedings of the 2006 Description Logic Workshop (DL 2006). CEUR Workshop Proceedings. 2006.

[20]

Conjunctive Query Answering in the Description Logic SHIQ

Birte Glimm‚ Ian Horrocks‚ Carsten Lutz and Uli Sattler

In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007). 2007.

[21]

Conjunctive Query Entailment for SHOQ

Birte Glimm‚ Ian Horrocks and Uli Sattler

In Proceedings of the 2007 Description Logic Workshop (DL 2007). 2007.

Technical reports

[1]

Status QIO: An Update

Birte Glimm‚ Yevgeny Kazakov and Carsten Lutz

The University of Oxford. 2011.

[2]

Integrated Metamodeling and Diagnosis in OWL 2

Birte Glimm‚ Sebastian Rudolph and Johanna Völker

No. 3006. Institut AIFB‚ KIT. September, 2010.

Technical Report

[3]

Optimising Ontology Classification

Birte Glimm‚ Ian Horrocks‚ Boris Motik and Giorgos Stoilos

Oxford University Computing Laboratory. 2010.

Technical Report

[4]

Optimized DL Reasoning via Core Blocking

Birte Glimm‚ Ian Horrocks and Boris Motik

Oxford University Computing Laboratory. 2010.

Technical Report

[5]

A Syntax for Rules in OWL 2

Birte Glimm‚ Matthew Horridge‚ Bijan Parsia and Peter F. Patel−Schneider

Oxford University Computing Laboratory. 2009.

Technical Report

[6]

Nominals‚ Inverses‚ Counting‚ and Conjunctive Queries or Why Infinity is your Friend!

Birte Glimm and Sebastian Rudolph

Oxford University Compting Laboratory. 2009.

Technical Report

[7]

Specification of Coordination of Rule and Ontology Languages

Jeff Z. Pan‚ Enrico Franconi‚ Sergio Tessaris‚ Giorgos Stamou‚ Vassilis Tzouvaras‚ Luciano Serafini‚ Ian Horrocks and Birte Glimm

The Knowledge Web project. 2004.

[8]

Report on Query Language Design and Standardisation

Jeff Z. Pan‚ Enrico Franconi‚ Sergio Tessaris‚ Birte Glimm‚ Wolf Siberski‚ Giorgos Stamou‚ Vassilis Tzouvaras‚ Ian Horrocks‚ Lei Li and Holger Wache

The Knowledge Web project. 2004.

[9]

Conjunctive Query Answering in the Description Logic SHIQ

Birte Glimm‚ Ian Horrocks‚ Carsten Lutz and Uli Sattler

No. LTCS−06−01. Chair for Automata Theory‚ Institute for Theoretical Computer Science‚ Dresden University of Technology. Germany. 2006.

Theses

[1]

Querying Description Logic Knowledge Bases

Birte Glimm

PhD Thesis The University of Manchester. Manchester‚ United Kingdom. 2007.

Miscellaneous

[1]

A Query Language for Web Ontologies

Birte Glimm

2004.

Bachelor Report‚ Hamburg University of Applied Sciences