dblp.uni-trier.dewww.uni-trier.de

Peter F. Patel-Schneider Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
90EERonald 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
2008
89EEBernardo 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
87EEDmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider: Optimizing Terminological Reasoning for Expressive Description Logics. J. Autom. Reasoning 39(3): 277-316 (2007)
86EEPeter F. Patel-Schneider, Ian Horrocks: A comparison of two modelling paradigms in the Semantic Web. J. Web Sem. 5(4): 240-250 (2007)
85EEPeter 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
83EESean 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
82EEBernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler: Next Steps for OWL. OWLED 2006
81EEPeter F. Patel-Schneider, Ian Horrocks: Position paper: a comparison of two modelling paradigms in the Semantic Web. WWW 2006: 3-12
2005
80EEPeter F. Patel-Schneider: Building the Semantic Web Tower from RDF Straw. IJCAI 2005: 546-551
79EEPeter F. Patel-Schneider: A Revised Architecture for Semantic Web Reasoning. PPSWR 2005: 32-36
78EEIan Horrocks, Bijan Parsia, Peter F. Patel-Schneider, James A. Hendler: Semantic Web Architecture: Stack or Two Towers?. PPSWR 2005: 37-41
77EEPeter F. Patel-Schneider: Requirements and Non-Requirements for a Semantic Web Rule Language. Rule Languages for Interoperability 2005
76EERichard 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)
75EEIan 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
74EEPeter 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
72EERichard 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
71EEIan Horrocks, Peter F. Patel-Schneider: A proposal for an owl rules language. WWW 2004: 723-731
70EEBijan Parsia, Peter F. Patel-Schneider: Meaning and the semantic web. WWW (Alternate Track Papers & Posters) 2004: 306-307
69EEIan Horrocks, Peter F. Patel-Schneider: Reducing OWL entailment to description logic satisfiability. J. Web Sem. 1(4): 345-357 (2004)
68EEPeter 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
65EEIan Horrocks, Peter F. Patel-Schneider: Reducing OWL Entailment to Description Logic Satisfability. Description Logics 2003
64EERichard 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
63EEIan Horrocks, Peter F. Patel-Schneider: Reducing OWL Entailment to Description Logic Satisfiability. International Semantic Web Conference 2003: 17-29
62EEIan Horrocks, Peter F. Patel-Schneider: Three theses of representation in the semantic web. WWW 2003: 39-47
61EERichard 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
60EEPeter 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)
59EEPeter 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)
58EEIan 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
56EEPeter F. Patel-Schneider, Jérôme Siméon: Building the Semantic Web on XML. International Semantic Web Conference 2002: 147-161
55EEPeter F. Patel-Schneider, Dieter Fensel: Layering the Semantic Web: Problems and Directions. International Semantic Web Conference 2002: 16-29
54EEPeter F. Patel-Schneider, Jérôme Siméon: The Yin/Yang web: XML syntax and RDF semantics. WWW 2002: 443-453
53EEDiane 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
50EEIan Horrocks, Peter F. Patel-Schneider: The Generation of DAML+OIL. Description Logics 2001
49EEPeter F. Patel-Schneider, Roberto Sebastiani: A New System and Methodology for Generating Random Modal Formulae. IJCAR 2001: 464-468
48EEDieter 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
47EEPeter F. Patel-Schneider: System Description: DLP. CADE 2000: 297-301
46EEPeter 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
44EEIan 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
42EESean Bechhofer, Ian Horrocks, Peter F. Patel-Schneider, Sergio Tessaris: A Proposal for a Description Logic Interface. Description Logics 1999
41EEPeter F. Patel-Schneider: DLP. Description Logics 1999
40EEAlexander Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider: Explaining ALC Subsumption. Description Logics 1999
39EEIan Horrocks, Peter F. Patel-Schneider: Performance of DLP on Random Modal Formulae. Description Logics 1999
38EEPeter 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)
35EERonald 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)
34EEPeter F. Patel-Schneider, Marie-Christine Rousset: Editorial: Special Issue on Description Logics. J. Log. Comput. 9(3): 265-266 (1999)
33EEIan Horrocks, Peter F. Patel-Schneider: Optimizing Description Logic Subsumption. J. Log. Comput. 9(3): 267-293 (1999)
32EEEnrico 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
30EEIan Horrocks, Peter F. Patel-Schneider: Optimising Propositional Modal Satisfiability for Description Logic Subsumption. AISC 1998: 234-246
29EEIan Horrocks, Peter F. Patel-Schneider: Comparing Subsumption Optimizations. Description Logics 1998
28EEIan Horrocks, Peter F. Patel-Schneider: DL Systems Comparison (Summary Relation). Description Logics 1998
27EEPeter F. Patel-Schneider: DLP System Description. Description Logics 1998
26EEPeter F. Patel-Schneider: DLP. Description Logics 1998
25EEPeter F. Patel-Schneider: NeoClassic. Description Logics 1998
24EEIan Horrocks, Peter F. Patel-Schneider: FaCT and DLP. TABLEAUX 1998: 27-30
23EEDeborah 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
22EEPeter F. Patel-Schneider: Preliminary Investigations into Interactive Classification in DL. Description Logics 1997
21EEDeborah 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)