Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Peter F. Patel-Schneider
2010 – today
- 2013
[c66]Peter F. Patel-Schneider, Pat Hayes: Finite Models in RDF(S), with Datatypes. International Semantic Web Conference (Posters & Demos) 2013: 233-236- 2012
- [j31]Peter F. Patel-Schneider: Comments on "WebPIE: A Web-scale parallel inference engine using MapReduce". J. Web Sem. 15: 69-70 (2012)
- [c65]
- [c64]Peter F. Patel-Schneider: Reasoning in RDFS is Inherently Serial, At Least in The Worst Case. International Semantic Web Conference (Posters & Demos) 2012
- [c63]Peter F. Patel-Schneider, Enrico Franconi: Ontology Constraints in Incomplete and Complete Data. International Semantic Web Conference (1) 2012: 444-459
- [c62]Aidan Boran, Ivan Bedini, Christopher J. Matheus, Peter F. Patel-Schneider, Stefan Bischof: An Empirical Analysis of Semantic Techniques Applied to a Network Management Classification Problem. Web Intelligence 2012: 90-96
- 2011
- [c61]Alan Jeffrey, Peter F. Patel-Schneider: Integrity Constraints for Linked Data. Description Logics 2011
- [c60]Aidan Boran, Ivan Bedini, Christopher J. Matheus, Peter F. Patel-Schneider, John Keeney: Choosing Between Axioms, Rules and Queries: Experiments in Semantic Integration Techniques. OWLED 2011
- [c59]Aidan Boran, Ivan Bedini, Christopher J. Matheus, Peter F. Patel-Schneider, John Keeney: A Smart Campus Prototype for Demonstrating the Semantic Integration of Heterogeneous Data. RR 2011: 238-243
- [c58]Ivan Bedini, Christopher J. Matheus, Peter F. Patel-Schneider, Aidan Boran, Benjamin Nguyen: Transforming XML Schema to OWL Using Patterns. ICSC 2011: 102-109
- [c57]John Keeney, Aidan Boran, Ivan Bedini, Christopher J. Matheus, Peter F. Patel-Schneider: Approaches to Relating and Integrating Semantic Data from Heterogeneous Sources. Web Intelligence 2011: 170-177
- [e10]Axel Polleres, Claudia d'Amato, Marcelo Arenas, Siegfried Handschuh, Paula Kroner, Sascha Ossowski, Peter F. Patel-Schneider (Eds.): Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures. Lecture Notes in Computer Science 6848, Springer 2011, ISBN 978-3-642-23031-8
- [i1]Peter F. Patel-Schneider, Roberto Sebastiani: A New General Method to Generate Random Modal Formulae for Testing Decision Procedures. CoRR abs/1106.5261 (2011)
- 2010
- [e9]Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm (Eds.): The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I. Lecture Notes in Computer Science 6496, Springer 2010, ISBN 978-3-642-17745-3
- [e8]Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm (Eds.): The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II. Lecture Notes in Computer Science 6497, Springer 2010, ISBN 978-3-642-17748-4
2000 – 2009
- 2009
- [c56]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
- [c55]Birte Glimm, Matthew Horridge, Bijan Parsia, Peter F. Patel-Schneider: A Syntax for Rules in OWL 2. OWLED 2009
- [e7]Rinke Hoekstra, Peter F. Patel-Schneider (Eds.): Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), Chantilly, VA, United States, October 23-24, 2009. CEUR Workshop Proceedings 529, CEUR-WS.org 2009
- 2008
- [j30]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
- [j29]Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider: Optimizing Terminological Reasoning for Expressive Description Logics. J. Autom. Reasoning 39(3): 277-316 (2007)
- [j28]Peter F. Patel-Schneider: Book Review. Journal of Logic, Language and Information 16(3): 357-359 (2007)
- [j27]Peter F. Patel-Schneider, Ian Horrocks: A comparison of two modelling paradigms in the Semantic Web. J. Web Sem. 5(4): 240-250 (2007)
- [e6]Carey L. Williamson, Mary Ellen Zurko, Peter F. Patel-Schneider, Prashant J. Shenoy (Eds.): Proceedings of the 16th International Conference on World Wide Web, WWW 2007, Banff, Alberta, Canada, May 8-12, 2007. ACM 2007, ISBN 978-1-59593-654-7
- 2006
- [c54]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
- [c53]Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler: Next Steps for OWL. OWLED 2006
- [c52]Peter F. Patel-Schneider, Ian Horrocks: Position paper: a comparison of two modelling paradigms in the Semantic Web. WWW 2006: 3-12
- [e5]Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider (Eds.): Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, Galway, Ireland, November 11-12, 2005. CEUR Workshop Proceedings 188, CEUR-WS.org 2006
- 2005
- [j26]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)
- [j25]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)
- [c51]
- [c50]
- [c49]Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, James A. Hendler: Semantic Web Architecture: Stack or Two Towers?. PPSWR 2005: 37-41
- [c48]Peter F. Patel-Schneider: Requirements and Non-Requirements for a Semantic Web Rule Language. Rule Languages for Interoperability 2005
- 2004
- [j24]Ian Horrocks, Peter F. Patel-Schneider: Reducing OWL entailment to description logic satisfiability. J. Web Sem. 1(4): 345-357 (2004)
- [j23]Peter F. Patel-Schneider, Steffen Staab: World Wide Web Conference 2004 - Semantic Web Track. J. Web Sem. 2(2): 107 (2004)
- [c47]
- [c46]
- [c45]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
- [c44]Bijan Parsia, Peter F. Patel-Schneider: Meaning and the semantic web. WWW (Alternate Track Papers & Posters) 2004: 306-307
- [c43]
- 2003
- [j22]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)
- [j21]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)
- [j20]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)
- [c42]Ian Horrocks, Peter F. Patel-Schneider: Reducing OWL Entailment to Description Logic Satisfability. Description Logics 2003
- [c41]Deborah L. McGuinness, Peter F. Patel-Schneider: From Description Logic Provers to Knowledge Representation Systems. Description Logic Handbook 2003: 265-281
- [c40]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
- [c39]Ian Horrocks, Peter F. Patel-Schneider: Reducing OWL Entailment to Description Logic Satisfiability. International Semantic Web Conference 2003: 17-29
- [c38]Ian Horrocks, Peter F. Patel-Schneider: Three theses of representation in the semantic web. WWW 2003: 39-47
- [c37]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
- [e4]Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider (Eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press 2003, ISBN 0-521-78176-0
- 2002
- [j19]Ian Horrocks, Peter F. Patel-Schneider: Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability. J. Autom. Reasoning 28(2): 173-204 (2002)
- [j18]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)
- [c36]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
- [c35]Peter F. Patel-Schneider, Dieter Fensel: Layering the Semantic Web: Problems and Directions. International Semantic Web Conference 2002: 16-29
- [c34]Peter F. Patel-Schneider, Jérôme Siméon: Building the Semantic Web on XML. International Semantic Web Conference 2002: 147-161
- [c33]Peter F. Patel-Schneider, Jérôme Siméon: The Yin/Yang web: XML syntax and RDF semantics. WWW 2002: 443-453
- 2001
- [j17]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)
- [c32]Peter F. Patel-Schneider, Roberto Sebastiani: A New System and Methodology for Generating Random Modal Formulae. IJCAR 2001: 464-468
- [c31]
- [e3]Carole A. Goble, Deborah L. McGuinness, Ralf Möller, Peter F. Patel-Schneider (Eds.): Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001. CEUR Workshop Proceedings 49, CEUR-WS.org 2001
- 2000
- [j16]Ian Horrocks, Peter F. Patel-Schneider, Roberto Sebastiani: An Analysis of Empirical Testing for Modal Decision Procedures. Logic Journal of the IGPL 8(3): 293-323 (2000)
- [c30]
- [c29]
- [c28]
1990 – 1999
- 1999
- [j15]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)
- [j14]Peter F. Patel-Schneider: Review of One Jump Ahead: Challenging Human Supremacy in Checkers. AI Magazine 20(1): 138-139 (1999)
- [j13]Peter F. Patel-Schneider, Marie-Christine Rousset: Editorial: Special Issue on Description Logics. J. Log. Comput. 9(3): 265-266 (1999)
- [j12]Ian Horrocks, Peter F. Patel-Schneider: Optimizing Description Logic Subsumption. J. Log. Comput. 9(3): 267-293 (1999)
- [j11]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)
- [c27]Sean Bechhofer, Ian Horrocks, Peter F. Patel-Schneider, Sergio Tessaris: A Proposal for a Description Logic Interface. Description Logics 1999
- [c26]Alexander Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider: Explaining ALC Subsumption. Description Logics 1999
- [c25]Ian Horrocks, Peter F. Patel-Schneider: Performance of DLP on Random Modal Formulae. Description Logics 1999
- [c24]
- [c23]
- [c22]
- [e2]Patrick Lambrix, Alexander Borgida, Maurizio Lenzerini, Ralf Möller, Peter F. Patel-Schneider (Eds.): Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999. CEUR Workshop Proceedings 22, CEUR-WS.org 1999
- 1998
- [j10]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)
- [c21]Deborah L. McGuinness, Peter F. Patel-Schneider: Usability Issues in Knowledge Representation Systems. AAAI/IAAI 1998: 608-614
- [c20]Ian Horrocks, Peter F. Patel-Schneider: Optimising Propositional Modal Satisfiability for Description Logic Subsumption. AISC 1998: 234-246
- [c19]Ian Horrocks, Peter F. Patel-Schneider: DL Systems Comparison (Summary Relation). Description Logics 1998
- [c18]Ian Horrocks, Peter F. Patel-Schneider: Comparing Subsumption Optimizations. Description Logics 1998
- [c17]
- [c16]
- [c15]
- [c14]
- 1997
- [c13]Deborah L. McGuinness, Peter F. Patel-Schneider: Usability Issues in DL Systems. Description Logics 1997
- [c12]Peter F. Patel-Schneider: Preliminary Investigations into Interactive Classification in DL. Description Logics 1997
- [c11]Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider: Modeling Dynamic Collections of Interdependent Objects Using Path-Based Rules. OOPSLA 1997: 77-92
- 1996
- [c10]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
- [e1]Lin Padgham, Enrico Franconi, Manfred Gehrke, Deborah L. McGuinness, Peter F. Patel-Schneider (Eds.): Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA. AAAI Technical Report WS-96-05, AAAI Press 1996, ISBN 1-57735-014-6
- 1995
- [c9]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
- [j9]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
- [c8]
- [c7]Peter F. Patel-Schneider: Partial Reasoning in Knowledge Representation Systems Based on Description Logics. Description Logics 1992: 74-75
- [c6]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
- [c5]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
- [j8]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)
- [c4]Peter F. Patel-Schneider: Handling Computational Difficulties with Reasoning in Terminological Logics. Description Logics 1991: 93-96
- 1990
- [j7]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)
- [j6]Peter F. Patel-Schneider: Practical, object-based knowledge representation for knowledge-based systems. Inf. Syst. 15(1): 9-19 (1990)
- [j5]Peter F. Patel-Schneider: A Decidable First-Order Logic for Knowldge Representation. J. Autom. Reasoning 6(4): 361-388 (1990)
1980 – 1989
- 1989
- [j4]Peter F. Patel-Schneider: A Four-Valued Semantics for Terminological Logics. Artif. Intell. 38(3): 319-351 (1989)
- [j3]Peter F. Patel-Schneider: Undecidability of Subsumption in NIKL. Artif. Intell. 39(2): 263-272 (1989)
- [j2]Peter F. Patel-Schneider: Book Review: Non-Standard Logics for Automated Reasoning by P. Smets, E. H. Mamdani, D. Dubois, and H. Prade (Academic Press). SIGART Newsletter 108: 215-216 (1989)
- 1988
- [c3]Peter F. Patel-Schneider: Adding Number Restrictions to a Four-Valued Terminological Logic. AAAI 1988: 485-490
- 1987
- [j1]Peter F. Patel-Schneider: A hybrid, decidable, logic-based knowledge representation system. Computational Intelligence 3: 64-77 (1987)
- 1986
- [c2]Peter F. Patel-Schneider: A Four-Valued Semantics for Frame-Based Description Languages. AAAI 1986: 344-348
- 1985
- [c1]Peter F. Patel-Schneider: A Decidable First-Order Logic for Knowledge Representation. IJCAI 1985: 455-458
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:54 CEST by the dblp team