Uli Sattler

Dikutip oleh

	Semua	Sejak 2020
Kutipan	23489	4150
indeks-h	67	28
indeks-i10	174	72

1600

800

400

1200

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202591 146 213 242 306 397 625 818 1198 1501 1386 1471 1401 1478 1360 1325 1138 1067 867 920 913 923 747 843 782 786 66

Akses publik

Lihat semua

8 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

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

Ikuti

Uli Sattler

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

Email yang diverifikasi di cs.man.ac.uk - Beranda

Description Logics Ontology Engineering Automated Reasoning


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
The Even More Irresistible SROIQ. I Horrocks, O Kutz, U Sattler Kr 6, 57-67, 2006	1334	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	1284	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	1079	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	881	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	785	2017
An overview of tableau algorithms for description logics F Baader, U Sattler Studia Logica 69, 5-40, 2001	680	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	642	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	560	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	547	2020
Description logics F Baader, I Horrocks, U Sattler Foundations of Artificial Intelligence 3, 135-179, 2008	538	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	514	2004
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	435*	1999
Reasoning with individuals for the description logic I Horrocks, U Sattler, S Tobies International Conference on Automated Deduction, 482-496, 2000	419	2000
Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. U Hustadt, B Motik, U Sattler KR 4, 152-162, 2004	370	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

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama