The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Birte Glimm" ( http://dblp.L3S.de/Authors/Birte_Glimm )

URL (Homepage):  http://www.uni-ulm.de/en/in/ki/staff/juniorprof-dr-birte-glimm.html  Author page on DBLP  Author page in RDF  Community of Birte Glimm in ASPL-2

Publication years (Num. hits)
2005-2010 (20) 2011-2012 (20) 2013-2014 (22) 2015-2016 (20) 2017-2018 (15) 2019 (3)
Publication types (Num. hits)
article(21) incollection(1) inproceedings(68) proceedings(10)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 101 publication records. Showing 100 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Gregor 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. Search on Bibsonomy AI Commun. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yogita Suryawanshi, Haonan Qiu, Adel Ayara, Birte Glimm An Ontological Model for Map Data in Automotive Systems. Search on Bibsonomy AIKE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andreas Steigmiller, Birte Glimm Absorption-Based Query Entailment Checking for Expressive Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
1Zhangquan Zhou, Guilin Qi, Birte Glimm Parallel tractability of ontology materialization: Technique and practice. Search on Bibsonomy J. Web Semant. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tanja Perleth, Marvin R. G. Schiller, Birte Glimm Applying a Model of Text Comprehension to Automated Verbalizations of EL Derivations. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Gregor 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. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Markus Brenner, Birte Glimm Embracing Change by Abstraction Materialization Maintenance for Large ABoxes. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves, Birte Glimm, Andreas Steigmiller The OWL Reasoner Evaluation (ORE) 2015 Competition Report. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Klaus Ulmschneider, Birte Glimm Knowledge Graph: Semantic Representation and Assessment of Innovation Ecosystems. Search on Bibsonomy KESW The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Christian Mathieu, Matthias Klusch, Birte Glimm QSMat: Query-Based Materialization for Efficient RDF Stream Processing. Search on Bibsonomy KESW The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran Ontology Materialization by Abstraction Refinement in Horn SHOIF. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Giovambattista Ianni, Domenico Lembo, Leopoldo E. Bertossi, Wolfgang Faber 0001, Birte Glimm, Georg Gottlob, Steffen Staab (eds.) Reasoning Web. Semantic Interoperability on the Web - 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures Search on Bibsonomy Reasoning Web The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marvin R. G. Schiller, Florian Schiller, Birte Glimm Testing the Adequacy of Automated Explanations of EL Subsumptions. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Alessandro Artale, Birte Glimm, Roman Kontchakov (eds.) Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Markus Brenner, Birte Glimm Incremental Materialization Update via Abstraction Refinement. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Marvin 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. Search on Bibsonomy ICCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gregor Behnke, Florian Nielsen, Marvin R. G. Schiller, Pascal Bercher, Matthias Kraus, Wolfgang Minker, Birte Glimm, Susanne Biundo Sloth - The interactive workout planner. Search on Bibsonomy ICCT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gregor 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. Search on Bibsonomy Companion Technology The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Birte Glimm Interview with Prof. Dr. Ian Horrocks, Professor at the Department of Computer Science of the University of Oxford. Search on Bibsonomy KI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Birte Glimm, Heiner Stuckenschmidt 15 Years of Semantic Web: An Incomplete Survey. Search on Bibsonomy KI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Birte Glimm, Heiner Stuckenschmidt Special Issue on Semantic Web. Search on Bibsonomy KI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves, Birte Glimm, Andreas Steigmiller The OWL Reasoner Evaluation (ORE) 2015 Resources. Search on Bibsonomy International Semantic Web Conference (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Klaus Ulmschneider, Birte Glimm Semantic exploitation of implicit patent information. Search on Bibsonomy SSCI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran Ontology Materialization by Abstraction Refinement in Horn SHOIF. Search on Bibsonomy Description Logics The full citation details ... 2016 DBLP  BibTeX  RDF
1Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran Scalable Reasoning by Abstraction Beyond DL-Lite. Search on Bibsonomy RR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zhangquan Zhou, Guilin Qi, Birte Glimm Exploring Parallel Tractability of Ontology Materialization. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andreas Steigmiller, Birte Glimm Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Klaus Ulmschneider, Bernd Michelberger, Birte Glimm, Bela Mutschler, Manfred Reichert On maintaining semantic networks: challenges, algorithms, use cases. Search on Bibsonomy IJWIS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michel Dumontier, Birte Glimm, Rafael S. Gonçalves, Matthew Horridge, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Giorgos B. Stamou, Giorgos Stoilos (eds.) 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. Search on Bibsonomy ORE The full citation details ... 2015 DBLP  BibTeX  RDF
1Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou Lower and Upper Bounds for SPARQL Queries over OWL Ontologies. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves, Birte Glimm, Andreas Steigmiller The OWL Reasoner Evaluation (ORE) 2015 Competition Report. Search on Bibsonomy SSWS@ISWC The full citation details ... 2015 DBLP  BibTeX  RDF
1Michael Kotzyba, Denis K. Ponomaryov, Thomas Low, Marcus Thiel, Birte Glimm, Andreas Nürnberger Ontology-supported Exploratory Search for Physical Training Exercises. Search on Bibsonomy International Semantic Web Conference (Posters & Demos) The full citation details ... 2015 DBLP  BibTeX  RDF
1Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou Lower and Upper Bounds for SPARQL Queries over OWL Ontologies. Search on Bibsonomy Description Logics The full citation details ... 2015 DBLP  BibTeX  RDF
1Andreas Steigmiller, Birte Glimm, Thorsten Liebig Completion Graph Caching for Expressive Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2015 DBLP  BibTeX  RDF
1Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Denis K. Ponomaryov, Marvin R. G. Schiller Integrating Ontologies and Planning for Cognitive Systems. Search on Bibsonomy Description Logics The full citation details ... 2015 DBLP  BibTeX  RDF
1Gregor 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. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Markus Brenner, Birte Glimm Breaking the Black Box - Using Background Knowledge for Efficient Stream Reasoning (Poster). Search on Bibsonomy ISCT The full citation details ... 2015 DBLP  BibTeX  RDF
1Gregor 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. Search on Bibsonomy ISCT The full citation details ... 2015 DBLP  BibTeX  RDF
1Sebastian Rudolph, Birte Glimm Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend! Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Ilianna Kollia, Birte Glimm Optimizing SPARQL Query Answering over OWL Ontologies. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Andreas Steigmiller, Thorsten Liebig, Birte Glimm Konclude: System description. Search on Bibsonomy J. Web Semant. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos, Zhe Wang 0001 HermiT: An OWL 2 Reasoner. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Andreas Steigmiller, Birte Glimm, Thorsten Liebig Reasoning with Nominal Schemas through Absorption. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Samantha Bail, Birte Glimm, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller (eds.) 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. Search on Bibsonomy ORE The full citation details ... 2014 DBLP  BibTeX  RDF
1Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, Vincent Vialard Abstraction Refinement for Ontology Materialization. Search on Bibsonomy International Semantic Web Conference (2) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bernd Michelberger, Klaus Ulmschneider, Birte Glimm, Bela Mutschler, Manfred Reichert Maintaining Semantic Networks: Challenges and Algorithms. Search on Bibsonomy iiWAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Andreas Steigmiller, Birte Glimm, Thorsten Liebig Optimised Absorption for Expressive Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
1Birte Glimm, Yevgeny Kazakov, Thorsten Liebig, Trung-Kien Tran, Vincent Vialard Abstraction Refinement for Ontology Materialization. Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
1Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou OWL Query Answering Based on Query Extension. Search on Bibsonomy OWLED The full citation details ... 2014 DBLP  BibTeX  RDF
1Andreas Steigmiller, Birte Glimm, Thorsten Liebig Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures. Search on Bibsonomy IJCAR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ilianna Kollia, Birte Glimm Optimizing SPARQL Query Answering over OWL Ontologies. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rafael 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. Search on Bibsonomy ORE The full citation details ... 2013 DBLP  BibTeX  RDF
1Samantha Bail, Birte Glimm, Rafael S. Gonçalves, Ernesto Jiménez-Ruiz, Yevgeny Kazakov, Nicolas Matentzoglu, Bijan Parsia (eds.) Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013 Search on Bibsonomy ORE The full citation details ... 2013 DBLP  BibTeX  RDF
1Alexey 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. Search on Bibsonomy WISE Workshops The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pierre Chaussecourte, Birte Glimm, Ian Horrocks, Boris Motik, Laurent Pierre The Energy Management Adviser at EDF. Search on Bibsonomy International Semantic Web Conference (2) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Andreas Steigmiller, Birte Glimm, Thorsten Liebig Extending Absorption to Nominal Schemas. Search on Bibsonomy Description Logics The full citation details ... 2013 DBLP  BibTeX  RDF
1Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch (eds.) Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013 Search on Bibsonomy Description Logics The full citation details ... 2013 DBLP  BibTeX  RDF
1Marvin R. G. Schiller, Birte Glimm Towards Explicative Inference for OWL. Search on Bibsonomy Description Logics The full citation details ... 2013 DBLP  BibTeX  RDF
1Birte Glimm, Yevgeny Kazakov, Ilianna Kollia, Giorgos B. Stamou Using the TBox to Optimise SPARQL Queries. Search on Bibsonomy Description Logics The full citation details ... 2013 DBLP  BibTeX  RDF
1Andreas Steigmiller, Birte Glimm, Thorsten Liebig Nominal Schema Absorption. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Birte Glimm, Aidan Hogan, Markus Krötzsch, Axel Polleres OWL: Yet to arrive on the Web of Data? Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm Interactive ontology revision. Search on Bibsonomy J. Web Semant. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Birte Glimm, Ian Horrocks, Boris Motik, Rob Shearer, Giorgos Stoilos A novel approach to ontology classification. Search on Bibsonomy J. Web Semant. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Birte Glimm, Aidan Hogan, Markus Krötzsch, Axel Polleres OWL: Yet to arrive on the Web of Data? Search on Bibsonomy LDOW The full citation details ... 2012 DBLP  BibTeX  RDF
1Nadeschda Nikitina, Birte Glimm Hitting the Sweetspot: Economic Rewriting of Knowledge Bases. Search on Bibsonomy International Semantic Web Conference (1) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ilianna Kollia, Birte Glimm Cost Based Query Ordering over OWL Ontologies. Search on Bibsonomy International Semantic Web Conference (1) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Birte Glimm, David Huynh (eds.) Proceedings of the ISWC 2012 Posters & Demonstrations Track, Boston, USA, November 11-15, 2012 Search on Bibsonomy International Semantic Web Conference (Posters & Demos) The full citation details ... 2012 DBLP  BibTeX  RDF
1Birte Glimm, Antonio Krüger (eds.) KI 2012: Advances in Artificial Intelligence - 35th Annual German Conference on AI, Saarbrücken, Germany, September 24-27, 2012. Proceedings Search on Bibsonomy KI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ilianna Kollia, Birte Glimm Cost Based Query Ordering over OWL Ontologies. Search on Bibsonomy Description Logics The full citation details ... 2012 DBLP  BibTeX  RDF
1Andreas Steigmiller, Thorsten Liebig, Birte Glimm Extended Caching and Backjumping for Expressive Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2012 DBLP  BibTeX  RDF
1Andreas Steigmiller, Thorsten Liebig, Birte Glimm Extended Caching, Backjumping and Merging for Expressive Description Logics. Search on Bibsonomy IJCAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler Conjunctive Query Answering for the Description Logic SHIQ Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Ilianna Kollia, Birte Glimm, Ian Horrocks SPARQL Query Answering over OWL Ontologies. Search on Bibsonomy ESWC (1) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nadeschda Nikitina, Birte Glimm, Sebastian Rudolph Wheat and Chaff - Practically Feasible Interactive Ontology Revision. Search on Bibsonomy International Semantic Web Conference (1) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Birte Glimm Using SPARQL with RDFS and OWL Entailment. Search on Bibsonomy Reasoning Web The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ilianna Kollia, Birte Glimm, Ian Horrocks Query Answering over SROIQ Knowledge Bases with SPARQL. Search on Bibsonomy Description Logics The full citation details ... 2011 DBLP  BibTeX  RDF
1Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm Reasoning-Supported Interactive Revision of Knowledge Bases. Search on Bibsonomy Description Logics The full citation details ... 2011 DBLP  BibTeX  RDF
1Birte Glimm, Yevgeny Kazakov, Carsten Lutz Status QIO: An Update. Search on Bibsonomy Description Logics The full citation details ... 2011 DBLP  BibTeX  RDF
1Ilianna Kollia, Birte Glimm, Ian Horrocks Answering Queries over OWL Ontologies with SPARQL. Search on Bibsonomy OWLED The full citation details ... 2011 DBLP  BibTeX  RDF
1Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm Reasoning-Supported Interactive Revision of Knowledge Bases. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sebastian Rudolph, Birte Glimm Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend! Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Birte Glimm, Sebastian Rudolph, Johanna Völker Integrated Metamodeling and Diagnosis in OWL 2. Search on Bibsonomy International Semantic Web Conference (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang 0007, Jeff Z. Pan, Ian Horrocks, Birte Glimm (eds.) The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I Search on Bibsonomy International Semantic Web Conference (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang 0007, Jeff Z. Pan, Ian Horrocks, Birte Glimm (eds.) The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II Search on Bibsonomy International Semantic Web Conference (2) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos Optimising Ontology Classification. Search on Bibsonomy International Semantic Web Conference (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Birte Glimm, Markus Krötzsch SPARQL beyond Subgraph Matching. Search on Bibsonomy International Semantic Web Conference (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Birte Glimm, Sebastian Rudolph Status QIO: Conjunctive Query Entailment Is Decidable. Search on Bibsonomy KR The full citation details ... 2010 DBLP  BibTeX  RDF
1Birte Glimm, Ian Horrocks, Boris Motik Optimized DL Reasoning via Core Blocking. Search on Bibsonomy Description Logics The full citation details ... 2010 DBLP  BibTeX  RDF
1Birte Glimm, Ian Horrocks, Boris Motik Optimized Description Logic Reasoning via Core Blocking. Search on Bibsonomy IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Birte Glimm, Matthew Horridge, Bijan Parsia, Peter F. Patel-Schneider A Syntax for Rules in OWL 2. Search on Bibsonomy OWLED The full citation details ... 2009 DBLP  BibTeX  RDF
1Birte Glimm, Sebastian Rudolph Conjunctive Query Entailment: Decidable in Spite of O, I, and Q. Search on Bibsonomy Description Logics The full citation details ... 2009 DBLP  BibTeX  RDF
1Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler Conjunctive Query Answering for the Description Logic SHIQ. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Birte Glimm, Yevgeny Kazakov Role Conjunctions in Expressive Description Logics. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Birte Glimm, Ian Horrocks, Ulrike Sattler Unions of Conjunctive Queries in SHOQ. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
1Birte Glimm, Ian Horrocks, Ulrike Sattler Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata. Search on Bibsonomy Description Logics The full citation details ... 2008 DBLP  BibTeX  RDF
1Ian Horrocks, Birte Glimm, Ulrike Sattler Hybrid Logics and Ontology Languages. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Birte Glimm, Ian Horrocks, Ulrike Sattler Conjunctive Query Entailment for SHOQ. Search on Bibsonomy Description Logics The full citation details ... 2007 DBLP  BibTeX  RDF
1Birte Glimm, Ian Horrocks, Carsten Lutz, Ulrike Sattler Conjunctive Query Answering for the Description Logic SHIQ. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Birte Glimm, Ian Horrocks, Ulrike Sattler Conjunctive Query Answering for Description Logics with Transitive Roles. Search on Bibsonomy Description Logics The full citation details ... 2006 DBLP  BibTeX  RDF
1Birte Glimm, Ian Horrocks Handling Cyclic Conjunctive Queries. Search on Bibsonomy Description Logics The full citation details ... 2005 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 100 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license