U. Sattler

Artificial Intelligence · 2000–2019

A researcher in the Science corpus: 16 papers; trusts 31 researchers and is trusted by 23 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 99 citations into it; #6,508 of 35,345 by trust here, #8,365 by citations
• Information Systems — 44 citations into it; #1,591 of 8,771 by trust here, #2,203 by citations
• Computer Networks and Communications — 39 citations into it; #1,873 of 9,886 by trust here, #2,099 by citations
• Molecular Biology — 15 citations into it; #12,167 of 17,773 by trust here, #15,531 by citations
• Natural Language Processing — 12 citations into it
• Computational Theory and Mathematics — 10 citations into it
• Evaluation & Benchmarks — 6 citations into it
• Knowledge Graphs & Representation — 5 citations into it

Whom U. Sattler trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Ian Horrocks
2. Stephan Tobies
3. Franz Baader
4. Volker Haarslev
5. Dmitry Tsarkov
6. Peter F. Patel-Schneider
7. Sean Bechhofer
8. Frank van Harmelen
9. Ralf Möller
10. Natasha Noy

Who trusts U. Sattler overall

1. Ian Horrocks
2. Boris Motik
3. Birte Glimm
4. Franz Baader
5. Stephan Tobies
6. Peter F. Patel-Schneider
7. Evren Sirin
8. Bernardo Cuenca Grau
9. Rob Shearer
10. Fabian M. Suchanek

Papers from U. Sattler's perspective

Ordered by how strongly the researchers U. Sattler trusts endorse each paper. Same corpus, a different order for every researcher.

1. RACER System Description (International Joint Conference on Automated Reasoning)
2. Ontology Reasoning in the SHOQ(D) Description Logic (International Joint Conference on Artificial Intelligence)
3. Complexity results and practical algorithms for logics in knowledge representation (arXiv.org)
4. Pushing the EL Envelope (International Joint Conference on Artificial Intelligence)
5. Reducing OWL Entailment to Description Logic Satisfability (Description Logics)
6. A Tableaux Decision Procedure for SHOIQ (International Joint Conference on Artificial Intelligence)
7. Resolution Theorem Proving (Handbook of Automated Reasoning)
8. Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family (Journal of automated reasoning)
9. The description logic handbook: theory
10. AL-log: Integrating Datalog and Description Logics (Journal of Intelligence and Information Systems)

Their papers

• Description Logics (2004) — 582 citations
• A Systematic Review of Automatic Question Generation for Educational Purposes (2019) — 552 citations
• An Introduction to Description Logic (2017) — 522 citations
• Modular Reuse of Ontologies: Theory and Practice (2008) — 451 citations
• OWL 2: The next step for OWL (2008) — 981 citations
• Conjunctive Query Answering for the Description Logic SHIQ (2007) — 310 citations
• Bridging the gap between OWL and relational databases (2007) — 301 citations
• The Even More Irresistible SROIQ (2006) — 1,095 citations
• State of the Art Survey (2006) — 73 citations
• Description Logics as Ontology Languages for the Semantic Web (2005) — 528 citations
• A Tableaux Decision Procedure for SHOIQ (2005) — 458 citations
• Query Answering for OWL-DL with Rules (2004) — 792 citations
• Ontology Reasoning in the SHOQ(D) Description Logic (2001) — 405 citations
• An Overview of Tableau Algorithms for Description Logics (2001) — 496 citations
• Reasoning with Individuals for the Description Logic SHIQ (2000) — 334 citations
• Practical Reasoning for Very Expressive Description Logics (2000) — 426 citations