The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Peter F. Patel-Schneider: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  80. "Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality. [Citation Graph (, )][DBLP]


  81. A Syntax for Rules in OWL 2. [Citation Graph (, )][DBLP]


  82. DIG 2.0 -- Towards a Flexible Interface for Description Logic Reasoners. [Citation Graph (, )][DBLP]


  83. Next Steps for OWL. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.457secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002