Uli Sattler

Citado por

	Todos	Desde 2019
Citações	23342	4927
Índice h	67	32
Índice i10	174	85

1600

800

400

1200

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202491 146 213 242 302 390 625 827 1211 1504 1391 1440 1406 1479 1359 1325 1135 1063 862 928 915 920 744 841 785 718

Acesso público

Ver tudo

8 artigos

0 artigos

disponível

não disponível

Com base em autorizações de financiamento

Coautores

Ian HorrocksProfessor of Computer Science, University of OxfordEmail confirmado em cs.ox.ac.uk
Bijan ParsiaProfessor of Computer Science, University of ManchesterEmail confirmado em manchester.ac.uk
Boris MotikProfessor of Computer Science, Oxford UniversityEmail confirmado em cs.ox.ac.uk
Franz BaaderProfessor of Theoretical Computer Science, TU Dresden, and SCADS.AI Dresden/LeipzigEmail confirmado em tu-dresden.de
Carsten LutzProfessor of Computer Science, University of LeipzigEmail confirmado em informatik.uni-leipzig.de
Bernardo Cuenca GrauProfessor of Computer Science, University of Oxford.Email confirmado em cs.ox.ac.uk
Stephan TobiesSynopsysEmail confirmado em tobies.info
Matthew HorridgeStanford UniversityEmail confirmado em stanford.edu
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyEmail confirmado em uni-bremen.de
Robert StevensProfessor of Computer Science, Department of Computer Science, university of manchesterEmail confirmado em manchester.ac.uk
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolEmail confirmado em liverpool.ac.uk
Yevgeny KazakovUniversity of UlmEmail confirmado em uni-ulm.de
Frank WolterDepartment of Computer Science, University of LiverpoolEmail confirmado em liverpool.ac.uk
Tahani AlsubaitAssociate Professor of Computer Science (AI), Umm Al-Qura UniversityEmail confirmado em uqu.edu.sa
Birte GlimmProf. of Computer Science, University of UlmEmail confirmado em uni-ulm.de
Nicolas MatentzogluSemanticly (Independent Consultant)Email confirmado em semanticly.ai
Oliver KutzFree University of Bozen-BolzanoEmail confirmado em unibz.it
Chiara Del VescovoSenior Data Manager at BBCEmail confirmado em bbc.co.uk
Rafael S GonçalvesStanford UniversityEmail confirmado em stanford.edu
Phillip LordLecturer in Computing Science, Newcastle UniversityEmail confirmado em newcastle.ac.uk

Seguir

Uli Sattler

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

Email confirmado em cs.man.ac.uk - Página inicial

Description Logics Ontology Engineering Automated Reasoning


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
The Even More Irresistible SROIQ. I Horrocks, O Kutz, U Sattler Kr 6, 57-67, 2006	1331	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	1281	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	1069	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	876	2005
Practical reasoning for expressive description logics I Horrocks, U Sattler, S Tobies International Conference on Logic for Programming Artificial Intelligence …, 1999	804	1999
Introduction to description logic F Baader, I Horrocks, C Lutz, U Sattler Cambridge University Press, 2017	765	2017
An overview of tableau algorithms for description logics F Baader, U Sattler Studia Logica 69, 5-40, 2001	677	2001
Query answering for OWL-DL with rules B Motik, U Sattler, R Studer Journal of Web Semantics 3 (1), 41-60, 2005	656	2005
A tableau decision procedure for I Horrocks, U Sattler Journal of automated reasoning 39 (3), 249-276, 2007	641	2007
Modular reuse of ontologies: Theory and practice BC Grau, I Horrocks, Y Kazakov, U Sattler Journal of Artificial Intelligence Research 31, 273-318, 2008	557	2008
Description logics F Baader, I Horrocks, U Sattler Foundations of Artificial Intelligence 3, 135-179, 2008	535	2008
Ontology reasoning in the SHOQ (D) description logic I Horrocks, U Sattler IJCAI 1 (3), 199-204, 2001	534	2001
Description logics F Baader, I Horrocks, U Sattler Handbook on ontologies, 3-28, 2004	513	2004
A systematic review of automatic question generation for educational purposes G Kurdi, J Leo, B Parsia, U Sattler, S Al-Emari International Journal of Artificial Intelligence in Education 30, 121-204, 2020	507	2020
Practical reasoning for very expressive description logics I Horrocks, U Sattler, S Tobies Logic Journal of IGPL 8 (3), 239-263, 2000	498	2000
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	434*	1999
Reasoning with individuals for the description logic I Horrocks, U Sattler, S Tobies International Conference on Automated Deduction, 482-496, 2000	418	2000
Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. U Hustadt, B Motik, U Sattler KR 4, 152-162, 2004	369	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	361	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	336	2008

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores