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