Ian Horrocks

Navedeno

	Vse	Od leta 2019
Navedbe	63238	11214
indeks h	102	47
indeks i10	429	179

3700

1850

925

2775

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024386 738 1120 1787 2364 3045 3276 3441 3669 3496 3369 3267 3292 3329 3387 2797 2829 2549 2554 2214 2000 1873 1862 1937 1310

Javni dostop

Prikaži vse

105 člankov

1 članek

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Frank van HarmelenDept. of Computer Science, Vrije Universiteit AmsterdamPreverjeni e-poštni naslov na vu.nl
Bernardo Cuenca GrauProfessor of Computer Science, University of Oxford.Preverjeni e-poštni naslov na cs.ox.ac.uk
Boris MotikProfessor of Computer Science, Oxford UniversityPreverjeni e-poštni naslov na cs.ox.ac.uk
Uli SattlerProfessor, IMG, Department of Computer Science, University of ManchesterPreverjeni e-poštni naslov na cs.man.ac.uk
Ernesto Jimenez-RuizSenior Lecturer in Artificial Intelligence. City St George's, University of London, UKPreverjeni e-poštni naslov na city.ac.uk
Sean BechhoferProfessor of Computer Science, Dept of Computer Science, University of ManchesterPreverjeni e-poštni naslov na manchester.ac.uk
Evgeny KharlamovBosch Center for Artificial IntelligencePreverjeni e-poštni naslov na de.bosch.com
Deborah L. McGuinnessTetherless World Chair, Prof. Computer, Cognitive,Web Sciences, Industrial &Systems Engineering,RPIPreverjeni e-poštni naslov na cs.rpi.edu
Michel KleinAssociate Professor, Social AI, Vrije Universiteit AmsterdamPreverjeni e-poštni naslov na cs.vu.nl
Jeff Z. PanUniversity of EdinburghPreverjeni e-poštni naslov na ed.ac.uk
Stefan DeckerFraunhofer FIT, RWTH Aachen UniversityPreverjeni e-poštni naslov na informatik.rwth-aachen.de
Birte GlimmProf. of Computer Science, University of UlmPreverjeni e-poštni naslov na uni-ulm.de
Jim HendlerProfessor of computer science, RPIPreverjeni e-poštni naslov na cs.rpi.edu
Martin GieseProf., Dept. of Informatics, University of OsloPreverjeni e-poštni naslov na ifi.uio.no
Giorgos StoilosHuawei TechnologiesPreverjeni e-poštni naslov na huawei.com
Yavor NenovResearch Assistant, University of OxfordPreverjeni e-poštni naslov na cs.ox.ac.uk
Carole GobleProfessor of Computer Science, University of ManchesterPreverjeni e-poštni naslov na manchester.ac.uk
Ahmet SoyluDean/Professor at Kristiania, NorwayPreverjeni e-poštni naslov na kristiania.no
Stephan TobiesSynopsysPreverjeni e-poštni naslov na tobies.info
Carsten LutzProfessor of Computer Science, University of LeipzigPreverjeni e-poštni naslov na informatik.uni-leipzig.de

Spremljaj

Ian Horrocks

Professor of Computer Science, University of Oxford

Preverjeni e-poštni naslov na cs.ox.ac.uk - Domača stran

Semantic Web Ontologies Knowledge Representation Artificial Intelligence Logic in Computer Science


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
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	4156	2004
OWL web ontology language reference S Bechhofer, F Van Harmelen, J Hendler, I Horrocks, DL McGuinness, ... W3C recommendation, 2004	2729*	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	2340	2003
FaCT++ description logic reasoner: System description D Tsarkov, I Horrocks International Joint Conference on Automated Reasoning, 292-297, 2006	1633	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	1428	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	1371	2003
The even more irresistible SROIQ I Horrocks, O Kutz, U Sattler 10th International Conference on Principles of Knowledge Representation and …, 2006	1349	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	1333	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	1314	2000
OWL web ontology language reference M Dean, AT Schreiber, S Bechofer, FAH van Harmelen, J Hendler, ... World Wide Web Consortium, 2004	1292	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	1272*	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	1061	2009
Description logics F Baader, I Horrocks, U Sattler Handbook on Ontologies, 21-43, 2009	1041*	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	889	2014
OWL 2 Web Ontology Language: Profiles B Motik, B Cuenca Grau, I Horrocks, Z Wu, A Fokoue, C Lutz W3C Recommendation, 2009	870	2009
Description logics as ontology languages for the semantic web F Baader, I Horrocks, U Sattler Mechanizing mathematical reasoning, 228-248, 2005	869	2005
Practical reasoning for expressive description logics I Horrocks, U Sattler, S Tobies Logic for Programming and Automated Reasoning, 161-180, 1999	803	1999
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, ...	760*	2002
HermiT: A highly-efficient OWL reasoner R Shearer, B Motik, I Horrocks Proceedings of the 5th International Workshop on OWL: Experiences and …, 2008	753	2008
OilEd: a reason-able ontology editor for the semantic web S Bechhofer, I Horrocks, C Goble, R Stevens KI 2001: Advances in Artificial Intelligence, 396-408, 2001	749	2001

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji