Peter F. Patel-Schneider

	2009
92		Rinke Hoekstra, Peter F. Patel-Schneider: Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), Chantilly, VA, United States, October 23-24, 2009 CEUR-WS.org 2009
91		Ronald J. Brachman, Alexander Borgida, Deborah L. McGuinness, Peter F. Patel-Schneider: "Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality. Conceptual Modeling: Foundations and Applications 2009: 436-465
90		Birte Glimm, Matthew Horridge, Bijan Parsia, Peter F. Patel-Schneider: A Syntax for Rules in OWL 2. OWLED 2009
	2008
89		Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler: OWL 2: The next step for OWL. J. Web Sem. 6(4): 309-322 (2008)
	2007
88		Carey L. Williamson, Mary Ellen Zurko, Peter F. Patel-Schneider, Prashant J. Shenoy: Proceedings of the 16th International Conference on World Wide Web, WWW 2007, Banff, Alberta, Canada, May 8-12, 2007 ACM 2007
87		Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider: Optimizing Terminological Reasoning for Expressive Description Logics. J. Autom. Reasoning 39(3): 277-316 (2007)
86		Peter F. Patel-Schneider, Ian Horrocks: A comparison of two modelling paradigms in the Semantic Web. J. Web Sem. 5(4): 240-250 (2007)
85		Peter F. Patel-Schneider: Book Review. Journal of Logic, Language and Information 16(3): 357-359 (2007)
	2006
84		Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider: Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, Galway, Ireland, November 11-12, 2005 CEUR-WS.org 2006
83		Sean Bechhofer, Thorsten Liebig, Marko Luther, Olaf Noppens, Peter F. Patel-Schneider, Boontawee Suntisrivaraporn, Anni-Yasmin Turhan, Timo Weithöner: DIG 2.0 -- Towards a Flexible Interface for Description Logic Reasoners. OWLED 2006
82		Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler: Next Steps for OWL. OWLED 2006
81		Peter F. Patel-Schneider, Ian Horrocks: Position paper: a comparison of two modelling paradigms in the Semantic Web. WWW 2006: 3-12
	2005
80		Peter F. Patel-Schneider: Building the Semantic Web Tower from RDF Straw. IJCAI 2005: 546-551
79		Peter F. Patel-Schneider: A Revised Architecture for Semantic Web Reasoning. PPSWR 2005: 32-36
78		Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, James A. Hendler: Semantic Web Architecture: Stack or Two Towers?. PPSWR 2005: 37-41
77		Peter F. Patel-Schneider: Requirements and Non-Requirements for a Semantic Web Rule Language. Rule Languages for Interoperability 2005
76		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. Int. J. Cooperative Inf. Syst. 14(4): 469-502 (2005)
75		Ian Horrocks, Peter F. Patel-Schneider, Sean Bechhofer, Dmitry Tsarkov: OWL rules: A proposal and prototype implementation. J. Web Sem. 3(1): 23-40 (2005)
	2004
74		Peter F. Patel-Schneider: The Semantic Web and Knowledge Representation. ENC 2004: 7
73		Peter F. Patel-Schneider: What Is OWL (and Why Should I Care)? KR 2004: 735-737
72		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
71		Ian Horrocks, Peter F. Patel-Schneider: A proposal for an owl rules language. WWW 2004: 723-731
70		Bijan Parsia, Peter F. Patel-Schneider: Meaning and the semantic web. WWW (Alternate Track Papers & Posters) 2004: 306-307
69		Ian Horrocks, Peter F. Patel-Schneider: Reducing OWL entailment to description logic satisfiability. J. Web Sem. 1(4): 345-357 (2004)
68		Peter F. Patel-Schneider, Steffen Staab: World Wide Web Conference 2004 - Semantic Web Track. J. Web Sem. 2(2): 107 (2004)
	2003
67		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
66		Deborah L. McGuinness, Peter F. Patel-Schneider: From Description Logic Provers to Knowledge Representation Systems. Description Logic Handbook 2003: 265-281
65		Ian Horrocks, Peter F. Patel-Schneider: Reducing OWL Entailment to Description Logic Satisfability. Description Logics 2003
64		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
63		Ian Horrocks, Peter F. Patel-Schneider: Reducing OWL Entailment to Description Logic Satisfiability. International Semantic Web Conference 2003: 17-29
62		Ian Horrocks, Peter F. Patel-Schneider: Three theses of representation in the semantic web. WWW 2003: 39-47
61		Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Peter F. Patel-Schneider, Arnaud Sahuguet, Sriram Varadarajan, Avinash Vyas: Rule-based Service Customization via Houdini. WWW (Posters) 2003
60		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)
59		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)
58		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)
	2002
57		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
56		Peter F. Patel-Schneider, Jérôme Siméon: Building the Semantic Web on XML. International Semantic Web Conference 2002: 147-161
55		Peter F. Patel-Schneider, Dieter Fensel: Layering the Semantic Web: Problems and Directions. International Semantic Web Conference 2002: 16-29
54		Peter F. Patel-Schneider, Jérôme Siméon: The Yin/Yang web: XML syntax and RDF semantics. WWW 2002: 443-453
53		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)
52		Ian Horrocks, Peter F. Patel-Schneider: Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability. J. Autom. Reasoning 28(2): 173-204 (2002)
	2001
51		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 CEUR-WS.org 2001
50		Ian Horrocks, Peter F. Patel-Schneider: The Generation of DAML+OIL. Description Logics 2001
49		Peter F. Patel-Schneider, Roberto Sebastiani: A New System and Methodology for Generating Random Modal Formulae. IJCAR 2001: 464-468
48		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)
	2000
47		Peter F. Patel-Schneider: System Description: DLP. CADE 2000: 297-301
46		Peter F. Patel-Schneider: What's New in DLP. Description Logics 2000: 227-235
45		Peter F. Patel-Schneider: TANCS-2000 Results for DLP. TABLEAUX 2000: 72-76
44		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)
	1999
43		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 CEUR-WS.org 1999
42		Sean Bechhofer, Ian Horrocks, Peter F. Patel-Schneider, Sergio Tessaris: A Proposal for a Description Logic Interface. Description Logics 1999
41		Peter F. Patel-Schneider: DLP. Description Logics 1999
40		Alexander Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider: Explaining ALC Subsumption. Description Logics 1999
39		Ian Horrocks, Peter F. Patel-Schneider: Performance of DLP on Random Modal Formulae. Description Logics 1999
38		Peter F. Patel-Schneider: Systems Comparison. Description Logics 1999
37		Peter F. Patel-Schneider, Ian Horrocks: DLP and FaCT. TABLEAUX 1999: 19-23
36		Peter F. Patel-Schneider: Review of One Jump Ahead: Challenging Human Supremacy in Checkers. AI Magazine 20(1): 138 (1999)
35		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)
34		Peter F. Patel-Schneider, Marie-Christine Rousset: Editorial: Special Issue on Description Logics. J. Log. Comput. 9(3): 265-266 (1999)
33		Ian Horrocks, Peter F. Patel-Schneider: Optimizing Description Logic Subsumption. J. Log. Comput. 9(3): 267-293 (1999)
32		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)
	1998
31		Deborah L. McGuinness, Peter F. Patel-Schneider: Usability Issues in Knowledge Representation Systems. AAAI/IAAI 1998: 608-614
30		Ian Horrocks, Peter F. Patel-Schneider: Optimising Propositional Modal Satisfiability for Description Logic Subsumption. AISC 1998: 234-246
29		Ian Horrocks, Peter F. Patel-Schneider: Comparing Subsumption Optimizations. Description Logics 1998
28		Ian Horrocks, Peter F. Patel-Schneider: DL Systems Comparison (Summary Relation). Description Logics 1998
27		Peter F. Patel-Schneider: DLP System Description. Description Logics 1998
26		Peter F. Patel-Schneider: DLP. Description Logics 1998
25		Peter F. Patel-Schneider: NeoClassic. Description Logics 1998
24		Ian Horrocks, Peter F. Patel-Schneider: FaCT and DLP. TABLEAUX 1998: 27-30
23		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. SIGART Bulletin 9(2): 20-22 (1998)
	1997
22		Peter F. Patel-Schneider: Preliminary Investigations into Interactive Classification in DL. Description Logics 1997
21		Deborah L. McGuinness, Peter F. Patel-Schneider: Usability Issues in DL Systems. Description Logics 1997
20		Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider: Modeling Dynamic Collections of Interdependent Objects Using Path-Based Rules. OOPSLA 1997: 77-92
	1996
19		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
18		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
	1995
17		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
	1994
16		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)
	1992
15		Peter F. Patel-Schneider: Defaults and Descriptions. Description Logics 1992: 72-73
14		Peter F. Patel-Schneider: Partial Reasoning in Knowledge Representation Systems Based on Description Logics. Description Logics 1992: 74-75
13		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
12		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. KR 1992: 777-788
	1991
11		Peter F. Patel-Schneider: Handling Computational Difficulties with Reasoning in Terminological Logics. Description Logics 1991: 93-96
10		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)
	1990
9		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)
8		Peter F. Patel-Schneider: Practical, object-based knowledge representation for knowledge-based systems. Inf. Syst. 15(1): 9-19 (1990)
7		Peter F. Patel-Schneider: A Decidable First-Order Logic for Knowldge Representation. J. Autom. Reasoning 6(4): 361-388 (1990)
	1989
6		Peter F. Patel-Schneider: A Four-Valued Semantics for Terminological Logics. Artif. Intell. 38(3): 319-351 (1989)
5		Peter F. Patel-Schneider: Undecidability of Subsumption in NIKL. Artif. Intell. 39(2): 263-272 (1989)
	1988
4		Peter F. Patel-Schneider: Adding Number Restrictions to a Four-Valued Terminological Logic. AAAI 1988: 485-490
	1987
3		Peter F. Patel-Schneider: A hybrid, decidable, logic-based knowledge representation system. Computational Intelligence 3: 64-77 (1987)
	1986
2		Peter F. Patel-Schneider: A Four-Valued Semantics for Frame-Based Description Languages. AAAI 1986: 344-348
	1985
1		Peter F. Patel-Schneider: A Decidable First-Order Logic for Knowledge Representation. IJCAI 1985: 455-458

Coauthor Index

1	Franz Baader	[67]
2	Sean Bechhofer	[42] [75] [83]
3	Alexander Borgida	[10] [13] [16] [35] [40] [43] [91]
4	Ronald J. Brachman (Ron Brachman)	[13] [35] [91]
5	Diego Calvanese	[67]
6	James M. Crawford	[17] [18] [53]
7	Daniel Dvorak	[17] [18] [53]
8	Dieter Fensel	[48] [55]
9	Richard Fikes	[12]
10	Timothy W. Finin (Tim Finin)	[12]
11	Enrico Franconi	[19] [32] [40]
12	Manfred Gehrke	[19]
13	Giuseppe De Giacomo	[32]
14	Birte Glimm	[90]
15	Carole A. Goble	[51]
16	Bernardo Cuenca Grau	[82] [84] [89]
17	Thomas R. Gruber (Tom Gruber)	[12]
18	Nicola Guarino	[9]
19	Frank van Harmelen	[48] [57] [58]
20	James A. Hendler (Jim Hendler)	[78]
21	Rinke Hoekstra	[92]
22	Matthew Horridge	[90]
23	Ian Horrocks	[24] [28] [29] [30] [32] [33] [37] [39] [40] [42] [44] [48] [50] [52] [57] [58] [62] [63] [65] [69] [71] [75] [78] [81] [82] [84] [86] [87] [89]
24	Richard Hull	[61] [64] [72] [76]
25	Charles Lee Isbell Jr. (Charles L. Isbell)	[23]
26	Alfred Kobsa	[9]
27	Bharat Kumar	[61] [64] [72] [76]
28	Patrick Lambrix	[43]
29	Maurizio Lenzerini	[43]
30	Thorsten Liebig	[83]
31	Daniel F. Lieuwen	[61] [64] [72] [76]
32	Diane J. Litman	[17] [18] [20] [53]
33	Marko Luther	[83]
34	Robert M. MacGregor	[9]
35	William S. Mark	[9]
36	Deborah L. McGuinness	[9] [10] [13] [19] [21] [23] [31] [32] [35] [40] [48] [51] [66] [67] [91]
37	Donald P. McKay	[12]
38	Anil Mishra	[17] [18] [20] [53]
39	Ralf Möller	[43] [51]
40	Boris Motik	[89]
41	Daniele Nardi	[67]
42	Bernhard Nebel	[9]
43	Robert Neches	[12]
44	Olaf Noppens	[83]
45	Werner Nutt	[32]
46	Bernd Owsnicki-Klewe	[9]
47	Lin Padgham	[19]
48	Matt Parker	[23]
49	Bijan Parsia	[70] [78] [82] [84] [89] [90]
50	Ramesh S. Patil	[12]
51	Lori Alperin Resnick	[13] [23]
52	Marie-Christine Rousset	[34]
53	Arnaud Sahuguet	[61] [64] [72] [76]
54	Ulrike Sattler	[82] [89]
55	Albrecht Schmiedel	[9]
56	Roberto Sebastiani	[44] [49] [59]
57	Prashant J. Shenoy	[88]
58	Jérôme Siméon	[54] [56] [60]
59	Steffen Staab	[68]
60	Boontawee Suntisrivaraporn	[83]
61	Sergio Tessaris	[42]
62	Dmitry Tsarkov	[75] [87]
63	Anni-Yasmin Turhan	[83]
64	Sriram Varadarajan	[61] [64] [72] [76]
65	Avinash Vyas	[61] [64] [72] [76]
66	Timo Weithöner	[83]
67	Christopher A. Welty	[23] [32]
68	Carey L. Williamson	[88]
69	John Yen	[9]
70	Mary Ellen Zurko	[88]

Colors in the list of coauthors