Horrocks, I.

KSL-03-14

Fikes, R.; Hayes, P.; & Horrocks, I. OWL-QL - A Language for Deductive Query Answering on the Semantic Web. Knowledge Systems Laboratory, Stanford University, Stanford, CA, 2003.

KSL-02-05

Fikes, R.; Hayes, P.; & Horrocks, I. DQL - A Query Language for the Semantic Web. Knowledge Systems Laboratory, 2002.

KSL-02-11

Horrocks, I.; McGuinness, D.L.; & Welty, C. Digital Libraries and Web-Based Information Systems. In Franz Baader, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press., 2002, 2002.

KSL-01-06

McGuinness, D. L.; Fensel, D.; Horrocks, I.; Harmelen, F. v.; & Patel-Schneider, P. F. OIL: An Ontology Infrastructure for the Semantic Web. IEEE Intelligent Systems, Vol. 16, No. 2, March/April, 2001.

KSL-01-11

Fensel, D.; Horrocks, I.; Harmelen, F. v.; McGuinness, D.L.; & Patel-Schneider., P. F. OIL: An Ontology Infrastructure for the Semantic Web. In IEEE Intelligent Systems, Vol. 16, No. 2, March/April 2001, 2001.

KSL-99-14

Franconi, E.; Giacomo, G. d.; Horrocks, I.; McGuinness, D.L.; Nutt, W.; Patel-Schneider, P.; & Welty, C. Report on the 1998 International Workshop on Description Logics DL'98. Journal of Logic and Computation - Special Issue on Description Logics, Volume 9, number 3, Linköping, Sweden, June, 1999.

KSL-99-15

Borgida, A.; Franconi, E.; Horrocks, I.; McGuinness, D.L.; & Patel-Schneider, P. Explaining ALC subsumption. Proceedings of the International Workshop on Description Logics - DL-99, Linköping, Sweden, July, 1999.