| |
      |
                                          |
Note: Links lead to the DBLP on the Web. Peter F. Patel-Schneider Peter F. Patel-Schneider: What Is OWL (and Why Should I Care)? KR 2004 : 735-737 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. Mobile Data Management 2004 : 187-198 Ian Horrocks , Peter F. Patel-Schneider: A proposal for an owl rules language. WWW 2004 : 723-731 Bijan Parsia , Peter F. Patel-Schneider: Meaning and the semantic web. WWW (Alternate Track Papers & Posters) 2004 : 306-307 Ian Horrocks , Peter F. Patel-Schneider: Reducing OWL entailment to description logic satisfiability. J. Web Sem. 1 (4): 345-357 (2004) Peter F. Patel-Schneider, Steffen Staab : World Wide Web Conference 2004 - Semantic Web Track. J. Web Sem. 2 (2): 107 (2004) Franz Baader , Diego Calvanese , Deborah L. McGuinness , Daniele Nardi , Peter F. Patel-Schneider: The Description Logic Handbook: Theory, Implementation, and Applications Cambridge University Press 2003 Deborah L. McGuinness , Peter F. Patel-Schneider: From Description Logic Provers to Knowledge Representation Systems. Description Logic Handbook 2003 : 265-281 Ian Horrocks , Peter F. Patel-Schneider: Reducing OWL Entailment to Description Logic Satisfability. Description Logics 2003 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. ICSOC 2003 : 149-164 Ian Horrocks , Peter F. Patel-Schneider: Reducing OWL Entailment to Description Logic Satisfiability. International Semantic Web Conference 2003 : 17-29 Ian Horrocks , Peter F. Patel-Schneider: Three theses of representation in the semantic web. WWW 2003 : 39-47 Peter F. Patel-Schneider, Jérôme Siméon : The Yin/Yang Web: A Unified Model for XML Syntax and RDF Semantics. IEEE Trans. Knowl. Data Eng. 15 (4): 797-812 (2003) Peter F. Patel-Schneider, Roberto Sebastiani : A New General Method to Generate Random Modal Formulae for Testing Decision Procedures. J. Artif. Intell. Res. (JAIR) 18 : 351-389 (2003) Ian Horrocks , Peter F. Patel-Schneider, Frank van Harmelen : From SHIQ and RDF to OWL: the making of a Web Ontology Language. J. Web Sem. 1 (1): 7-26 (2003) Ian Horrocks , Peter F. Patel-Schneider, Frank van Harmelen : Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web. AAAI/IAAI 2002 : 792-797 Peter F. Patel-Schneider, Jérôme Siméon : Building the Semantic Web on XML. International Semantic Web Conference 2002 : 147-161 Peter F. Patel-Schneider, Dieter Fensel : Layering the Semantic Web: Problems and Directions. International Semantic Web Conference 2002 : 16-29 Peter F. Patel-Schneider, Jérôme Siméon : The Yin/Yang web: XML syntax and RDF semantics. WWW 2002 : 443-453 Diane J. Litman , Peter F. Patel-Schneider, Anil Mishra , James M. Crawford , Daniel Dvorak : R++: Adding Path-Based Rules to C++. IEEE Trans. Knowl. Data Eng. 14 (3): 638-658 (2002) Ian Horrocks , Peter F. Patel-Schneider: Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability. J. Autom. Reasoning 28 (2): 173-204 (2002) Carole A. Goble , Deborah L. McGuinness , Ralf Möller , Peter F. Patel-Schneider: Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001 Description Logics 2001 Ian Horrocks , Peter F. Patel-Schneider: The Generation of DAML+OIL. Description Logics 2001 Peter F. Patel-Schneider, Roberto Sebastiani : A New System and Methodology for Generating Random Modal Formulae. IJCAR 2001 : 464-468 Dieter Fensel , Frank van Harmelen , Ian Horrocks , Deborah L. McGuinness , Peter F. Patel-Schneider: OIL: An Ontology Infrastructure for the Semantic Web. IEEE Intelligent Systems 16 (2): 38-45 (2001) Peter F. Patel-Schneider: System Description: DLP. CADE 2000 : 297-301 Peter F. Patel-Schneider: What's New in DLP. Description Logics 2000 : 227-235 Peter F. Patel-Schneider: TANCS-2000 Results for DLP. TABLEAUX 2000 : 72-76 Ian Horrocks , Peter F. Patel-Schneider, Roberto Sebastiani : An Analysis of Empirical Testing for Modal Decision Procedures. Logic Journal of the IGPL 8 (3): (2000) Patrick Lambrix , Alexander Borgida , Maurizio Lenzerini , Ralf Möller , Peter F. Patel-Schneider: Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999 Description Logics 1999 Sean Bechhofer , Ian Horrocks , Peter F. Patel-Schneider, Sergio Tessaris : A Proposal for a Description Logic Interface. Description Logics 1999 Peter F. Patel-Schneider: DLP. Description Logics 1999 Alexander Borgida , Enrico Franconi , Ian Horrocks , Deborah L. McGuinness , Peter F. Patel-Schneider: Explaining ALC Subsumption. Description Logics 1999 Ian Horrocks , Peter F. Patel-Schneider: Performance of DLP on Random Modal Formulae. Description Logics 1999 Peter F. Patel-Schneider: Systems Comparison. Description Logics 1999 Peter F. Patel-Schneider, Ian Horrocks : DLP and FaCT. TABLEAUX 1999 : 19-23 Peter F. Patel-Schneider: Review of One Jump Ahead: Challenging Human Supremacy in Checkers. AI Magazine 20 (1): 138 (1999) Ronald J. Brachman , Deborah L. McGuinness , Peter F. Patel-Schneider, Alexander Borgida : "Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality. Artif. Intell. 114 (1-2): 203-237 (1999) Peter F. Patel-Schneider, Marie-Christine Rousset : Editorial: Special Issue on Description Logics. J. Log. Comput. 9 (3): 265-266 (1999) Ian Horrocks , Peter F. Patel-Schneider: Optimizing Description Logic Subsumption. J. Log. Comput. 9 (3): 267-293 (1999) 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). J. Log. Comput. 9 (3): 449-456 (1999) Deborah L. McGuinness , Peter F. Patel-Schneider: Usability Issues in Knowledge Representation Systems. AAAI/IAAI 1998 : 608-614 Ian Horrocks , Peter F. Patel-Schneider: Optimising Propositional Modal Satisfiability for Description Logic Subsumption. AISC 1998 : 234-246 Ian Horrocks , Peter F. Patel-Schneider: Comparing Subsumption Optimizations. Description Logics 1998 Ian Horrocks , Peter F. Patel-Schneider: DL Systems Comparison (Summary Relation). Description Logics 1998 Peter F. Patel-Schneider: DLP System Description. Description Logics 1998 Peter F. Patel-Schneider: DLP. Description Logics 1998 Peter F. Patel-Schneider: NeoClassic. Description Logics 1998 Ian Horrocks , Peter F. Patel-Schneider: FaCT and DLP. TABLEAUX 1998 : 27-30 Peter F. Patel-Schneider: Preliminary Investigations into Interactive Classification in DL. Description Logics 1997 Deborah L. McGuinness , Peter F. Patel-Schneider: Usability Issues in DL Systems. Description Logics 1997 Diane J. Litman , Anil Mishra , Peter F. Patel-Schneider: Modeling Dynamic Collections of Interdependent Objects Using Path-Based Rules. OOPSLA 1997 : 77-92 Lin Padgham , Enrico Franconi , Manfred Gehrke , Deborah L. McGuinness , Peter F. Patel-Schneider: Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA AAAI Press 1996 James M. Crawford , Daniel Dvorak , Diane J. Litman , Anil Mishra , Peter F. Patel-Schneider: Path-Based Rules in Object-Oriented Programming. AAAI/IAAI, Vol. 1 1996 : 490-497 James M. Crawford , Daniel Dvorak , Diane J. Litman , Anil Mishra , Peter F. Patel-Schneider: Device Representation and Reasoning with Affective Relations. IJCAI 1995 : 1814-1820 Alexander Borgida , Peter F. Patel-Schneider: A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. J. Artif. Intell. Res. (JAIR) 1 : 277-308 (1994) Peter F. Patel-Schneider: Defaults and Descriptions. Description Logics 1992 : 72-73 Peter F. Patel-Schneider: Partial Reasoning in Knowledge Representation Systems Based on Description Logics. Description Logics 1992 : 74-75 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. FGCS 1992 : 1036-1043 Ramesh 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. KR 1992 : 777-788 Peter F. Patel-Schneider: Handling Computational Difficulties with Reasoning in Terminological Logics. Description Logics 1991 : 93-96 Peter F. Patel-Schneider, Deborah L. McGuinness , Alexander Borgida : The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale. SIGART Bulletin 2 (3): 108-113 (1991) 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. AI Magazine 11 (2): 16-23 (1990) Peter F. Patel-Schneider: Practical, object-based knowledge representation for knowledge-based systems. Inf. Syst. 15 (1): 9-19 (1990) Peter F. Patel-Schneider: A Decidable First-Order Logic for Knowldge Representation. J. Autom. Reasoning 6 (4): 361-388 (1990) Peter F. Patel-Schneider: A Four-Valued Semantics for Terminological Logics. Artif. Intell. 38 (3): 319-351 (1989) Peter F. Patel-Schneider: Undecidability of Subsumption in NIKL. Artif. Intell. 39 (2): 263-272 (1989) Peter F. Patel-Schneider: Adding Number Restrictions to a Four-Valued Terminological Logic. AAAI 1988 : 485-490 Peter F. Patel-Schneider: A hybrid, decidable, logic-based knowledge representation system. Computational Intelligence 3 : 64-77 (1987) Peter F. Patel-Schneider: A Four-Valued Semantics for Frame-Based Description Languages. AAAI 1986 : 344-348 Peter F. Patel-Schneider: A Decidable First-Order Logic for Knowledge Representation. IJCAI 1985 : 455-458 1 [ 65 ] 2 [ 41 ] 3 [ 10 ] [ 13 ] [ 16 ] [ 34 ] [ 39 ] [ 42 ] 4 [ 13 ] [ 34 ] 5 [ 65 ] 6 [ 17 ] [ 18 ] [ 52 ] 7 [ 17 ] [ 18 ] [ 52 ] 8 [ 47 ] [ 54 ] 9 [ 12 ] 10 [ 12 ] 11 [ 19 ] [ 31 ] [ 39 ] 12 [ 19 ] 13 [ 31 ] 14 [ 50 ] 15 [ 12 ] 16 [ 9 ] 17 [ 47 ] [ 56 ] [ 57 ] 18 [ 23 ] [ 27 ] [ 28 ] [ 29 ] [ 31 ] [ 32 ] [ 36 ] [ 38 ] [ 39 ] [ 41 ] [ 43 ] [ 47 ] [ 49 ] [ 51 ] [ 56 ] [ 57 ] [ 60 ] [ 61 ] [ 63 ] [ 67 ] [ 69 ] 19 [ 62 ] [ 70 ] 20 [ 9 ] 21 [ 62 ] [ 70 ] 22 [ 42 ] 23 [ 42 ] 24 [ 62 ] [ 70 ] 25 [ 17 ] [ 18 ] [ 20 ] [ 52 ] 26 [ 9 ] 27 [ 9 ] 28 [ 9 ] [ 10 ] [ 13 ] [ 19 ] [ 21 ] [ 30 ] [ 31 ] [ 34 ] [ 39 ] [ 47 ] [ 50 ] [ 64 ] [ 65 ] 29 [ 12 ] 30 [ 17 ] [ 18 ] [ 20 ] [ 52 ] 31 [ 42 ] [ 50 ] 32 [ 65 ] 33 [ 9 ] 34 [ 12 ] 35 [ 31 ] 36 [ 9 ] 37 [ 19 ] 38 [ 68 ] 39 [ 12 ] 40 [ 13 ] 41 [ 33 ] 42 [ 62 ] [ 70 ] 43 [ 9 ] 44 [ 43 ] [ 48 ] [ 58 ] 45 [ 53 ] [ 55 ] [ 59 ] 46 [ 66 ] 47 [ 41 ] 48 [ 62 ] [ 70 ] 49 [ 62 ] [ 70 ] 50 [ 31 ] 51 [ 9 ]  ©2005 Association for Computing Machinery |
