Ian Horrocks

Dikutip oleh

	Semua	Sejak 2020
Kutipan	63980	9671
indeks-h	103	44
indeks-i10	432	161

3700

1850

925

2775

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025387 731 1121 1804 2382 3041 3273 3452 3640 3501 3414 3247 3300 3326 3378 2810 2848 2563 2555 2208 2020 1885 1863 1940 1799 154

Akses publik

Lihat semua

108 artikel

1 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Frank van HarmelenDept. of Computer Science, Vrije Universiteit AmsterdamEmail yang diverifikasi di vu.nl
Bernardo Cuenca GrauProfessor of Computer Science, University of Oxford.Email yang diverifikasi di cs.ox.ac.uk
Boris MotikProfessor of Computer Science, Oxford UniversityEmail yang diverifikasi di cs.ox.ac.uk
Uli SattlerProfessor, IMG, Department of Computer Science, University of ManchesterEmail yang diverifikasi di cs.man.ac.uk
Ernesto Jimenez-RuizSenior Lecturer in Artificial Intelligence. City St George's, University of London, UKEmail yang diverifikasi di city.ac.uk
Sean BechhoferProfessor of Computer Science, Dept of Computer Science, University of ManchesterEmail yang diverifikasi di manchester.ac.uk
Evgeny KharlamovBosch Center for Artificial IntelligenceEmail yang diverifikasi di de.bosch.com
Deborah L. McGuinnessTetherless World Chair, Prof. Computer, Cognitive,Web Sciences, Industrial &Systems Engineering,RPIEmail yang diverifikasi di cs.rpi.edu
Michel KleinAssociate Professor, Social AI, Vrije Universiteit AmsterdamEmail yang diverifikasi di cs.vu.nl
Jeff Z. PanProfessor of Knowledge Computing, University of EdinburghEmail yang diverifikasi di ed.ac.uk
Stefan DeckerFraunhofer FIT, RWTH Aachen UniversityEmail yang diverifikasi di informatik.rwth-aachen.de
Birte GlimmProf. of Computer Science, University of UlmEmail yang diverifikasi di uni-ulm.de
Jim HendlerProfessor of computer science, RPIEmail yang diverifikasi di cs.rpi.edu
Martin GieseProf., Dept. of Informatics, University of OsloEmail yang diverifikasi di ifi.uio.no
Giorgos StoilosHuawei TechnologiesEmail yang diverifikasi di huawei.com
Yavor NenovResearch Assistant, University of OxfordEmail yang diverifikasi di cs.ox.ac.uk
Carole GobleProfessor of Computer Science, University of ManchesterEmail yang diverifikasi di manchester.ac.uk
Ahmet SoyluDean/Professor at Kristiania, NorwayEmail yang diverifikasi di kristiania.no
Stephan TobiesSynopsysEmail yang diverifikasi di tobies.info
Carsten LutzProfessor of Computer Science, University of LeipzigEmail yang diverifikasi di informatik.uni-leipzig.de

Ikuti

Ian Horrocks

Professor of Computer Science, University of Oxford

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

Semantic Web Ontologies Knowledge Representation Artificial Intelligence Logic in Computer Science


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
SWRL: A semantic web rule language combining OWL and RuleML I Horrocks, PF Patel-Schneider, H Boley, S Tabet, B Grosof, M Dean W3C Member submission, 2004	4211	2004
OWL web ontology language reference S Bechhofer, F Van Harmelen, J Hendler, I Horrocks, DL McGuinness, ... W3C recommendation, 2004	2750*	2004
From SHIQ and RDF to OWL: The making of a web ontology language I Horrocks, PF Patel-Schneider, F Van Harmelen Journal of web semantics 1 (1), 7-26, 2003	2351	2003
FaCT++ description logic reasoner: System description D Tsarkov, I Horrocks International Joint Conference on Automated Reasoning, 292-297, 2006	1652	2006
Description logic programs: Combining logic programs with description logic BN Grosof, I Horrocks, R Volz, S Decker Proceedings of the 12th international conference on World Wide Web, 48-57, 2003	1438	2003
A software framework for matchmaking based on semantic web technology L Li, I Horrocks Proceedings of the 12th international conference on World Wide Web, 331-339, 2003	1378	2003
The even more irresistible SROIQ I Horrocks, O Kutz, U Sattler 10th International Conference on Principles of Knowledge Representation and …, 2006	1360	2006
OIL: An ontology infrastructure for the semantic web D Fensel, F Van Harmelen, I Horrocks, DL McGuinness, ... IEEE intelligent systems 16 (2), 38-45, 2001	1341	2001
The semantic web: The roles of XML and RDF S Decker, S Melnik, F Van Harmelen, D Fensel, M Klein, J Broekstra, ... IEEE Internet computing 4 (5), 63-73, 2000	1332	2000
OWL web ontology language reference M Dean, AT Schreiber, S Bechofer, FAH van Harmelen, J Hendler, ... World Wide Web Consortium, 2004	1301	2004
OWL 2: The next step for OWL B Cuenca Grau, I Horrocks, B Motik, B Parsia, P Patel-Schneider, ... Web Semantics: Science, Services and Agents on the World Wide Web 6 (4), 309-322, 2008	1286*	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, 2009	1075	2009
Description logics F Baader, I Horrocks, U Sattler Handbook on Ontologies, 21-43, 2009	1050*	2009
HermiT: an OWL 2 reasoner B Glimm, I Horrocks, B Motik, G Stoilos, Z Wang Journal of Automated Reasoning 53 (3), 245-269, 2014	930	2014
OWL 2 Web Ontology Language: Profiles B Motik, B Cuenca Grau, I Horrocks, Z Wu, A Fokoue, C Lutz W3C Recommendation, 2009	883	2009
Description logics as ontology languages for the semantic web F Baader, I Horrocks, U Sattler Mechanizing mathematical reasoning, 228-248, 2005	880	2005
Practical reasoning for expressive description logics I Horrocks, U Sattler, S Tobies Logic for Programming and Automated Reasoning, 161-180, 1999	804	1999
Introduction to description logic F Baader, I Horrocks, C Lutz, U Sattler Cambridge University Press, 2017	783	2017
HermiT: A highly-efficient OWL reasoner R Shearer, B Motik, I Horrocks Proceedings of the 5th International Workshop on OWL: Experiences and …, 2008	768	2008
Wonderweb deliverable d17. the wonderweb library of foundational ontologies and the dolce ontology C Masolo, S Borgo, A Gangemi, N Guarino, A Oltramari, R Oltramari, ...	762*	2002

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