Следене
Ian Horrocks
Ian Horrocks
Professor of Computer Science, University of Oxford
Потвърден имейл адрес: cs.ox.ac.uk - Начална страница
Заглавие
Позовавания
Позовавания
Година
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
42752004
OWL web ontology language reference
S Bechhofer, F Van Harmelen, J Hendler, I Horrocks, DL McGuinness, ...
W3C recommendation, 2004
2716*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
23302003
FaCT++ description logic reasoner: System description
D Tsarkov, I Horrocks
International Joint Conference on Automated Reasoning, 292-297, 2006
16122006
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
14192003
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
13722003
The even more irresistible SROIQ
I Horrocks, O Kutz, U Sattler
10th International Conference on Principles of Knowledge Representation and …, 2006
13402006
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
13172001
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
13032000
OWL web ontology language reference
M Dean, AT Schreiber, S Bechofer, FAH van Harmelen, J Hendler, ...
World Wide Web Consortium, 2004
12942004
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
1253*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
11212009
Description logics
F Baader, I Horrocks, U Sattler
Handbook on Ontologies, 21-43, 2009
1026*2009
Description logics as ontology languages for the semantic web
F Baader, I Horrocks, U Sattler
Mechanizing mathematical reasoning, 228-248, 2005
8612005
OWL 2 Web Ontology Language: Profiles
B Motik, B Cuenca Grau, I Horrocks, Z Wu, A Fokoue, C Lutz
W3C Recommendation, 2009
8552009
HermiT: an OWL 2 reasoner
B Glimm, I Horrocks, B Motik, G Stoilos, Z Wang
Journal of Automated Reasoning 53 (3), 245-269, 2014
8462014
Practical reasoning for expressive description logics
I Horrocks, U Sattler, S Tobies
Logic for Programming and Automated Reasoning, 161-180, 1999
8021999
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
7482001
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, ...
743*2002
HermiT: A highly-efficient OWL reasoner
R Shearer, B Motik, I Horrocks
Proceedings of the 5th International Workshop on OWL: Experiences and …, 2008
7422008
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20