Uli Sattler

Cituota

	Visi	Nuo 2020
Šaltiniai	23585	4174
h-rodyklė	67	27
i10-rodyklė	177	71

1600

800

400

1200

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202590 145 213 248 306 396 620 825 1197 1505 1406 1436 1445 1476 1371 1321 1153 1061 877 926 919 932 745 841 774 792 87

Viešas pasiekiamumas

Peržiūrėti viską

8 straipsniai

0 straipsnių

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Ian HorrocksProfessor of Computer Science, University of OxfordPatvirtintas el. paštas cs.ox.ac.uk
Bijan ParsiaProfessor of Computer Science, University of ManchesterPatvirtintas el. paštas manchester.ac.uk
Boris MotikProfessor of Computer Science, Oxford UniversityPatvirtintas el. paštas cs.ox.ac.uk
Franz BaaderProfessor of Theoretical Computer Science, TU Dresden, and SCADS.AI Dresden/LeipzigPatvirtintas el. paštas tu-dresden.de
Carsten LutzProfessor of Computer Science, University of LeipzigPatvirtintas el. paštas informatik.uni-leipzig.de
Bernardo Cuenca GrauProfessor of Computer Science, University of Oxford.Patvirtintas el. paštas cs.ox.ac.uk
Stephan TobiesSynopsysPatvirtintas el. paštas tobies.info
Matthew HorridgeStanford UniversityPatvirtintas el. paštas stanford.edu
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyPatvirtintas el. paštas uni-bremen.de
Robert StevensProfessor of Computer Science, Department of Computer Science, university of manchesterPatvirtintas el. paštas manchester.ac.uk
Ullrich HustadtReader, Department of Computer Science, University of LiverpoolPatvirtintas el. paštas liverpool.ac.uk
Yevgeny KazakovUniversity of UlmPatvirtintas el. paštas uni-ulm.de
Frank WolterDepartment of Computer Science, University of LiverpoolPatvirtintas el. paštas liverpool.ac.uk
Tahani AlsubaitAssociate Professor of Computer Science (AI), Umm Al-Qura UniversityPatvirtintas el. paštas uqu.edu.sa
Birte GlimmProf. of Computer Science, University of UlmPatvirtintas el. paštas uni-ulm.de
Nicolas MatentzogluSemanticly (Independent Consultant)Patvirtintas el. paštas semanticly.ai
Chiara Del VescovoSenior Data Manager at BBCPatvirtintas el. paštas bbc.co.uk
Oliver KutzFree University of Bozen-BolzanoPatvirtintas el. paštas unibz.it
Rafael S GonçalvesStanford UniversityPatvirtintas el. paštas stanford.edu
Phillip LordLecturer in Computing Science, Newcastle UniversityPatvirtintas el. paštas newcastle.ac.uk

Stebėti

Uli Sattler

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

Patvirtintas el. paštas cs.man.ac.uk - Pagrindinis puslapis

Description Logics Ontology Engineering Automated Reasoning


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
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	1259	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	1163	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	877	2005
Practical reasoning for expressive description logics I Horrocks, U Sattler, S Tobies International Conference on Logic for Programming Artificial Intelligence …, 1999	804	1999
An introduction to description logic F Baader, I Horrocks, C Lutz, U Sattler Cambridge University Press, 2017	786	2017
An overview of tableau algorithms for description logics F Baader, U Sattler Studia Logica 69, 5-40, 2001	682	2001
Query answering for OWL-DL with rules B Motik, U Sattler, R Studer Journal of Web Semantics 3 (1), 41-60, 2005	665	2005
A tableau decision procedure for I Horrocks, U Sattler Journal of automated reasoning 39 (3), 249-276, 2007	630	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	559	2008
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	540	2020
Ontology reasoning in the SHOQ (D) description logic I Horrocks, U Sattler IJCAI 1 (3), 199-204, 2001	533	2001
Description logics F Baader, I Horrocks, U Sattler Foundations of Artificial Intelligence 3, 135-179, 2008	526	2008
Description logics F Baader, I Horrocks, U Sattler Handbook on ontologies, 3-28, 2004	518	2004
Practical reasoning for very expressive description logics I Horrocks, U Sattler, S Tobies Logic Journal of IGPL 8 (3), 239-263, 2000	497	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	439*	1999
Reasoning with individuals for the description logic I Horrocks, U Sattler, S Tobies International Conference on Automated Deduction, 482-496, 2000	420	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	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	343	2008

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai