Uli Sattler

Citeras av

	Alla	Sedan 2016
Citat	20049	4608
h-index	62	33
i10-index	168	88

1500

750

375

1125

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202193 145 201 232 292 394 618 833 1205 1432 1410 1471 1406 1458 1332 1288 1118 1067 819 881 855 869 109

Offentlig åtkomst

Visa alla

11 artiklar

1 artikel

tillgänglig

inte tillgänglig

Enligt krav från finansiärer

Medförfattare

Ian HorrocksProfessor of Computer Science, University of OxfordVerifierad e-postadress på cs.ox.ac.uk
Bijan ParsiaReader in Computer Science, University of ManchesterVerifierad e-postadress på manchester.ac.uk
Franz BaaderProfessor of Theoretical Computer Science, TU DresdenVerifierad e-postadress på tu-dresden.de
Boris MotikProfessor of Computer Science, Oxford UniversityVerifierad e-postadress på cs.ox.ac.uk
Bernardo Cuenca GrauProfessor of Computer Science and Royal Society University Research Fellow, University of OxfordVerifierad e-postadress på cs.ox.ac.uk
Carsten LutzProfessor of Computer Science, University of BremenVerifierad e-postadress på uni-bremen.de
Stephan TobiesSynopsysVerifierad e-postadress på tobies.info
Matthew HorridgeStanford UniversityVerifierad e-postadress på stanford.edu
Robert StevensProfessor of Computer Science, Department of Computer Science, university of manchesterVerifierad e-postadress på manchester.ac.uk
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyVerifierad e-postadress på uni-bremen.de
Peter F. Patel-SchneiderPARCVerifierad e-postadress på parc.com
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolVerifierad e-postadress på liverpool.ac.uk
Yevgeny KazakovUniversity of UlmVerifierad e-postadress på uni-ulm.de
Frank WolterDepartment of Computer Science, University of LiverpoolVerifierad e-postadress på liverpool.ac.uk
Oliver KutzFree University of Bozen-BolzanoVerifierad e-postadress på unibz.it
Birte GlimmProf. of Computer Science, University of UlmVerifierad e-postadress på uni-ulm.de
Tahani AlsubaitAssociate Professor of Computer Science (AI), Umm Al-Qura UniversityVerifierad e-postadress på uqu.edu.sa
Chiara Del VescovoSenior Data Manager at BBCVerifierad e-postadress på bbc.co.uk
Rafael S GonçalvesStanford UniversityVerifierad e-postadress på stanford.edu
Phillip LordLecturer in Computing Science, Newcastle UniversityVerifierad e-postadress på newcastle.ac.uk

Uli Sattler

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

Verifierad e-postadress på cs.man.ac.uk - Startsida

Description Logics Ontology Engineering Automated Reasoning


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
The Even More Irresistible SROIQ. I Horrocks, O Kutz, U Sattler Kr 6, 57-67, 2006	1148	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	1077	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	987	2009
Description logics as ontology languages for the semantic web F Baader, I Horrocks, U Sattler Mechanizing mathematical reasoning, 228-248, 2005	791	2005
Practical reasoning for expressive description logics I Horrocks, U Sattler, S Tobies International Conference on Logic for Programming Artificial Intelligence …, 1999	778	1999
An overview of tableau algorithms for description logics F Baader, U Sattler Studia Logica 69 (1), 5-40, 2001	645	2001
Query answering for OWL-DL with rules B Motik, U Sattler, R Studer Journal of Web Semantics 3 (1), 41-60, 2005	611	2005
A Tableau Decision Procedure for I Horrocks, U Sattler Journal of automated reasoning 39 (3), 249-276, 2007	606	2007
Ontology reasoning in the SHOQ (D) description logic I Horrocks, U Sattler IJCAI 1 (3), 199-204, 2001	491	2001
Practical reasoning for very expressive description logics I Horrocks, U Sattler, S Tobies Logic Journal of IGPL 8 (3), 239-263, 2000	479	2000
Modular reuse of ontologies: Theory and practice BC Grau, I Horrocks, Y Kazakov, U Sattler Journal of Artificial Intelligence Research 31, 273-318, 2008	472	2008
Description logics F Baader, I Horrocks, U Sattler Foundations of Artificial Intelligence 3, 135-179, 2008	449	2008
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	424*	1999
Description logics F Baader, I Horrocks, U Sattler Handbook on ontologies, 3-28, 2004	416	2004
Reasoning with Individuals for the Description Logic I Horrocks, U Sattler, S Tobies International Conference on Automated Deduction, 482-496, 2000	407	2000
Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. U Hustadt, B Motik, U Sattler KR 4, 152-162, 2004	352	2004
Bridging the gap between OWL and relational databases B Motik, I Horrocks, U Sattler Journal of Web Semantics 7 (2), 74-89, 2009	330	2009
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	306	2008
Introduction to description logic F Baader, I Horrocks, C Lutz, U Sattler Cambridge University Press, 2017	301	2017
Query answering for OWL-DL with rules B Motik, U Sattler, R Studer International Semantic Web Conference, 549-563, 2004	298	2004

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Ladda upp PDF

Följ den här författaren

Citeras av

Medförfattare