Patel-Schneider, P.

KSL-02-10

McGuinness, D. L. & Patel-Schneider, P. From Description Logic Provers to Knowledge Representation 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-99-12

Brachman, R. J.; Borgida, A.; McGuinness, D.L.; & Patel-Schneider, P. F. "Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality. Artificial Intelligence 114 (1-2), October, 1999.

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.

KSL-93-23

Patil, R. S.; Fikes, R. E.; Patel-Schneider, P. F.; Mckay, D.; Finin, T.; Gruber, T. R.; & Neches, R. The DARPA Knowledge Sharing Effort: Progress Report. Morgan Kaufmann, Cambridge, MA, 1992.