Birte Glimm
Artificial Intelligence · 2007–2014
A researcher in the Science corpus: 2 papers; trusts 9 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 21 citations into it
- Information Systems — 11 citations into it
- Computer Networks and Communications — 8 citations into it
Whom Birte Glimm trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Ian Horrocks
- U. Sattler
- Boris Motik
- Dmitry Tsarkov
- Stephan Tobies
- Evren Sirin
- Peter F. Patel-Schneider
- Diego Calvanese
- Bernardo Cuenca Grau
- Matthew Horridge
Who trusts Birte Glimm overall
Papers from Birte Glimm's perspective
Ordered by how strongly the researchers Birte Glimm trusts endorse each paper. Same corpus, a different order for every researcher.
- Reducing OWL Entailment to Description Logic Satisfability (Description Logics)
- A Tableaux Decision Procedure for SHOIQ (International Joint Conference on Artificial Intelligence)
- Complexity results and practical algorithms for logics in knowledge representation (arXiv.org)
- Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family (Journal of automated reasoning)
- The Even More Irresistible SROIQ (International Conference on Principles of Knowledge Representation and Reasoning)
- Query Answering for OWL-DL with Rules (International Workshop on the Semantic Web)
- From SHIQ and RDF to OWL: the making of a Web Ontology Language (Journal of Web Semantics)
- The description logic handbook: theory
- Pellet: A practical OWL-DL reasoner (Journal of Web Semantics)
- Ontology Reasoning in the SHOQ(D) Description Logic (International Joint Conference on Artificial Intelligence)
Their papers
- HermiT: An OWL 2 Reasoner (2014) — 727 citations
- Conjunctive Query Answering for the Description Logic SHIQ (2007) — 310 citations