Selected publications by Peter F. Patel-Schneider

Boris Motik, Peter F. Patel-Schneider, and Bijan Parsia. OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax. W3C Recommendation, 27 October 2009. http://www.w3.org/TR/owl2-syntax/

Boris Motik, Peter F. Patel-Schneider, and Bernardo Cuenca Grau. OWL 2 Web Ontology Language: Direct Semantics. W3C Recommendation, 27 October 2009. http://www.w3.org/TR/owl2-semantics/

Peter F. Patel-Schneider and Boris Motik. OWL 2 Web Ontology Language: Mapping to RDF Graphs. W3C Recommendation, 27 October 2009. http://www.w3.org/TR/owl2-mapping-to-rdf/

Boris Motik, Bijan Parsia, and Peter Patel-Schneider. OWL 2 Web Ontology Language: XML Serialization. W3C Recommendation, 27 October 2009. http://www.w3.org/TR/owl2-xml-serialization/

Pascal Hitzler, Markus Kroetzsch, Bijan Parsia, Peter F. Patel-Schneider, and Sebastian Rudolph. OWL 2 Web Ontology Language: Primer. W3C Recommendation, 27 October 2009. http://www.w3.org/TR/owl2-primer/

Jie Bao, Elisa F. Kendall, Deborah L. McGuinness, and Peter F. Patel-Schneider. OWL 2 Web Ontology Language: Quick Reference Guide. W3C Recommendation, 27 October 2009. http://www.w3.org/TR/owl2-quick-reference/

Matthew Horridge and Peter F. Patel-Schneider. OWL 2 Web Ontology Language: Manchester Syntax. W3C Working Group Note, 27 October 2009. http://www.w3.org/TR/owl2-manchester-syntax/

Matthew Horridge and Peter F. Patel-Schneider. Manchester Syntax for OWL 1.1. OWL: Experiences and Directions 2008. Gaithersburg, MD. April 1-2, 2008.

Dmitry Tsarkov, Ian Horrocks, and Peter F. Patel-Schneider. Optimising Terminological Reasoning for Expressive Description Logics. Journal of Automated Reasoning, 39:3 (Oct. 2007), pp. 277-316.

Peter F. Patel-Schneider and Ian Horrocks. A Comparison of Two Modelling Paradigms in the Semantic Web. Journal of Web Semantics, 5:4, 2007, pp. 240-250.

Carey Williamson, Mary Ellen Zurko, Peter F. Patel-Schneider, Prashant Shenoy, eds. WWW'07: Proceedings of the 16th International Conference on the World Wide Web. May 2007, ACM.

Ian Horrocks, Peter F. Patel-Schneider, Deborah L. McGuinness, and Christopher A. Welty. OWL: A Description Logic Based Ontology Language for the Semantic Web. Deborah L. McGuinness and Peter F. Patel-Schneider. From Description Logic Provers to Knowledge Representation Systems. In The Description Logic Handbook: Theory, Implementation and Applications, ed. Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, and Peter F. Patel-Schneider. Cambridge University Press, 2nd edition, August 2007, pp. 458--486.

Peter F. Patel-Schneider and Ian Horrocks. Position Paper: A Comparison of Two Modelling Paradigms in the Semantic Web. The Fifteenth International World Wide Web Conference. Edinburgh, Scotland, May 2006, ACM Press.

Richard Hull, Bharat Kumar, Daniel Lieuwen, Peter F. Patel-Schneider, Arnaud Sahuguet, Sriram Varadarajan, and Avinash Vyas. Improving User Experience Through Rule-based Service Customization. International Journal of Cooperative Information Systems 14, 4, December 2005, pages 469–502.

Peter F. Patel-Schneider. A Revised Architecture for Semantic Web Reasoning. Third Workshop on Principles and Practices of Semantic Web Reasoning. Dagstuhl, Germany, September 2005. LNCS 3703, Springer Verlag, 2005.

Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, and James Hendler. Semantic Web Architecture: Stack or Two Towers? Third Workshop on Principles and Practices of Semantic Web Reasoning. Dagstuhl, Germany, September 2005. LNCS 3703, Springer Verlag, 2005.

Peter F. Patel-Schneider. Building the Semantic Web Tower from RDF Straw. Nineteenth International Joint Conference on Artificial Intelligence. Edinburgh, Scotland, August 2005.

Ian Horrocks, Peter F. Patel-Schneider, Sean Bechhofer, and Dmitry Tsarkov. OWL Rules: A Proposal and Prototype Implementation. Journal of Web Semantics 3, 1, July 2005, pages 23–40.

Ian Horrocks and Peter F. Patel-Schneider. Reducing OWL Entailment to Description Logic Satisfiability. Journal of Web Semantics, 1:4, October 2004, pages 345–357. A previous version was presented at the Second International Semantic Web Conference (ISWC2003), Sundial Resort, Florida, USA, October 2003.

Peter F. Patel-Schneider. What is OWL (and why should I care)? Invited paper for the Ninth International Conference on the Principles of Knowledge Representation and Reasoning, Whistler, Canada, June 2004.

Bijan Parsia and Peter F. Patel-Schneider. Meaning and the Semantic Web The Thirteenth International World Wide Web Conference. New York, New York, May 2004, ACM Press. A longer version is also available.

Ian Horrocks and Peter F. Patel-Schneider. A Proposal for an OWL Rules Language. The Thirteenth International World Wide Web Conference. New York, New York, May 2004, ACM Press.

Ian Horrocks, Peter F. Patel-Schneider, and Frank van Harmelen. From SHIQ and RDF to OWL: The Making of a Web Ontology Language. Journal of Web Semantics, 1:1, December 2003, pages 7–26.

Peter Patel-Schneider and Jerome Simeon. The Yin/Yang Web: A Unified Model for XML Syntax and RDF Semantics. IEEE Transactions on Knowledge and Data Engineering: Special Issue on WWW2002, 15:3, July/August 2003, pages 797–812.

Peter F. Patel-Schneider and Roberto Sebastiani. A New General Method to Generate Random Modal Formulae for Testing Decision Procedures. Journal of Artificial Intelligence Research, 18, 2003, pages 351–389.

Ian Horrocks and Peter F. Patel-Schneider. Three Theses of Representation in the Semantic Web. The Twelfth International World Wide Web Conference. Budapest, Hungary, May 2003, ACM Press, pages 39–47.

Ian Horrocks, Peter F. Patel-Schneider, and Frank van Harmelen. Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web. Eighteenth National Conference on Artificial Intelligence, American Association for Artificial Intelligence, Edmonton, Alberta, Canada, July 2002.

Peter F. Patel-Schneider and Jerome Simeon. Building the Semantic Web on XML. Best paper award winner, First International Semantic Web Conference (ISWC2002). Sardinia, Italy, June 2002.

Peter F. Patel-Schneider and Dieter Fensel. Layering the Semantic Web: Problems and Directions. First International Semantic Web Conference (ISWC2002). Sardinia, Italy, June 2002.

Peter F. Patel-Schneider and Jerome Simeon. The Yin/Yang Web: XML Syntax and RDF Semantics. Best paper award finalist, The Eleventh International World Wide Web Conference. Honolulu, Hawaii, May 2002.

Peter F. Patel-Schneider. Two Proposals for a Semantic Web Ontology Language. 2002 International Description Logic Workshop. Toulouse, France, April 2002.

Ian Horrocks and Peter F. Patel-Schneider. Evaluating Optimised Decision Procedures for Propositional Modal Km Satisfiability. Journal of Automated Reasoning, 28(2), February 2002, pages 173–204.

Dieter Fensel, Ian Horrocks, Frank van Harmelen, Deborah L. McGuinness, and Peter F. Patel-Schneider. OIL: An Ontology Infrastructure for the Semantic Web. IEEE Intelligent Systems, 16:2, May 2001.

Ian Horrocks, Peter Patel-Schneider, and Roberto Sebastiani. An Analysis of Empirical Testing for Modal Decision Procedures. Logic Journal of the IGPL, 8:3, May 2000, pages 293–324.

Ronald J. Brachman, Deborah L. McGuinness, Peter F. Patel-Schneider, and Alex Borgida. ``Reducing'' CLASSIC to Practice: Knowledge Representation Theory Meets Reality. Artificial Intelligence, 114, October 1999, pages 203–237.

Ian Horrocks and Peter F. Patel-Schneider. Optimising Description Logic Subsumption. Journal of Logic and Computation, 9:3, June 1999, pages 267–293.

Deborah L. McGuinness and Peter F. Patel-Schneider. Usability Issues in Knowledge Representation Systems. Proceedings of the Fifteenth National Conference on Artificial Intelligence, American Association for Artificial Intelligence, Madison, Wisconsin, July 1998, pages 608–614.

Ian Horrocks and Peter F. Patel-Schneider. Comparing Propositional Modal Satisfiability Optimisations for Description Logic Subsumption. Longer version of ``Comparing Subsumption Optimizations'', Proceedings of the 1998 International Workshop on Description Logics, ed. Enrico Franconi, Giuseppe De Giacomo, Robert M. MacGregor, Werner Nutt, and Christopher A. Welty, Trento, Italy, June 1998, pp. 90–94.

Ian Horrocks and Peter F. Patel-Schneider. FaCT and DLP. In Automated Reasoning with Analytic Tableaux and Related Methods: Proceedings of Tableaux'98. Lecture Notes in Artificial Intelligence No. 1397, ed. Harrie de Swart. Springer: Berlin, May 1998, pp. 27–30.

Alex Borgida and Peter F. Patel-Schneider. A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. Journal of Artificial Intelligence Research 1 (June 1994), pages 277–308.

Ronald J. Brachman, Alex Borgida, Deborah L. McGuinness, Peter F. Patel-Schneider, and Lori Alperin Resnick. Living with CLASSIC: When and How to Use a KL-ONE-Like Language. In Principles of Semantic Networks: Explorations in the representation of knowledge, ed. John Sowa. San Mateo, California: Morgan Kaufmann, 1991, pages 401–456.

Peter F. Patel-Schneider, Deborah L. McGuinness, Ronald J. Brachman, Lori Alperin Resnick, and Alex Borgida. The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale. SIGART Bulletin 2, 3 (1991), pages 108–113.

Peter F. Patel-Schneider. Undecidability of Subsumption in NIKL. Artificial Intelligence 39, 2 (1989), pages 263–272.