Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBirte Glimm
Person information
- affiliation: University of Ulm, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c89]Nathan Gruber
, Birte Glimm:
A Comparative Study of Stream Reasoning Engines. ESWC 2023: 21-37- [c88]Milene Santos Teixeira, Michael Welt, Raphael Chis, Birte Glimm:
Challenges on Deriving Planning Problems from Ontologies. PLATO@ICAPS 2023 - [i6]James P. Delgrande, Birte Glimm, Thomas Andreas Meyer, Miroslaw Truszczynski, Frank Wolter:
Current and Future Challenges in Knowledge Representation and Reasoning. CoRR abs/2308.04161 (2023) - 2022
- [c87]Birte Glimm, Yevgeny Kazakov:
SAT-Based Axiom Pinpointing Revisited. Description Logics 2022 - [c86]Birte Glimm, Yevgeny Kazakov, Michael Welt:
Concept Abduction for Description Logics. Description Logics 2022 - [c85]Moritz Illich, Birte Glimm:
Computing Concept Referring Expressions with Standard OWL Reasoners. Description Logics 2022 - [c84]Moritz Illich, Birte Glimm:
Computing Concept Referring Expressions for Queries on Horn ALC Ontologies. IJCAI 2022: 2669-2675 - [i5]James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Milene Santos Teixeira, Frank Wolter:
Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282). Dagstuhl Reports 12(7): 62-79 (2022) - 2021
- [j17]Pascal Bercher, Gregor Behnke, Matthias Kraus, Marvin R. G. Schiller, Dietrich Manstetten, Michael Dambier, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo:
Do It Yourself, but Not Alone: Companion-Technology for Home Improvement - Bringing a Planning-Based Interactive DIY Assistant to Life. Künstliche Intell. 35(3): 367-375 (2021) - [c83]Andreas Steigmiller, Birte Glimm:
Parallelised ABox Reasoning and Query Answering with Expressive Description Logics. ESWC 2021: 23-39 - [c82]Haonan Qiu, Adel Ayara, Birte Glimm:
Ontology-Based Map Data Quality Assurance. ESWC 2021: 73-89 - [c81]Maximilian Wenzel, Thorsten Liebig, Birte Glimm:
HDT Bitmap Triple Indices for Efficient RDF Data Exploration. ESWC 2021: 109-125 - [c80]Andreas Steigmiller, Birte Glimm, Thorsten Liebig:
Query Answering and Scaling Extensions of Konclude. SemREC@ISWC 2021: 37-43 - 2020
- [c79]Gregor Behnke, Pascal Bercher, Matthias Kraus, Marvin R. G. Schiller, Kristof Mickeleit, Timo Häge, Michael Dorna, Michael Dambier, Dietrich Manstetten, Wolfgang Minker, Birte Glimm, Susanne Biundo:
New Developments for Robert - Assisting Novice Users Even Better in DIY Projects. ICAPS 2020: 343-347 - [c78]Andreas Steigmiller, Birte Glimm:
Parallelised ABox Reasoning and Query Answering with Expressive Description Logics (Extended Abstract). Description Logics 2020 - [c77]Haonan Qiu, Adel Ayara, Birte Glimm:
Ontology-based Processing of Dynamic Maps in Automated Driving. KEOD 2020: 98-107 - [c76]Matthias Kraus, Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Michael Dorna, Michael Dambier, Birte Glimm, Susanne Biundo, Wolfgang Minker:
"Was that successful?" On Integrating Proactive Meta-Dialogue in a DIY-Assistant using Multimodal Cues. ICMI 2020: 585-594 - [c75]Haonan Qiu, Adel Ayara, Birte Glimm:
A Knowledge Architecture Layer for Map Data in Autonomous Vehicles. ITSC 2020: 1-6 - [c74]Haonan Qiu, Adel Ayara, Birte Glimm:
A Knowledge-Spatial Architecture for Processing Dynamic Maps in Automated Driving. ISWC (Demos/Industry) 2020: 184-189
2010 – 2019
- 2019
- [j16]Gregor Behnke, Marvin R. G. Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Michael Dambier, Wolfgang Minker, Birte Glimm, Susanne Biundo:
Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects. AI Commun. 32(1): 31-57 (2019) - [c73]Yogita Suryawanshi, Haonan Qiu, Adel Ayara, Birte Glimm:
An Ontological Model for Map Data in Automotive Systems. AIKE 2019: 140-147 - [c72]Andreas Steigmiller, Birte Glimm:
Absorption-Based Query Entailment Checking for Expressive Description Logics. Description Logics 2019 - [c71]Birte Glimm, Yevgeny Kazakov:
Classical Algorithms for Reasoning and Explanation in Description Logics. Reasoning Web 2019: 1-64 - [c70]Andreas Steigmiller, Birte Glimm:
Absorption-Based Query Answering for Expressive Description Logics. ISWC (1) 2019: 593-611 - 2018
- [j15]Zhangquan Zhou, Guilin Qi, Birte Glimm:
Parallel tractability of ontology materialization: Technique and practice. J. Web Semant. 52-53: 45-65 (2018) - [c69]Tanja Perleth, Marvin R. G. Schiller, Birte Glimm:
Applying a Model of Text Comprehension to Automated Verbalizations of EL Derivations. Description Logics 2018 - [c68]Markus Brenner, Birte Glimm:
Embracing Change by Abstraction Materialization Maintenance for Large ABoxes. IJCAI 2018: 1767-1773 - [c67]Gregor Behnke, Marvin R. G. Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo:
Instructing Novice Users on How to Use Tools in DIY Projects. IJCAI 2018: 5805-5807 - [c66]Matthias Kraus, Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Wolfgang Minker:
A Multimodal Dialogue Framework for Cloud-Based Companion Systems. IWSDS 2018: 405-410 - [c65]Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Matthias Kraus, Michael Dorna, Felix Richter, Susanne Biundo, Birte Glimm, Wolfgang Minker:
Evaluating Knowledge-Based Assistance for DIY. MuC Workshopband 2018 - 2017
- [j14]Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves, Birte Glimm, Andreas Steigmiller:
The OWL Reasoner Evaluation (ORE) 2015 Competition Report. J. Autom. Reason. 59(4): 455-482 (2017) - [c64]Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran:
Ontology Materialization by Abstraction Refinement in Horn SHOIF. AAAI 2017: 1114-1120 - [c63]Gregor Behnke, Florian Nielsen, Marvin R. G. Schiller, Pascal Bercher, Matthias Kraus, Wolfgang Minker, Birte Glimm, Susanne Biundo:
Sloth - The interactive workout planner. ICCT 2017: 1-6 - [c62]Marvin R. G. Schiller, Gregor Behnke, Mario Schmautz, Pascal Bercher, Matthias Kraus, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo:
A paradigm for coupling procedural and conceptual knowledge in companion systems. ICCT 2017: 1-6 - [c61]Markus Brenner, Birte Glimm:
Incremental Materialization Update via Abstraction Refinement. Description Logics 2017 - [c60]Marvin R. G. Schiller, Florian Schiller, Birte Glimm:
Testing the Adequacy of Automated Explanations of EL Subsumptions. Description Logics 2017 - [c59]Christian Mathieu, Matthias Klusch, Birte Glimm:
QSMat: Query-Based Materialization for Efficient RDF Stream Processing. KESW 2017: 159-174 - [c58]Klaus Ulmschneider, Birte Glimm:
Knowledge Graph: Semantic Representation and Assessment of Innovation Ecosystems. KESW 2017: 211-226 - [p1]Gregor Behnke, Florian Nielsen, Marvin R. G. Schiller, Denis K. Ponomaryov, Pascal Bercher, Birte Glimm, Wolfgang Minker, Susanne Biundo:
To Plan for the User Is to Plan with the User: Integrating User Interaction into the Planning Process. Companion Technology 2017: 123-144 - [e10]Alessandro Artale, Birte Glimm, Roman Kontchakov:
Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. CEUR Workshop Proceedings 1879, CEUR-WS.org 2017 [contents] - [e9]Giovambattista Ianni, Domenico Lembo, Leopoldo E. Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab:
Reasoning Web. Semantic Interoperability on the Web - 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures. Lecture Notes in Computer Science 10370, Springer 2017, ISBN 978-3-319-61032-0 [contents] - 2016
- [j13]Birte Glimm, Heiner Stuckenschmidt:
Special Issue on Semantic Web. Künstliche Intell. 30(2): 113-115 (2016) - [j12]Birte Glimm, Heiner Stuckenschmidt:
15 Years of Semantic Web: An Incomplete Survey. Künstliche Intell. 30(2): 117-130 (2016) - [j11]Birte Glimm:
Interview with Prof. Dr. Ian Horrocks, Professor at the Department of Computer Science of the University of Oxford. Künstliche Intell. 30(2): 201-203 (2016) - [c57]Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran:
Ontology Materialization by Abstraction Refinement in Horn SHOIF. Description Logics 2016 - [c56]Zhangquan Zhou, Guilin Qi, Birte Glimm:
Exploring Parallel Tractability of Ontology Materialization. ECAI 2016: 73-81 - [c55]Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran:
Scalable Reasoning by Abstraction Beyond DL-Lite. RR 2016: 77-93 - [c54]Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves, Birte Glimm, Andreas Steigmiller:
The OWL Reasoner Evaluation (ORE) 2015 Resources. ISWC (2) 2016: 159-167 - [c53]Klaus Ulmschneider, Birte Glimm:
Semantic exploitation of implicit patent information. SSCI 2016: 1-8 - 2015
- [j10]Klaus Ulmschneider, Bernd Michelberger, Birte Glimm, Bela Mutschler, Manfred Reichert:
On maintaining semantic networks: challenges, algorithms, use cases. Int. J. Web Inf. Syst. 11(3): 291-326 (2015) - [j9]Andreas Steigmiller, Birte Glimm:
Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures. J. Artif. Intell. Res. 54: 535-592 (2015) - [c52]Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou:
Lower and Upper Bounds for SPARQL Queries over OWL Ontologies. AAAI 2015: 109-115 - [c51]Gregor Behnke, Marvin R. G. Schiller, Denis K. Ponomaryov, Florian Nothdurft, Pascal Bercher, Wolfgang Minker, Birte Glimm, Susanne Biundo:
A Unified Knowledge Base for Companion-Systems - A Case Study for Mixed-Initiative Planning. ISCT 2015: 43-48 - [c50]Markus Brenner, Birte Glimm:
Breaking the Black Box - Using Background Knowledge for Efficient Stream Reasoning (Poster). ISCT 2015: 120-125 - [c49]Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Denis K. Ponomaryov, Marvin R. G. Schiller:
Integrating Ontologies and Planning for Cognitive Systems. Description Logics 2015 - [c48]Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou:
Lower and Upper Bounds for SPARQL Queries over OWL Ontologies. Description Logics 2015 - [c47]Andreas Steigmiller, Birte Glimm, Thorsten Liebig:
Completion Graph Caching for Expressive Description Logics. Description Logics 2015 - [c46]Gregor Behnke, Denis K. Ponomaryov, Marvin R. G. Schiller, Pascal Bercher, Florian Nothdurft, Birte Glimm, Susanne Biundo:
Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All. IJCAI 2015: 1442-1449 - [c45]Michael Kotzyba, Denis K. Ponomaryov, Thomas Low, Marcus Thiel, Birte Glimm, Andreas Nürnberger:
Ontology-supported Exploratory Search for Physical Training Exercises. ISWC (Posters & Demos) 2015 - [c44]Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves, Birte Glimm, Andreas Steigmiller:
The OWL Reasoner Evaluation (ORE) 2015 Competition Report. SSWS@ISWC 2015: 2-15 - [e8]Michel Dumontier, Birte Glimm, Rafael S. Gonçalves, Matthew Horridge, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Giorgos B. Stamou, Giorgos Stoilos:
Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015) co-located with the 28th International Workshop on Description Logics (DL 2015), Athens, Greece, June 6, 2015. CEUR Workshop Proceedings 1387, CEUR-WS.org 2015 [contents] - 2014
- [j8]Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos, Zhe Wang:
HermiT: An OWL 2 Reasoner. J. Autom. Reason. 53(3): 245-269 (2014) - [j7]Andreas Steigmiller, Birte Glimm, Thorsten Liebig:
Reasoning with Nominal Schemas through Absorption. J. Autom. Reason. 53(4): 351-405 (2014) - [j6]Andreas Steigmiller, Thorsten Liebig, Birte Glimm:
Konclude: System description. J. Web Semant. 27-28: 78-85 (2014) - [c43]Andreas Steigmiller, Birte Glimm, Thorsten Liebig:
Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures. IJCAR 2014: 449-463 - [c42]Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, Vincent Vialard:
Abstraction Refinement for Ontology Materialization. Description Logics 2014: 185-196 - [c41]Andreas Steigmiller, Birte Glimm, Thorsten Liebig:
Optimised Absorption for Expressive Description Logics. Description Logics 2014: 324-335 - [c40]Bernd Michelberger, Klaus Ulmschneider, Birte Glimm, Bela Mutschler, Manfred Reichert:
Maintaining Semantic Networks: Challenges and Algorithms. iiWAS 2014: 365-374 - [c39]Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou:
OWL Query Answering Based on Query Extension. OWLED 2014: 1-12 - [c38]Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, Vincent Vialard:
Abstraction Refinement for Ontology Materialization. ISWC (2) 2014: 180-195 - [e7]Samantha Bail, Birte Glimm, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller:
Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) co-located with the Vienna Summer of Logic (VSL 2014), Vienna, Austria, July 13, 2014. CEUR Workshop Proceedings 1207, CEUR-WS.org 2014 [contents] - [i4]Sebastian Rudolph, Birte Glimm:
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend! CoRR abs/1401.3849 (2014) - [i3]Ilianna Kollia, Birte Glimm:
Optimizing SPARQL Query Answering over OWL Ontologies. CoRR abs/1402.0576 (2014) - 2013
- [j5]Ilianna Kollia, Birte Glimm:
Optimizing SPARQL Query Answering over OWL Ontologies. J. Artif. Intell. Res. 48: 253-303 (2013) - [c37]Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou:
Using the TBox to Optimise SPARQL Queries. Description Logics 2013: 181-196 - [c36]Andreas Steigmiller, Birte Glimm, Thorsten Liebig:
Extending Absorption to Nominal Schemas. Description Logics 2013: 428-450 - [c35]Marvin R. G. Schiller, Birte Glimm:
Towards Explicative Inference for OWL. Description Logics 2013: 930-941 - [c34]Andreas Steigmiller, Birte Glimm, Thorsten Liebig:
Nominal Schema Absorption. IJCAI 2013: 1104-1110 - [c33]Rafael S. Gonçalves, Samantha Bail, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Birte Glimm, Yevgeny Kazakov:
OWL Reasoner Evaluation (ORE) Workshop 2013 Results: Short Report. ORE 2013: 1-18 - [c32]Pierre Chaussecourte, Birte Glimm, Ian Horrocks, Boris Motik, Laurent Pierre:
The Energy Management Adviser at EDF. ISWC (2) 2013: 49-64 - [c31]Alexey Cheptsov, Axel Tenschert, Paul Schmidt, Birte Glimm, Mauricio Matthesius, Thorsten Liebig:
Introducing a New Scalable Data-as-a-Service Cloud Platform for Enriching Traditional Text Mining Techniques by Integrating Ontology Modelling and Natural Language Processing. WISE Workshops 2013: 62-74 - [e6]Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch:
Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013. CEUR Workshop Proceedings 1014, CEUR-WS.org 2013 [contents] - [e5]Samantha Bail, Birte Glimm, Rafael S. Gonçalves, Ernesto Jiménez-Ruiz, Yevgeny Kazakov, Nicolas Matentzoglu, Bijan Parsia:
Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013. CEUR Workshop Proceedings 1015, CEUR-WS.org 2013 [contents] - 2012
- [j4]Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm:
Interactive ontology revision. J. Web Semant. 12: 118-130 (2012) - [j3]Birte Glimm, Ian Horrocks, Boris Motik, Robert D. C. Shearer, Giorgos Stoilos:
A novel approach to ontology classification. J. Web Semant. 14: 84-101 (2012) - [c30]Andreas Steigmiller, Thorsten Liebig, Birte Glimm:
Extended Caching, Backjumping and Merging for Expressive Description Logics. IJCAR 2012: 514-529 - [c29]Ilianna Kollia, Birte Glimm:
Cost Based Query Ordering over OWL Ontologies. Description Logics 2012 - [c28]Andreas Steigmiller, Thorsten Liebig, Birte Glimm:
Extended Caching and Backjumping for Expressive Description Logics. Description Logics 2012 - [c27]Ilianna Kollia, Birte Glimm:
Cost Based Query Ordering over OWL Ontologies. ISWC (1) 2012: 231-246 - [c26]Nadeschda Nikitina, Birte Glimm:
Hitting the Sweetspot: Economic Rewriting of Knowledge Bases. ISWC (1) 2012: 394-409 - [c25]Birte Glimm, Aidan Hogan, Markus Krötzsch, Axel Polleres:
OWL: Yet to arrive on the Web of Data? LDOW 2012 - [e4]Birte Glimm, Antonio Krüger:
KI 2012: Advances in Artificial Intelligence - 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012. Proceedings. Lecture Notes in Computer Science 7526, Springer 2012, ISBN 978-3-642-33346-0 [contents] - [e3]Birte Glimm, David Huynh:
Proceedings of the ISWC 2012 Posters & Demonstrations Track, Boston, USA, November 11-15, 2012. CEUR Workshop Proceedings 914, CEUR-WS.org 2012 [contents] - [i2]Birte Glimm, Aidan Hogan, Markus Krötzsch, Axel Polleres:
OWL: Yet to arrive on the Web of Data? CoRR abs/1202.0984 (2012) - 2011
- [c24]Birte Glimm, Yevgeny Kazakov, Carsten Lutz:
Status QIO: An Update. Description Logics 2011 - [c23]Ilianna Kollia, Birte Glimm, Ian Horrocks:
Query Answering over SROIQ Knowledge Bases with SPARQL. Description Logics 2011 - [c22]Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm:
Reasoning-Supported Interactive Revision of Knowledge Bases. Description Logics 2011 - [c21]Ilianna Kollia, Birte Glimm, Ian Horrocks:
SPARQL Query Answering over OWL Ontologies. ESWC (1) 2011: 382-396 - [c20]Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm:
Reasoning-Supported Interactive Revision of Knowledge Bases. IJCAI 2011: 1027-1032 - [c19]Ilianna Kollia, Birte Glimm, Ian Horrocks:
Answering Queries over OWL Ontologies with SPARQL. OWLED 2011 - [c18]Birte Glimm:
Using SPARQL with RDFS and OWL Entailment. Reasoning Web 2011: 137-201 - [c17]Nadeschda Nikitina, Birte Glimm, Sebastian Rudolph:
Wheat and Chaff - Practically Feasible Interactive Ontology Revision. ISWC (1) 2011: 487-503 - [i1]Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ. CoRR abs/1111.0049 (2011) - 2010
- [j2]Sebastian Rudolph, Birte Glimm:
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend! J. Artif. Intell. Res. 39: 429-481 (2010) - [c16]Birte Glimm, Ian Horrocks, Boris Motik:
Optimized Description Logic Reasoning via Core Blocking. IJCAR 2010: 457-471 - [c15]Birte Glimm, Ian Horrocks, Boris Motik:
Optimized DL Reasoning via Core Blocking. Description Logics 2010 - [c14]Birte Glimm, Sebastian Rudolph:
Status QIO: Conjunctive Query Entailment Is Decidable. KR 2010 - [c13]Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos:
Optimising Ontology Classification. ISWC (1) 2010: 225-240 - [c12]Birte Glimm, Markus Krötzsch:
SPARQL beyond Subgraph Matching. ISWC (1) 2010: 241-256 - [c11]Birte Glimm, Sebastian Rudolph, Johanna Völker:
Integrated Metamodeling and Diagnosis in OWL 2. ISWC (1) 2010: 257-272 - [e2]Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm:
The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I. Lecture Notes in Computer Science 6496, Springer 2010, ISBN 978-3-642-17745-3 [contents] - [e1]Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm:
The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II. Lecture Notes in Computer Science 6497, Springer 2010, ISBN 978-3-642-17748-4 [contents]
2000 – 2009
- 2009
- [c10]Birte Glimm, Sebastian Rudolph:
Conjunctive Query Entailment: Decidable in Spite of O, I, and Q. Description Logics 2009 - [c9]Birte Glimm, Matthew Horridge, Bijan Parsia, Peter F. Patel-Schneider:
A Syntax for Rules in OWL 2. OWLED 2009 - 2008
- [j1]Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ. J. Artif. Intell. Res. 31: 157-204 (2008) - [c8]Birte Glimm, Ian Horrocks, Ulrike Sattler:
Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata. Description Logics 2008 - [c7]Birte Glimm, Ian Horrocks, Ulrike Sattler:
Unions of Conjunctive Queries in SHOQ. KR 2008: 252-262 - [c6]Birte Glimm, Yevgeny Kazakov:
Role Conjunctions in Expressive Description Logics. LPAR 2008: 391-405 - 2007
- [c5]Birte Glimm, Ian Horrocks, Ulrike Sattler:
Conjunctive Query Entailment for SHOQ. Description Logics 2007 - [c4]Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ. IJCAI 2007: 399-404 - 2006
- [c3]