A Decidable First-Order Logic for Knowledge Representation. - Peter F. Patel-Schneider (IJCAI, 1985)

A Four-Valued Semantics for Frame-Based Description Languages. - Peter F. Patel-Schneider (AAAI, 1986)

A hybrid, decidable, logic-based knowledge representation system. - Peter F. Patel-Schneider (Comput. Intell., 1987)

Decidable, logic-based knowledge representation. - Peter F. Patel-Schneider (1987)

Adding Number Restrictions to a Four-Valued Terminological Logic. - Peter F. Patel-Schneider (AAAI, 1988)

Undecidability of Subsumption in NIKL. - Peter F. Patel-Schneider (Artif. Intell., 1989)

A Four-Valued Semantics for Terminological Logics. - Peter F. Patel-Schneider (Artif. Intell., 1989)

Book Review: Non-Standard Logics for Automated Reasoning by P. Smets, E. H. Mamdani, D. Dubois, and H. Prade (Academic Press). - Peter F. Patel-Schneider (SIGART Newsl., 1989)

Term 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 Mag., 1990)

Practical, object-based knowledge representation for knowledge-based systems. - Peter F. Patel-Schneider (Inf. Syst., 1990)

A Decidable First-Order Logic for Knowldge Representation. - Peter F. Patel-Schneider (J. Autom. Reason., 1990)

Living wiht Classic: When and How to Use a KL-ONE-Like Language. - Ronald J. Brachman; Deborah L. McGuinness; Peter F. Patel-Schneider; Lori Alperin Resnick; Alexander Borgida (Principles of Semantic Networks, 1991)

Handling Computational Difficulties with Reasoning in Terminological Logics. - Peter F. Patel-Schneider (Description Logics, 1991)

The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale. - Peter F. Patel-Schneider; Deborah L. McGuinness; Alexander Borgida (SIGART Bull., 1991)

Defaults and Descriptions. - Peter F. Patel-Schneider (Description Logics, 1992)

Partial Reasoning in Knowledge Representation Systems Based on Description Logics. - Peter F. Patel-Schneider (Description Logics, 1992)

The 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)

The 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)

A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. - Alexander Borgida; Peter F. Patel-Schneider (J. Artif. Intell. Res., 1994)

Device Representation and Reasoning with Affective Relations. - James M. Crawford; Daniel Dvorak; Diane J. Litman; Anil Mishra; Peter F. Patel-Schneider (IJCAI, 1995)

Path-Based Rules in Object-Oriented Programming. - James M. Crawford; Daniel Dvorak; Diane J. Litman; Anil Mishra; Peter F. Patel-Schneider (AAAI/IAAI, Vol. 1, 1996)

Usability Issues in DL Systems. - Deborah L. McGuinness; Peter F. Patel-Schneider (Description Logics, 1997)

Preliminary Investigations into Interactive Classification in DL. - Peter F. Patel-Schneider (Description Logics, 1997)

Modeling Dynamic Collections of Interdependent Objects Using Path-Based Rules. - Diane J. Litman; Anil Mishra; Peter F. Patel-Schneider (OOPSLA, 1997)

Usability Issues in Knowledge Representation Systems. - Deborah L. McGuinness; Peter F. Patel-Schneider (AAAI/IAAI, 1998)

Optimising Propositional Modal Satisfiability for Description Logic Subsumption. - Ian Horrocks 001; Peter F. Patel-Schneider (AISC, 1998)

DL Systems Comparison (Summary Relation). - Ian Horrocks 001; Peter F. Patel-Schneider (Description Logics, 1998)

Comparing Subsumption Optimizations. - Ian Horrocks 001; Peter F. Patel-Schneider (Description Logics, 1998)

NeoClassic. - Peter F. Patel-Schneider (Description Logics, 1998)

DLP System Description. - Peter F. Patel-Schneider (Description Logics, 1998)

FaCT and DLP. - Ian Horrocks 001; Peter F. Patel-Schneider (TABLEAUX, 1998)

A description logic-based configurator on the web. - Deborah L. McGuinness; Charles L. Isbell Jr.; Matt Parker; Peter F. Patel-Schneider; Lori Alperin Resnick; Christopher A. Welty (SIGART Bull., 1998)

A Proposal for a Description Logic Interface. - Sean Bechhofer; Ian Horrocks 001; Peter F. Patel-Schneider; Sergio Tessaris (Description Logics, 1999)

Explaining ALC Subsumption. - Alexander Borgida; Enrico Franconi; Ian Horrocks 001; Deborah L. McGuinness; Peter F. Patel-Schneider (Description Logics, 1999)

Performance of DLP on Random Modal Formulae. - Ian Horrocks 001; Peter F. Patel-Schneider (Description Logics, 1999)

Systems Comparison. - Peter F. Patel-Schneider (Description Logics, 1999)

DLP. - Peter F. Patel-Schneider (Description Logics, 1999)

DLP and FaCT. - Peter F. Patel-Schneider; Ian Horrocks 001 (TABLEAUX, 1999)

"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality. - Ronald J. Brachman; Deborah L. McGuinness; Peter F. Patel-Schneider; Alexander Borgida (Artif. Intell., 1999)

Review of One Jump Ahead: Challenging Human Supremacy in Checkers. - Peter F. Patel-Schneider (AI Mag., 1999)

Report on the 1998 International Workshop on Description Logics (DL'98). - Enrico Franconi; Giuseppe De Giacomo; Ian Horrocks 001; Deborah L. McGuinness; Werner Nutt; Peter F. Patel-Schneider; Christopher A. Welty (J. Log. Comput., 1999)

Optimizing Description Logic Subsumption. - Ian Horrocks 001; Peter F. Patel-Schneider (J. Log. Comput., 1999)

Editorial: Special Issue on Description Logics. - Peter F. Patel-Schneider; Marie-Christine Rousset (J. Log. Comput., 1999)

System Description: DLP. - Peter F. Patel-Schneider (CADE, 2000)

What's New in DLP. - Peter F. Patel-Schneider (Description Logics, 2000)

TANCS-2000 Results for DLP. - Peter F. Patel-Schneider (TABLEAUX, 2000)

An Analysis of Empirical Testing for Modal Decision Procedures. - Ian Horrocks 001; Peter F. Patel-Schneider; Roberto Sebastiani (Log. J. IGPL, 2000)

A New System and Methodology for Generating Random Modal Formulae. - Peter F. Patel-Schneider; Roberto Sebastiani (IJCAR, 2001)

The Generation of DAML+OIL. - Ian Horrocks 001; Peter F. Patel-Schneider (Description Logics, 2001)

OIL: An Ontology Infrastructure for the Semantic Web. - Dieter Fensel; Frank van Harmelen; Ian Horrocks 001; Deborah L. McGuinness; Peter F. Patel-Schneider (IEEE Intell. Syst., 2001)

Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web. - Ian Horrocks 001; Peter F. Patel-Schneider; Frank van Harmelen (AAAI/IAAI, 2002)

Two Proposals for a Semantic Web Ontology Language. - Peter F. Patel-Schneider (Description Logics, 2002)

Layering the Semantic Web: Problems and Directions. - Peter F. Patel-Schneider; Dieter Fensel (ISWC, 2002)

Building the Semantic Web on XML. - Peter F. Patel-Schneider; Jérôme Siméon (ISWC, 2002)

The Yin/Yang web: XML syntax and RDF semantics. - Peter F. Patel-Schneider; Jérôme Siméon (WWW, 2002)

Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability. - Ian Horrocks 001; Peter F. Patel-Schneider (J. Autom. Reason., 2002)

R++: Adding Path-Based Rules to C++. - Diane J. Litman; Peter F. Patel-Schneider; Anil Mishra; James M. Crawford; Daniel Dvorak (IEEE Trans. Knowl. Data Eng., 2002)

Reducing OWL Entailment to Description Logic Satisfability. - Ian Horrocks 001; Peter F. Patel-Schneider (Description Logics, 2003)

From Description Logic Provers to Knowledge Representation Systems. - Deborah L. McGuinness; Peter F. Patel-Schneider (Description Logic Handbook, 2003)

"Everything Personal, Not Just Business: " Improving User Experience through Rule-Based Service Customization. - Richard Hull 001; Bharat Kumar; Daniel F. Lieuwen; Peter F. Patel-Schneider; Arnaud Sahuguet; Sriram Varadarajan; Avinash Vyas (ICSOC, 2003)

Three theses of representation in the semantic web. - Ian Horrocks 001; Peter F. Patel-Schneider (WWW, 2003)

Rule-based Service Customization via Houdini. - Richard Hull 001; Bharat Kumar; Daniel F. Lieuwen; Peter F. Patel-Schneider; Arnaud Sahuguet; Sriram Varadarajan; Avinash Vyas (WWW (Posters), 2003)

A New General Method to Generate Random Modal Formulae for Testing Decision Procedures. - Peter F. Patel-Schneider; Roberto Sebastiani (J. Artif. Intell. Res., 2003)

The 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., 2003)

From SHIQ and RDF to OWL: the making of a Web Ontology Language. - Ian Horrocks 001; Peter F. Patel-Schneider; Frank van Harmelen (J. Web Semant., 2003)

The Semantic Web and Knowledge Representation. - Peter F. Patel-Schneider (ENC, 2004)

What Is OWL (and Why Should I Care)? - Peter F. Patel-Schneider (KR, 2004)

Enabling Context-Aware and Privacy-Conscious User Data Sharing. - Richard Hull 001; Bharat Kumar; Daniel F. Lieuwen; Peter F. Patel-Schneider; Arnaud Sahuguet; Sriram Varadarajan; Avinash Vyas (Mobile Data Management, 2004)

A proposal for an owl rules language. - Ian Horrocks 001; Peter F. Patel-Schneider (WWW, 2004)

Meaning and the semantic web. - Bijan Parsia; Peter F. Patel-Schneider (WWW (Alternate Track Papers & Posters), 2004)

Reducing OWL entailment to description logic satisfiability. - Ian Horrocks 001; Peter F. Patel-Schneider (J. Web Semant., 2004)

World Wide Web Conference 2004 - Semantic Web Track. - Peter F. Patel-Schneider; Steffen Staab (J. Web Semant., 2004)

Building the Semantic Web Tower from RDF Straw. - Peter F. Patel-Schneider (IJCAI, 2005)

Semantic Web Architecture: Stack or Two Towers?. - Ian Horrocks 001; Bijan Parsia; Peter F. Patel-Schneider; James A. Hendler (PPSWR, 2005)

A Revised Architecture for Semantic Web Reasoning. - Peter F. Patel-Schneider (PPSWR, 2005)

Requirements and Non-Requirements for a Semantic Web Rule Language. - Peter F. Patel-Schneider (Rule Languages for Interoperability, 2005)

Improving User Experience through Rule-based Service Customization. - Richard Hull 001; Bharat Kumar; Daniel F. Lieuwen; Peter F. Patel-Schneider; Arnaud Sahuguet; Sriram Varadarajan; Avinash Vyas (Int. J. Cooperative Inf. Syst., 2005)

OWL rules: A proposal and prototype implementation. - Ian Horrocks 001; Peter F. Patel-Schneider; Sean Bechhofer; Dmitry Tsarkov (J. Web Semant., 2005)

DIG 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)

Next Steps for OWL. - Bernardo Cuenca Grau; Ian Horrocks 001; Bijan Parsia; Peter F. Patel-Schneider; Ulrike Sattler (OWLED, 2006)

Position paper: a comparison of two modelling paradigms in the Semantic Web. - Peter F. Patel-Schneider; Ian Horrocks 001 (WWW, 2006)

Optimizing Terminological Reasoning for Expressive Description Logics. - Dmitry Tsarkov; Ian Horrocks 001; Peter F. Patel-Schneider (J. Autom. Reason., 2007)

Book Review. - Peter F. Patel-Schneider (J. Log. Lang. Inf., 2007)

A comparison of two modelling paradigms in the Semantic Web. - Peter F. Patel-Schneider; Ian Horrocks 001 (J. Web Semant., 2007)

Manchester Syntax for OWL 1.1. - Matthew Horridge; Peter F. Patel-Schneider (OWLED (Spring), 2008)

Safe Rules for OWL 1.1 (Statement of Interest). - Peter F. Patel-Schneider (OWLED (Spring), 2008)

OWL 2: The next step for OWL. - Bernardo Cuenca Grau; Ian Horrocks 001; Boris Motik; Bijan Parsia; Peter F. Patel-Schneider; Ulrike Sattler (J. Web Semant., 2008)

A Syntax for Rules in OWL 2. - Birte Glimm; Matthew Horridge; Bijan Parsia; Peter F. Patel-Schneider (OWLED, 2009)

Integrity Constraints for Linked Data. - Alan Jeffrey; Peter F. Patel-Schneider (Description Logics, 2011)

Choosing 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)

A 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)

Transforming XML Schema to OWL Using Patterns. - Ivan Bedini; Christopher J. Matheus; Peter F. Patel-Schneider; Aidan Boran; Benjamin Nguyen (ICSC, 2011)

Approaches 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)

KR and Reasoning on the Semantic Web: OWL. - Ian Horrocks 001; Peter F. Patel-Schneider (Handbook of Semantic Web Technologies, 2011)

Challenges in the Core of Ontology Support Systems. - Peter F. Patel-Schneider (KDIR, 2012)

Reasoning in RDFS is Inherently Serial, At Least in The Worst Case. - Peter F. Patel-Schneider (ISWC (Posters & Demos), 2012)

Ontology Constraints in Incomplete and Complete Data. - Peter F. Patel-Schneider; Enrico Franconi (ISWC (1), 2012)

An Empirical Analysis of Semantic Techniques Applied to a Network Management Classification Problem. - Aidan Boran; Ivan Bedini; Christopher J. Matheus; Peter F. Patel-Schneider; Stefan Bischof 002 (Web Intelligence, 2012)

Comments on "WebPIE: A Web-scale parallel inference engine using MapReduce". - Peter F. Patel-Schneider (J. Web Semant., 2012)

Finite Models in RDF(S), with Datatypes. - Peter F. Patel-Schneider; Patrick J. Hayes (ISWC (Posters & Demos), 2013)

A Speech-Driven Second Screen Application for TV Program Discovery. - Peter Z. Yeh; Benjamin Douglas; William Jarrold; Adwait Ratnaparkhi; Deepak Ramachandran; Peter F. Patel-Schneider; Stephen Laverty; Nirvana Tikku; Sean Brown 001; Jeremy Mendel (AAAI, 2014)

Ontologies in Enterprise Application: Dimensional Comparison. - Valeria de Paiva; William Jarrold; David L. Martin 001; Peter F. Patel-Schneider; Karen Wallace; Peter Z. Yeh (FOMI@FOIS, 2014)

Analyzing Schema.org. - Peter F. Patel-Schneider (ISWC (1), 2014)

Using Description Logics for RDF Constraint Checking and Closed-World Recognition. - Peter F. Patel-Schneider (AAAI, 2015)

CogMap: A Cognitive Support Approach to Property and Instance Alignment. - Jan Nößner; David L. Martin 001; Peter Z. Yeh; Peter F. Patel-Schneider (ISWC (1), 2015)

An End-to-End Conversational Second Screen Application for TV Program Discovery. - Peter Z. Yeh; Deepak Ramachandran; Benjamin Douglas; Adwait Ratnaparkhi; William Jarrold; Ronald Provine; Peter F. Patel-Schneider; Stephen Laverty; Nirvana Tikku; Sean Brown 001; Jeremy Mendel; Adam Emfield (AI Mag., 2015)

EXISTStential Aspects of SPARQL. - Peter F. Patel-Schneider; David L. Martin 001 (ISWC (Posters & Demos), 2016)

ASHACL: Alternative Shapes Constraint Language. - Peter F. Patel-Schneider (CoRR, 2017)

Automating Class/Instance Representational Choices in Knowledge Bases. - Ankur Padia; David L. Martin 001; Peter F. Patel-Schneider (EKAW, 2018)

Comparative Preferences in SPARQL. - Peter F. Patel-Schneider; Axel Polleres; David L. Martin 001 (EKAW, 2018)

Fixing Comparative Preferences for SPARQL. - Peter F. Patel-Schneider; Axel Polleres; David L. Martin 001 (ISWC (P&D/Industry/BlueSky), 2018)

Contextualization via Qualifiers. - Peter F. Patel-Schneider (CKGSemStats@ISWC, 2018)

Wikidata on MARS (Preliminary Report). - Peter F. Patel-Schneider; David L. Martin 001 (Description Logics, 2020)

Wikidata Constraints on MARS. - David L. Martin 001; Peter F. Patel-Schneider (Wikidata@ISWC, 2020)

Wikidata Constraints on MARS (Extended Technical Report). - David L. Martin 001; Peter F. Patel-Schneider (CoRR, 2020)

Wikidata on MARS. - Peter F. Patel-Schneider; David L. Martin 001 (CoRR, 2020)

Path Description Dependencies in Feature-Based DLs. - Eva Feng; Alexander Borgida; Enrico Franconi; Peter F. Patel-Schneider; David Toman 001; Grant E. Weddell (Description Logics, 2023)

Equality Generating Dependencies in Description Logics via Path Agreements. - Eva Feng; Enrico Franconi; Peter F. Patel-Schneider; David Toman 001; Grant E. Weddell (AI (2), 2024)

Disjointness Violations in Wikidata. - Ege Atacan Dogan; Peter F. Patel-Schneider (KGSWC, 2024)

Class Order Disorder in Wikidata and First Fixes. - Peter F. Patel-Schneider; Ege Atacan Dogan (CoRR, 2024)