Peter F. Patel-Schneider

Bing Citeseer DBLP Google Google Scholar Kosmix Wikipedia Yahoo!
Loading Google Thumbnails...
2012
60Ontology Constraints in Incomplete and Complete Data. Peter F. Patel-Schneider, Enrico Franconi. International Semantic Web Conference (1) 2012, 444-459. Web SearchBibTeXDownload
2011
59A New General Method to Generate Random Modal Formulae for Testing Decision Procedures. Peter F. Patel-Schneider, Roberto Sebastiani. CoRR (abs/1106.5261) (2011). Web SearchBibTeXDownload
58Integrity Constraints for Linked Data. Alan Jeffrey, Peter F. Patel-Schneider. Description Logics 2011. Web SearchBibTeXDownload
57Transforming XML Schema to OWL Using Patterns. Ivan Bedini, Christopher J. Matheus, Peter F. Patel-Schneider, Aidan Boran, Benjamin Nguyen. ICSC 2011, 102-109. Web SearchBibTeXDownload
56Choosing Between Axioms, Rules and Queries: Experiments in Semantic Integration Techniques. Aidan Boran, Ivan Bedini, Christopher J. Matheus, Peter F. Patel-Schneider, John Keeney. OWLED 2011. Web SearchBibTeXDownload
55A Smart Campus Prototype for Demonstrating the Semantic Integration of Heterogeneous Data. Aidan Boran, Ivan Bedini, Christopher J. Matheus, Peter F. Patel-Schneider, John Keeney. RR 2011, 238-243. Web SearchBibTeXDownload
54Approaches to Relating and Integrating Semantic Data from Heterogeneous Sources. John Keeney, Aidan Boran, Ivan Bedini, Christopher J. Matheus, Peter F. Patel-Schneider. Web Intelligence 2011, 170-177. Web SearchBibTeXDownload
2009
53"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality. Ronald J. Brachman, Alexander Borgida, Deborah L. McGuinness, Alexander Borgida. Conceptual Modeling: Foundations and Applications 2009, 436-465. Web SearchBibTeXDownload
2008
52OWL 2: The next step for OWL. Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler. J. Web Sem. (6): 309-322 (2008). Web SearchBibTeXDownload
2007
51Optimizing Terminological Reasoning for Expressive Description Logics. Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider. J. Autom. Reasoning (39): 277-316 (2007). Web SearchBibTeXDownload
50Book Review. Martin Raubal, Scott Weinstein. Journal of Logic, Language and Information (16): 221-232 (2007). Web SearchBibTeXDownload
49A comparison of two modelling paradigms in the Semantic Web. Peter F. Patel-Schneider, Ian Horrocks. J. Web Sem. (5): 240-250 (2007). Web SearchBibTeXDownload
2006
48DIG 2.0 -- Towards a Flexible Interface for Description Logic Reasoners. Sean Bechhofer, Thorsten Liebig, Marko Luther, Olaf Noppens, Peter F. Patel-Schneider, Boontawee Suntisrivaraporn, Anni-Yasmin Turhan, Timo Weithöner. OWLED 2006. Web SearchBibTeXDownload
47Next Steps for OWL. Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler. OWLED 2006. Web SearchBibTeXDownload
46Position paper: a comparison of two modelling paradigms in the Semantic Web. Peter F. Patel-Schneider, Ian Horrocks. WWW 2006, 3-12. Web SearchBibTeXDownload
2005
45Improving User Experience through Rule-based Service Customization. Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Peter F. Patel-Schneider, Arnaud Sahuguet, Sriram Varadarajan, Avinash Vyas. Int. J. Cooperative Inf. Syst. (14): 469-502 (2005). Cited by 4Web SearchBibTeXDownload
44OWL rules: A proposal and prototype implementation. Ian Horrocks, Peter F. Patel-Schneider, Sean Bechhofer, Dmitry Tsarkov. J. Web Sem. (3): 23-40 (2005). Web SearchBibTeXDownload
43Semantic Web Architecture: Stack or Two Towers?. Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, James A. Hendler. PPSWR 2005, 37-41. Web SearchBibTeXDownload
2004
42World Wide Web Conference 2004 - Semantic Web Track. Peter F. Patel-Schneider, Steffen Staab. J. Web Sem. (2): 107 (2004). Web SearchBibTeXDownload
41Reducing OWL entailment to description logic satisfiability. Ian Horrocks, Peter F. Patel-Schneider. J. Web Sem. (1): 345-357 (2004). Web SearchBibTeXDownload
40Enabling Context-Aware and Privacy-Conscious User Data Sharing. Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Peter F. Patel-Schneider, Arnaud Sahuguet, Sriram Varadarajan, Avinash Vyas. Mobile Data Management 2004, 187-198. Cited by 79Web SearchBibTeXDownload
39A proposal for an owl rules language. Ian Horrocks, Peter F. Patel-Schneider. WWW 2004, 723-731. Web SearchBibTeXDownload
2003
38From Description Logic Provers to Knowledge Representation Systems. Deborah L. McGuinness, Peter F. Patel-Schneider. Description Logic Handbook 2003, 265-281. Web SearchBibTeX
37Reducing OWL Entailment to Description Logic Satisfability. Ian Horrocks, Peter F. Patel-Schneider. Description Logics 2003. Web SearchBibTeXDownload
36"Everything Personal, Not Just Business: " Improving User Experience through Rule-Based Service Customization. Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Peter F. Patel-Schneider, Arnaud Sahuguet, Sriram Varadarajan, Avinash Vyas. ICSOC 2003, 149-164. Cited by 9Web SearchBibTeXDownload
35The Yin/Yang Web: A Unified Model for XML Syntax and RDF Semantics. Peter F. Patel-Schneider, Jérôme Siméon. IEEE Trans. Knowl. Data Eng. (15): 797-812 (2003). Cited by 28Web SearchBibTeXDownload
34Reducing OWL Entailment to Description Logic Satisfiability. Ian Horrocks, Peter F. Patel-Schneider. International Semantic Web Conference 2003, 17-29. Web SearchBibTeXDownload
33A New General Method to Generate Random Modal Formulae for Testing Decision Procedures. Peter F. Patel-Schneider, Roberto Sebastiani. J. Artif. Intell. Res. (JAIR) (18): 351-389 (2003). Web SearchBibTeXDownload
32From SHIQ and RDF to OWL: the making of a Web Ontology Language. Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen. J. Web Sem. (1): 7-26 (2003). Web SearchBibTeXDownload
31Three theses of representation in the semantic web. Ian Horrocks, Peter F. Patel-Schneider. WWW 2003, 39-47. Web SearchBibTeXDownload
30Rule-based Service Customization via Houdini. Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Peter F. Patel-Schneider, Arnaud Sahuguet, Sriram Varadarajan, Avinash Vyas. WWW (Posters) 2003. Cited by 3Web SearchBibTeXDownload
2002
29Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web. Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen. AAAI/IAAI 2002, 792-797. Web SearchBibTeXDownload
28Building the Semantic Web on XML. Peter F. Patel-Schneider, Jérôme Siméon. International Semantic Web Conference 2002, 147-161. Cited by 31Web SearchBibTeXDownload
27Layering the Semantic Web: Problems and Directions. Peter F. Patel-Schneider, Dieter Fensel. International Semantic Web Conference 2002, 16-29. Web SearchBibTeXDownload
26Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability. Ian Horrocks, Peter F. Patel-Schneider. J. Autom. Reasoning (28): 173-204 (2002). Web SearchBibTeXDownload
25The Yin/Yang web: XML syntax and RDF semantics. Peter F. Patel-Schneider, Jérôme Siméon. WWW 2002, 443-453. Cited by 69Web SearchBibTeXDownload
2001
24The Generation of DAML+OIL. Ian Horrocks, Peter F. Patel-Schneider. Description Logics 2001. Web SearchBibTeXDownload
23OIL: An Ontology Infrastructure for the Semantic Web. Dieter Fensel, Frank van Harmelen, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider. IEEE Intelligent Systems (16): 38-45 (2001). Web SearchBibTeXDownload
22A New System and Methodology for Generating Random Modal Formulae. Peter F. Patel-Schneider, Roberto Sebastiani. IJCAR 2001, 464-468. Web SearchBibTeXDownload
2000
21An Analysis of Empirical Testing for Modal Decision Procedures. Ian Horrocks, Peter F. Patel-Schneider, Roberto Sebastiani. Logic Journal of the IGPL (8): 293-323 (2000). Web SearchBibTeXDownload
1999
20"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality. Ronald J. Brachman, Alexander Borgida, Deborah L. McGuinness, Alexander Borgida. Artif. Intell. (114): 203-237 (1999). Web SearchBibTeXDownload
19Performance of DLP on Random Modal Formulae. Ian Horrocks, Peter F. Patel-Schneider. Description Logics 1999. Web SearchBibTeXDownload
18Explaining ALC Subsumption. Alexander Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider. Description Logics 1999. Web SearchBibTeXDownload
17A Proposal for a Description Logic Interface. Sean Bechhofer, Ian Horrocks, Peter F. Patel-Schneider, Sergio Tessaris. Description Logics 1999. Web SearchBibTeXDownload
16Editorial: Special Issue on Description Logics. Peter F. Patel-Schneider, Marie-Christine Rousset. J. Log. Comput. (9): 265-266 (1999). Web SearchBibTeXDownload
15Report on the 1998 International Workshop on Description Logics (DL'98). Enrico Franconi, Giuseppe De Giacomo, Ian Horrocks, Deborah L. McGuinness, Werner Nutt, Peter F. Patel-Schneider, Christopher A. Welty. J. Log. Comput. (9): 449-456 (1999). Web SearchBibTeXDownload
14Optimizing Description Logic Subsumption. Ian Horrocks, Peter F. Patel-Schneider. J. Log. Comput. (9): 267-293 (1999). Web SearchBibTeXDownload
13DLP and FaCT. Peter F. Patel-Schneider, Ian Horrocks. TABLEAUX 1999, 19-23. Web SearchBibTeXDownload
1998
12Usability Issues in Knowledge Representation Systems. Deborah L. McGuinness, Peter F. Patel-Schneider. AAAI/IAAI 1998, 608-614. Web SearchBibTeXDownload
11Optimising Propositional Modal Satisfiability for Description Logic Subsumption. Ian Horrocks, Peter F. Patel-Schneider. AISC 1998, 234-246. Web SearchBibTeXDownload
10Comparing Subsumption Optimizations. Ian Horrocks, Peter F. Patel-Schneider. Description Logics 1998. Web SearchBibTeXDownload
9DL Systems Comparison (Summary Relation). Ian Horrocks, Peter F. Patel-Schneider. Description Logics 1998. Web SearchBibTeXDownload
8A description logic-based configurator on the web. Deborah L. McGuinness, Charles L. Isbell, Matt Parker, Peter F. Patel-Schneider, Lori Alperin Resnick, Christopher A. Welty. SIGART Bulletin (9): 20-22 (1998). Web SearchBibTeXDownload
7FaCT and DLP. Ian Horrocks, Peter F. Patel-Schneider. TABLEAUX 1998, 27-30. Web SearchBibTeXDownload
1997
6Usability Issues in DL Systems. Deborah L. McGuinness, Peter F. Patel-Schneider. Description Logics 1997. Web SearchBibTeXDownload
1994
5A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. Alexander Borgida, Peter F. Patel-Schneider. J. Artif. Intell. Res. (JAIR) (1): 277-308 (1994). Web SearchBibTeXDownload
1992
4The CLASSIC Knowledge Representation System or, KL-ONE: The Next Generation. Ronald J. Brachman, Alexander Borgida, Deborah L. McGuinness, Peter F. Patel-Schneider, Lori Alperin Resnick. FGCS 1992, 1036-1043. Web SearchBibTeX
3The DARPA Knowledge Sharing Effort: A Progress Report. Ramesh S. Patil, Richard Fikes, Peter F. Patel-Schneider, Donald P. McKay, Timothy W. Finin, Thomas R. Gruber, Robert Neches. KR 1992, 777-788. Web SearchBibTeX
1991
2The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale. Peter F. Patel-Schneider, Deborah L. McGuinness, Alexander Borgida. SIGART Bulletin (2): 108-113 (1991). Web SearchBibTeXDownload
1990
1Term Subsumption Languages in Knowledge Representation. 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. AI Magazine (11): 16-23 (1990). Web SearchBibTeXDownload
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research