Uli Sattler

Citata da

	Tutte	Dal 2018
Citazioni	21883	4393
Indice H	65	30
i10-index	166	84

1600

800

400

1200

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202395 140 210 231 297 392 616 824 1205 1512 1377 1439 1430 1490 1366 1315 1117 1087 877 909 907 890 744 822 118

Accesso pubblico

Visualizza tutto

9 articoli

0 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Ian HorrocksProfessor of Computer Science, University of OxfordEmail verificata su cs.ox.ac.uk
Bijan ParsiaProfessor of Computer Science, University of ManchesterEmail verificata su manchester.ac.uk
Boris MotikProfessor of Computer Science, Oxford UniversityEmail verificata su cs.ox.ac.uk
Franz BaaderProfessor of Theoretical Computer Science, TU DresdenEmail verificata su tu-dresden.de
Carsten LutzProfessor of Computer Science, University of LeipzigEmail verificata su informatik.uni-leipzig.de
Bernardo Cuenca GrauProfessor of Computer Science, University of Oxford.Email verificata su cs.ox.ac.uk
Stephan TobiesSynopsysEmail verificata su tobies.info
Matthew HorridgeStanford UniversityEmail verificata su stanford.edu
Peter F. Patel-SchneiderPARCEmail verificata su parc.com
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyEmail verificata su uni-bremen.de
Robert StevensProfessor of Computer Science, Department of Computer Science, university of manchesterEmail verificata su manchester.ac.uk
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolEmail verificata su liverpool.ac.uk
Yevgeny KazakovUniversity of UlmEmail verificata su uni-ulm.de
Frank WolterDepartment of Computer Science, University of LiverpoolEmail verificata su liverpool.ac.uk
Birte GlimmProf. of Computer Science, University of UlmEmail verificata su uni-ulm.de
Tahani AlsubaitAssociate Professor of Computer Science (AI), Umm Al-Qura UniversityEmail verificata su uqu.edu.sa
Oliver KutzFree University of Bozen-BolzanoEmail verificata su unibz.it
Chiara Del VescovoSenior Data Manager at BBCEmail verificata su bbc.co.uk
Nicolas MatentzogluSemanticly LtdEmail verificata su semanticly.ai
Rafael S GonçalvesHarvard UniversityEmail verificata su hms.harvard.edu

Segui

Uli Sattler

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

Email verificata su cs.man.ac.uk - Home page

Description Logics Ontology Engineering Automated Reasoning


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
The Even More Irresistible SROIQ. I Horrocks, O Kutz, U Sattler Kr 6, 57-67, 2006	1249	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	1191	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	1107	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	842	2005
Practical reasoning for expressive description logics I Horrocks, U Sattler, S Tobies LPAR 99, 161-180, 1999	803	1999
An overview of tableau algorithms for description logics F Baader, U Sattler Studia Logica 69, 5-40, 2001	672	2001
Query answering for OWL-DL with rules B Motik, U Sattler, R Studer Journal of Web Semantics 3 (1), 41-60, 2005	635	2005
A tableau decision procedure for I Horrocks, U Sattler Journal of automated reasoning 39 (3), 249-276, 2007	628	2007
Introduction to description logic F Baader, I Horrocks, C Lutz, U Sattler Cambridge University Press, 2017	532	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	529	2008
Ontology reasoning in the SHOQ (D) description logic I Horrocks, U Sattler IJCAI 1 (3), 199-204, 2001	520	2001
Description logics F Baader, I Horrocks, U Sattler Foundations of Artificial Intelligence 3, 135-179, 2008	511	2008
Practical reasoning for very expressive description logics I Horrocks, U Sattler, S Tobies Logic Journal of IGPL 8 (3), 239-263, 2000	495	2000
Description logics F Baader, I Horrocks, U Sattler Handbook on ontologies, 3-28, 2004	480	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	367	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	317	2007

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori