![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Birte Glimm
Person information
- affiliation: University of Ulm, Germany
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j18]James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Frank Wolter:
Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282). Dagstuhl Manifestos 10(1): 1-61 (2024) - 2023
- [c90]Moritz Illich, Birte Glimm:
Fully Dynamic Materialization Maintenance. Description Logics 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. RW 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]Birte Glimm, Ian Horrocks, Ulrike Sattler:
Conjunctive Query Answering for Description Logics with Transitive Roles. Description Logics 2006 - [c2]Ian Horrocks
, Birte Glimm, Ulrike Sattler:
Hybrid Logics and Ontology Languages. HyLo@FLoC 2006: 3-14 - 2005
- [c1]Birte Glimm, Ian Horrocks:
Handling Cyclic Conjunctive Queries. Description Logics 2005
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint