Birte Glimm : Publications
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 |