Peter F. Patel-Schneider

From Tetherless World Wiki

Jump to: navigation, search
Peter F. Patel-Schneider [ Edit ]
Photo:
Name: Peter F. Patel-Schneider
Occupation:
Affiliation(s):
Homepage(s):
Email(s):
Phone:
Fax:
Interests:
Other tags:
Alias: Peter Patel-Schneider
Please also add"{{alias}}" to your alias pages.


Publication

Update publication from DBLP

  1. Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler. OWL 2: The next step for OWL, In J. Web Sem., 6(4):309-322, 2008 .
  2. Peter F. Patel-Schneider. Book Review, In Journal of Logic, Language and Information, 16(3):357-359, 2007 .
  3. Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider. Optimizing Terminological Reasoning for Expressive Description Logics, In J. Autom. Reasoning, 39(3):277-316, 2007 (Download) .
  4. Peter F. Patel-Schneider, Ian Horrocks. A comparison of two modelling paradigms in the Semantic Web, In J. Web Sem., 5(4):240-250, 2007 (Download) .
  5. Sean Bechhofer, Thorsten Liebig, Marko Luther, Olaf Noppens, Peter F. Patel-Schneider, Boontawee Suntisrivaraporn, Anni-Yasmin Turhan, Timo Weith \"o ner. DIG 2.0 -- Towards a Flexible Interface for Description Logic Reasoners, In OWLED, , 2006 .
  6. Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler. Next Steps for OWL, In OWLED, , 2006 .
  7. Peter F. Patel-Schneider, Ian Horrocks. Position paper: a comparison of two modelling paradigms in the Semantic Web, In WWW, pp. 3-12, 2006 (Download) .
  8. Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, James A. Hendler. Semantic Web Architecture: Stack or Two Towers?, In PPSWR, pp. 37-41, 2005 (Download) .
  9. Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Peter F. Patel-Schneider, Arnaud Sahuguet, Sriram Varadarajan, Avinash Vyas. Improving User Experience through Rule-based Service Customization, In Int. J. Cooperative Inf. Syst., 14(4):469-502, 2005 .
  10. Peter F. Patel-Schneider. Building the Semantic Web Tower from RDF Straw, In IJCAI, pp. 546-551, 2005 (Download) .
  11. Peter F. Patel-Schneider. A Revised Architecture for Semantic Web Reasoning, In PPSWR, pp. 32-36, 2005 .
  12. Ian Horrocks, Peter F. Patel-Schneider, Sean Bechhofer, Dmitry Tsarkov. OWL rules: A proposal and prototype implementation, In J. Web Sem., 3(1):23-40, 2005 (Download) .
  13. Peter F. Patel-Schneider. Requirements and Non-Requirements for a Semantic Web Rule Language, In Rule Languages for Interoperability, , 2005 .
  14. Peter F. Patel-Schneider, Steffen Staab. World Wide Web Conference 2004 - Semantic Web Track, In J. Web Sem., 2(2):107, 2004 (Download) .
  15. Peter F. Patel-Schneider. What Is OWL (and Why Should I Care)?, In KR, pp. 735-737, 2004 .
  16. Ian Horrocks, Peter F. Patel-Schneider. Reducing OWL entailment to description logic satisfiability, In J. Web Sem., 1(4):345-357, 2004 (Download) .
  17. Ian Horrocks, Peter F. Patel-Schneider. A proposal for an owl rules language, In WWW, pp. 723-731, 2004 (Download) .
  18. Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Peter F. Patel-Schneider, Arnaud Sahuguet, Sriram Varadarajan, Avinash Vyas. Enabling Context-Aware and Privacy-Conscious User Data Sharing, In Mobile Data Management, pp. 187-198, 2004 .
  19. Peter F. Patel-Schneider. The Semantic Web and Knowledge Representation, In ENC, pp. 7, 2004 .
  20. Bijan Parsia, Peter F. Patel-Schneider. Meaning and the semantic web, In WWW (Alternate Track Papers & Posters), pp. 306-307, 2004 (Download) .
  21. Ian Horrocks, Peter F. Patel-Schneider. Three theses of representation in the semantic web, In WWW, pp. 39-47, 2003 (Download) .
  22. Ian Horrocks, Peter F. Patel-Schneider. Reducing OWL Entailment to Description Logic Satisfability, In Description Logics, , 2003 (Download) .
  23. Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Peter F. Patel-Schneider, Arnaud Sahuguet, Sriram Varadarajan, Avinash Vyas. "Everything Personal, Not Just Business: " Improving User Experience through Rule-Based Service Customization, In ICSOC, pp. 149-164, 2003 .
  24. Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen. From SHIQ and RDF to OWL: the making of a Web Ontology Language, In J. Web Sem., 1(1):7-26, 2003 (Download) .
  25. Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Peter F. Patel-Schneider, Arnaud Sahuguet, Sriram Varadarajan, Avinash Vyas. Rule-based Service Customization via Houdini, In WWW (Posters), , 2003 (Download) .
  26. Peter F. Patel-Schneider, J \'e r \^o me Sim \'e on. The Yin/Yang Web: A Unified Model for XML Syntax and RDF Semantics, In IEEE Trans. Knowl. Data Eng., 15(4):797-812, 2003 .
  27. Ian Horrocks, Peter F. Patel-Schneider. Reducing OWL Entailment to Description Logic Satisfiability, In International Semantic Web Conference, pp. 17-29, 2003 (Download) .
  28. Peter F. Patel-Schneider, Roberto Sebastiani. A New General Method to Generate Random Modal Formulae for Testing Decision Procedures, In J. Artif. Intell. Res. (JAIR), 18:351-389, 2003 .
  29. Peter F. Patel-Schneider, Jérôme Siméon. Building the Semantic Web on XML, In International Semantic Web Conference, pp. 147-161, 2002 (Download) .
  30. Ian Horrocks, Peter F. Patel-Schneider. Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability, In J. Autom. Reasoning, 28(2):173-204, 2002 (Download) .
  31. Peter F. Patel-Schneider, Jérôme Siméon. The Yin/Yang web: XML syntax and RDF semantics, In WWW, pp. 443-453, 2002 (Download) .
  32. Diane J. Litman, Peter F. Patel-Schneider, Anil Mishra, James M. Crawford, Daniel Dvorak. R++: Adding Path-Based Rules to C++, In IEEE Trans. Knowl. Data Eng., 14(3):638-658, 2002 .
  33. Peter F. Patel-Schneider, Dieter Fensel. Layering the Semantic Web: Problems and Directions, In International Semantic Web Conference, pp. 16-29, 2002 (Download) .
  34. Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen. Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web, In AAAI/IAAI, pp. 792-797, 2002 (Download) .
  35. Ian Horrocks, Peter F. Patel-Schneider. The Generation of DAML+OIL, In Description Logics, , 2001 (Download) .
  36. Peter F. Patel-Schneider, Roberto Sebastiani. A New System and Methodology for Generating Random Modal Formulae, In IJCAR, pp. 464-468, 2001 .
  37. Peter F. Patel-Schneider. What's New in DLP, In Description Logics, pp. 227-235, 2000 .
  38. Peter F. Patel-Schneider. TANCS-2000 Results for DLP, In TABLEAUX, pp. 72-76, 2000 .
  39. Peter F. Patel-Schneider. System Description: DLP, In CADE, pp. 297-301, 2000 .
  40. Ian Horrocks, Peter F. Patel-Schneider, Roberto Sebastiani. An Analysis of Empirical Testing for Modal Decision Procedures, In Logic Journal of the IGPL, 8(3), 2000 (Download) .
  41. Peter F. Patel-Schneider. Review of One Jump Ahead: Challenging Human Supremacy in Checkers, In AI Magazine, 20(1):138, 1999 .
  42. Enrico Franconi, Giuseppe De Giacomo, Ian Horrocks, Deborah L. McGuinness, Werner Nutt, Peter F. Patel-Schneider, Christopher A. Welty. Report on the 1998 International Workshop on Description Logics (DL'98), In J. Log. Comput., 9(3):449-456, 1999 (Download) .
  43. Peter F. Patel-Schneider. DLP, In Description Logics, , 1999 .
  44. Alexander Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider. Explaining ALC Subsumption, In Description Logics, , 1999 (Download) .
  45. Ian Horrocks, Peter F. Patel-Schneider. Performance of DLP on Random Modal Formulae, In Description Logics, , 1999 (Download) .
  46. Peter F. Patel-Schneider, Marie-Christine Rousset. Editorial: Special Issue on Description Logics, In J. Log. Comput., 9(3):265-266, 1999 .
  47. Ian Horrocks, Peter F. Patel-Schneider. Optimizing Description Logic Subsumption, In J. Log. Comput., 9(3):267-293, 1999 (Download) .
  48. Peter F. Patel-Schneider. Systems Comparison, In Description Logics, , 1999 .
  49. Peter F. Patel-Schneider, Ian Horrocks. DLP and FaCT, In TABLEAUX, pp. 19-23, 1999 (Download) .
  50. Sean Bechhofer, Ian Horrocks, Peter F. Patel-Schneider, Sergio Tessaris. A Proposal for a Description Logic Interface, In Description Logics, , 1999 (Download) .
  51. Ian Horrocks, Peter F. Patel-Schneider. FaCT and DLP, In TABLEAUX, pp. 27-30, 1998 (Download) .
  52. Peter F. Patel-Schneider. NeoClassic, In Description Logics, , 1998 .
  53. Ian Horrocks, Peter F. Patel-Schneider. Optimising Propositional Modal Satisfiability for Description Logic Subsumption, In AISC, pp. 234-246, 1998 (Download) .
  54. Ian Horrocks, Peter F. Patel-Schneider. DL Systems Comparison (Summary Relation), In Description Logics, , 1998 (Download) .
  55. Peter F. Patel-Schneider. DLP System Description, In Description Logics, , 1998 .
  56. Deborah L. McGuinness, Peter F. Patel-Schneider. Usability Issues in Knowledge Representation Systems, In AAAI/IAAI, pp. 608-614, 1998 (Download) .
  57. Deborah L. McGuinness, Charles L. Isbell, Matt Parker, Peter F. Patel-Schneider, Lori Alperin Resnick, Christopher A. Welty. A description logic-based configurator on the web, In SIGART Bulletin, 9(2):20-22, 1998 (Download) .
  58. Ian Horrocks, Peter F. Patel-Schneider. Comparing Subsumption Optimizations, In Description Logics, , 1998 (Download) .
  59. Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider. Modeling Dynamic Collections of Interdependent Objects Using Path-Based Rules, In OOPSLA, pp. 77-92, 1997 .
  60. Peter F. Patel-Schneider. Preliminary Investigations into Interactive Classification in DL, In Description Logics, , 1997 .
  61. Deborah L. McGuinness, Peter F. Patel-Schneider. Usability Issues in DL Systems, In Description Logics, , 1997 (Download) .
  62. James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider. Path-Based Rules in Object-Oriented Programming, In AAAI/IAAI, Vol. 1, pp. 490-497, 1996 (Download) .
  63. James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider. Device Representation and Reasoning with Affective Relations, In IJCAI, pp. 1814-1820, 1995 (Download) .
  64. Alexander Borgida, Peter F. Patel-Schneider. A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic, In J. Artif. Intell. Res. (JAIR), 1:277-308, 1994 .
  65. Peter F. Patel-Schneider. Partial Reasoning in Knowledge Representation Systems Based on Description Logics, In Description Logics, pp. 74-75, 1992 .
  66. Peter F. Patel-Schneider. Defaults and Descriptions, In Description Logics, pp. 72-73, 1992 .
  67. Ronald J. Brachman, Alexander Borgida, Deborah L. McGuinness, Peter F. Patel-Schneider, Lori Alperin Resnick. The CLASSIC Knowledge Representation System or, KL-ONE: The Next Generation, In FGCS, pp. 1036-1043, 1992 (Download) .
  68. Ramesh S. Patil, Richard Fikes, Peter F. Patel-Schneider, Donald P. McKay, Timothy W. Finin, Thomas R. Gruber, Robert Neches. The DARPA Knowledge Sharing Effort: A Progress Report, In KR, pp. 777-788, 1992 .
  69. Peter F. Patel-Schneider, Deborah L. McGuinness, Alexander Borgida. The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale, In SIGART Bulletin, 2(3):108-113, 1991 (Download) .
  70. Peter F. Patel-Schneider. Handling Computational Difficulties with Reasoning in Terminological Logics, In Description Logics, pp. 93-96, 1991 .
  71. Peter F. Patel-Schneider, Bernd Owsnicki-Klewe, Alfred Kobsa, Nicola Guarino, Robert M. MacGregor, William S. Mark, Deborah L. McGuinness, Bernhard Nebel, Albrecht Schmiedel, John Yen. Term Subsumption Languages in Knowledge Representation, In AI Magazine, 11(2):16-23, 1990 (Download) .
  72. Peter F. Patel-Schneider. Practical, object-based knowledge representation for knowledge-based systems, In Inf. Syst., 15(1):9-19, 1990 .
  73. Peter F. Patel-Schneider. A Decidable First-Order Logic for Knowldge Representation, In J. Autom. Reasoning, 6(4):361-388, 1990 .
  74. Peter F. Patel-Schneider. A Four-Valued Semantics for Terminological Logics, In Artif. Intell., 38(3):319-351, 1989 .
  75. Peter F. Patel-Schneider. Undecidability of Subsumption in NIKL, In Artif. Intell., 39(2):263-272, 1989 .
  76. Peter F. Patel-Schneider. Adding Number Restrictions to a Four-Valued Terminological Logic, In AAAI, pp. 485-490, 1988 (Download) .
  77. Peter F. Patel-Schneider. A hybrid, decidable, logic-based knowledge representation system, In Computational Intelligence, 3:64-77, 1987 .
  78. Peter F. Patel-Schneider. A Four-Valued Semantics for Frame-Based Description Languages, In AAAI, pp. 344-348, 1986 (Download) .
  79. Peter F. Patel-Schneider. A Decidable First-Order Logic for Knowledge Representation, In IJCAI, pp. 455-458, 1985 (Download) .

External Links

More information on Google, and DBLP

Facts about Peter F. Patel-SchneiderRDF feed
Foaf:depiction Anonymous.png  +
Foaf:firstName Peter  +
Foaf:name Peter F. Patel-Schneider  +
Foaf:surname Patel-Schneider  +
Has alias Peter Patel-Schneider  +
Has identifier Peter F. Patel-Schneider  +
MiddleName F  +
Retrieved from "http://tw.rpi.edu/wiki/Peter_F._Patel-Schneider"
Personal tools