Uli Sattler

Cited by

	All	Since 2018
Citations	22042	4528
h-index	65	30
i10-index	167	87

1600

800

400

1200

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202395 140 213 231 297 394 619 822 1207 1501 1377 1442 1430 1501 1364 1317 1119 1092 878 913 912 891 740 851 218

Public access

View all

8 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Ian HorrocksProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Bijan ParsiaProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Boris MotikProfessor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Franz BaaderProfessor of Theoretical Computer Science, TU DresdenVerified email at tu-dresden.de
Carsten LutzProfessor of Computer Science, University of LeipzigVerified email at informatik.uni-leipzig.de
Bernardo Cuenca GrauProfessor of Computer Science, University of Oxford.Verified email at cs.ox.ac.uk
Stephan TobiesSynopsysVerified email at tobies.info
Matthew HorridgeStanford UniversityVerified email at stanford.edu
Peter F. Patel-SchneiderPARCVerified email at parc.com
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyVerified email at uni-bremen.de
Robert StevensProfessor of Computer Science, Department of Computer Science, university of manchesterVerified email at manchester.ac.uk
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Yevgeny KazakovUniversity of UlmVerified email at uni-ulm.de
Frank WolterDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Birte GlimmProf. of Computer Science, University of UlmVerified email at uni-ulm.de
Tahani AlsubaitAssociate Professor of Computer Science (AI), Umm Al-Qura UniversityVerified email at uqu.edu.sa
Oliver KutzFree University of Bozen-BolzanoVerified email at unibz.it
Chiara Del VescovoSenior Data Manager at BBCVerified email at bbc.co.uk
Nicolas MatentzogluSemanticly LtdVerified email at semanticly.ai
Rafael S GonçalvesHarvard UniversityVerified email at hms.harvard.edu

Uli Sattler

Professor, IMG, Department of Computer Science, University of Manchester

Verified email at cs.man.ac.uk - Homepage

Description Logics Ontology Engineering Automated Reasoning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The Even More Irresistible SROIQ. I Horrocks, O Kutz, U Sattler Kr 6, 57-67, 2006	1262	2006
OWL 2: The next step for OWL BC Grau, I Horrocks, B Motik, B Parsia, P Patel-Schneider, U Sattler Journal of Web Semantics 6 (4), 309-322, 2008	1199	2008
OWL 2 web ontology language: Structural specification and functional-style syntax B Motik, PF Patel-Schneider, B Parsia, C Bock, A Fokoue, P Haase, ... W3C recommendation 27 (65), 159, 2009	1117	2009
Description logics as ontology languages for the semantic web F Baader, I Horrocks, U Sattler Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on …, 2005	848	2005
Practical reasoning for expressive description logics I Horrocks, U Sattler, S Tobies LPAR 99, 161-180, 1999	805	1999
An overview of tableau algorithms for description logics F Baader, U Sattler Studia Logica 69, 5-40, 2001	674	2001
Query answering for OWL-DL with rules B Motik, U Sattler, R Studer Journal of Web Semantics 3 (1), 41-60, 2005	639	2005
A tableau decision procedure for I Horrocks, U Sattler Journal of automated reasoning 39 (3), 249-276, 2007	629	2007
Introduction to description logic F Baader, I Horrocks, C Lutz, U Sattler Cambridge University Press, 2017	546	2017
Modular reuse of ontologies: Theory and practice BC Grau, I Horrocks, Y Kazakov, U Sattler Journal of Artificial Intelligence Research 31, 273-318, 2008	536	2008
Ontology reasoning in the SHOQ (D) description logic I Horrocks, U Sattler IJCAI 1 (3), 199-204, 2001	521	2001
Description logics F Baader, I Horrocks, U Sattler Foundations of Artificial Intelligence 3, 135-179, 2008	517	2008
Practical reasoning for very expressive description logics I Horrocks, U Sattler, S Tobies Logic Journal of IGPL 8 (3), 239-263, 2000	497	2000
Description logics F Baader, I Horrocks, U Sattler Handbook on ontologies, 3-28, 2004	482	2004
A description logic with transitive and inverse roles and role hierarchies I Horrocks, U Sattler Journal of logic and computation 9 (3), 385-410, 1999	430*	1999
Reasoning with Individuals for the Description Logic I Horrocks, U Sattler, S Tobies Automated Deduction-CADE-17: 17th International Conference on Automated …, 2000	419	2000
Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. U Hustadt, B Motik, U Sattler KR 4, 152-162, 2004	368	2004
Bridging the gap between OWL and relational databases B Motik, I Horrocks, U Sattler Proceedings of the 16th international conference on World Wide Web, 807-816, 2007	356	2007
Conjunctive query answering for the description logic SHIQ B Glimm, C Lutz, I Horrocks, U Sattler Journal of Artificial Intelligence Research 31, 157-204, 2008	320	2008
Just the right amount: extracting modules from ontologies BC Grau, I Horrocks, Y Kazakov, U Sattler Proceedings of the 16th international conference on World Wide Web, 717-726, 2007	318	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors