Peter F. Patel-Schneider

141 papers A* 14A 4B 6Misc 4Journal 41Unranked 58

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Multi-Axial Mindset for Ontology Design Lessons from Wikidata's Polyhierarchical Structure. CoRR Ege Atacan Dogan, Peter F. Patel-Schneider
2025	—	`conf`	Benchmarking SPARQL Engines on Wikidata Queries. Wikidata Peter F. Patel-Schneider
2025	—	`conf`	Wikidata as a Challenge for Rule Systems. RuleML+RR (Companion) Peter F. Patel-Schneider, Ege Atacan Dogan
2024	J	`jnl`	Class Order Disorder in Wikidata and First Fixes. CoRR Peter F. Patel-Schneider, Ege Atacan Dogan
2024	—	`conf`	Disjointness Violations in Wikidata. KGSWC Ege Atacan Dogan, Peter F. Patel-Schneider
2024	J	`jnl`	Disjointness Violations in Wikidata. CoRR Ege Atacan Dogan, Peter F. Patel-Schneider
2024	—	`conf`	Equality Generating Dependencies in Description Logics via Path Agreements. AI (2) Eva Feng, Enrico Franconi, Peter F. Patel-Schneider, David Toman, Grant E. Weddell
2023	—	`conf`	Path Description Dependencies in Feature-Based DLs. Description Logics Eva Feng, Alexander Borgida, Enrico Franconi, Peter F. Patel-Schneider, David Toman, Grant E. Weddell
2020	J	`jnl`	Wikidata Constraints on MARS (Extended Technical Report). CoRR David L. Martin, Peter F. Patel-Schneider
2020	—	`conf`	Wikidata Constraints on MARS. Wikidata@ISWC David L. Martin, Peter F. Patel-Schneider
2020	—	`conf`	Wikidata on MARS (Preliminary Report). Description Logics Peter F. Patel-Schneider, David L. Martin
2020	J	`jnl`	Wikidata on MARS. CoRR Peter F. Patel-Schneider, David L. Martin
2018	B	`conf`	Automating Class/Instance Representational Choices in Knowledge Bases. EKAW Ankur Padia, David L. Martin, Peter F. Patel-Schneider
2018	B	`conf`	Comparative Preferences in SPARQL. EKAW Peter F. Patel-Schneider, Axel Polleres, David L. Martin
2018	—	`conf`	Contextualization via Qualifiers. CKGSemStats@ISWC Peter F. Patel-Schneider
2018	—	`conf`	Fixing Comparative Preferences for SPARQL. ISWC (P&D/Industry/BlueSky) Peter F. Patel-Schneider, Axel Polleres, David L. Martin
2017	J	`jnl`	ASHACL: Alternative Shapes Constraint Language. CoRR Peter F. Patel-Schneider
2016	—	`conf`	EXISTStential Aspects of SPARQL. ISWC (Posters & Demos) Peter F. Patel-Schneider, David L. Martin
2015	J	`jnl`	An End-to-End Conversational Second Screen Application for TV Program Discovery. AI Mag. Peter Z. Yeh, Deepak Ramachandran, Benjamin Douglas, Adwait Ratnaparkhi, William Jarrold, Ronald Provine, Peter F. Patel-Schneider, Stephen Laverty, Nirvana Tikku, Sean Brown, Jeremy Mendel, Adam Emfield
2015	—	`conf`	CogMap: A Cognitive Support Approach to Property and Instance Alignment. ISWC (1) Jan Nößner, David L. Martin, Peter Z. Yeh, Peter F. Patel-Schneider
2015	A*	`conf`	Using Description Logics for RDF Constraint Checking and Closed-World Recognition. AAAI Peter F. Patel-Schneider
2014	A*	`conf`	A Speech-Driven Second Screen Application for TV Program Discovery. AAAI Peter Z. Yeh, Benjamin Douglas, William Jarrold, Adwait Ratnaparkhi, Deepak Ramachandran, Peter F. Patel-Schneider, Stephen Laverty, Nirvana Tikku, Sean Brown, Jeremy Mendel
2014	—	`conf`	Analyzing Schema.org. ISWC (1) Peter F. Patel-Schneider
2014	—	`conf`	Ontologies in Enterprise Application: Dimensional Comparison. FOMI@FOIS Valeria de Paiva, William Jarrold, David L. Martin, Peter F. Patel-Schneider, Karen Wallace, Peter Z. Yeh
2014	J	`jnl`	Using Description Logics for RDF Constraint Checking and Closed-World Recognition. CoRR Peter F. Patel-Schneider
2013	—	`conf`	Finite Models in RDF(S), with Datatypes. ISWC (Posters & Demos) Peter F. Patel-Schneider, Patrick J. Hayes
2012	—	`conf`	An Empirical Analysis of Semantic Techniques Applied to a Network Management Classification Problem. Web Intelligence Aidan Boran, Ivan Bedini, Christopher J. Matheus, Peter F. Patel-Schneider, Stefan Bischof
2012	—	`conf`	Challenges in the Core of Ontology Support Systems. KDIR Peter F. Patel-Schneider
2012	J	`jnl`	Comments on "WebPIE: A Web-scale parallel inference engine using MapReduce". J. Web Semant. Peter F. Patel-Schneider
2012	—	`conf`	Ontology Constraints in Incomplete and Complete Data. ISWC (1) Peter F. Patel-Schneider, Enrico Franconi
2012	—	`conf`	Reasoning in RDFS is Inherently Serial, At Least in The Worst Case. ISWC (Posters & Demos) Peter F. Patel-Schneider
2011	J	`jnl`	A New General Method to Generate Random Modal Formulae for Testing Decision Procedures CoRR Peter F. Patel-Schneider, Roberto Sebastiani
2011	—	`conf`	A Smart Campus Prototype for Demonstrating the Semantic Integration of Heterogeneous Data. RR Aidan Boran, Ivan Bedini, Christopher J. Matheus, Peter F. Patel-Schneider, John Keeney
2011	—	`conf`	Approaches to Relating and Integrating Semantic Data from Heterogeneous Sources. Web Intelligence John Keeney, Aidan Boran, Ivan Bedini, Christopher J. Matheus, Peter F. Patel-Schneider
2011	—	`conf`	Choosing Between Axioms, Rules and Queries: Experiments in Semantic Integration Techniques. OWLED Aidan Boran, Ivan Bedini, Christopher J. Matheus, Peter F. Patel-Schneider, John Keeney
2011	—	`conf`	Integrity Constraints for Linked Data. Description Logics Alan Jeffrey, Peter F. Patel-Schneider
2011	—	`ch.`	KR and Reasoning on the Semantic Web: OWL. Handbook of Semantic Web Technologies Ian Horrocks, Peter F. Patel-Schneider
2011	—	`ed.`	Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures Reasoning Web Axel Polleres, Claudia d'Amato, Marcelo Arenas, Siegfried Handschuh, Paula Kroner, Sascha Ossowski, Peter F. Patel-Schneider
2011	—	`conf`	Transforming XML Schema to OWL Using Patterns. ICSC Ivan Bedini, Christopher J. Matheus, Peter F. Patel-Schneider, Aidan Boran, Benjamin Nguyen
2010	—	`ed.`	The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I ISWC (1) Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm
2010	—	`ed.`	The Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II ISWC (2) Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm
2009	—	`conf`	"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality. Conceptual Modeling: Foundations and Applications Ronald J. Brachman, Alexander Borgida, Deborah L. McGuinness, Peter F. Patel-Schneider
2009	—	`conf`	A Syntax for Rules in OWL 2. OWLED Birte Glimm, Matthew Horridge, Bijan Parsia, Peter F. Patel-Schneider
2009	—	`ed.`	Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), Chantilly, VA, United States, October 23-24, 2009 OWLED Rinke Hoekstra, Peter F. Patel-Schneider
2009	—	`ed.`	Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, Washington, DC, USA, 1-2 April 2008. OWLED (Spring) Kendall Clark, Peter F. Patel-Schneider
2008	—	`conf`	Manchester Syntax for OWL 1.1. OWLED (Spring) Matthew Horridge, Peter F. Patel-Schneider
2008	J	`jnl`	OWL 2: The next step for OWL. J. Web Semant. Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler
2008	—	`conf`	Safe Rules for OWL 1.1 (Statement of Interest). OWLED (Spring) Peter F. Patel-Schneider
2007	J	`jnl`	A comparison of two modelling paradigms in the Semantic Web. J. Web Semant. Peter F. Patel-Schneider, Ian Horrocks
2007	J	`jnl`	Book Review. J. Log. Lang. Inf. Peter F. Patel-Schneider
2007	J	`jnl`	Optimizing Terminological Reasoning for Expressive Description Logics. J. Autom. Reason. Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider
2007	A*	`ed.`	Proceedings of the 16th International Conference on World Wide Web, WWW 2007, Banff, Alberta, Canada, May 8-12, 2007 WWW Carey L. Williamson, Mary Ellen Zurko, Peter F. Patel-Schneider, Prashant J. Shenoy
2006	—	`conf`	DIG 2.0 -- Towards a Flexible Interface for Description Logic Reasoners. OWLED Sean Bechhofer, Thorsten Liebig, Marko Luther, Olaf Noppens, Peter F. Patel-Schneider, Boontawee Suntisrivaraporn, Anni-Yasmin Turhan, Timo Weithöner
2006	—	`conf`	Next Steps for OWL. OWLED Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler
2006	A*	`conf`	Position paper: a comparison of two modelling paradigms in the Semantic Web. WWW Peter F. Patel-Schneider, Ian Horrocks
2006	—	`ed.`	Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, Galway, Ireland, November 11-12, 2005 OWLED Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider
2005	—	`conf`	A Revised Architecture for Semantic Web Reasoning. PPSWR Peter F. Patel-Schneider
2005	A*	`conf`	Building the Semantic Web Tower from RDF Straw. IJCAI Peter F. Patel-Schneider
2005	J	`jnl`	Improving User Experience through Rule-based Service Customization. Int. J. Cooperative Inf. Syst. Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Peter F. Patel-Schneider, Arnaud Sahuguet, Sriram Varadarajan, Avinash Vyas
2005	J	`jnl`	OWL rules: A proposal and prototype implementation. J. Web Semant. Ian Horrocks, Peter F. Patel-Schneider, Sean Bechhofer, Dmitry Tsarkov
2005	—	`conf`	Requirements and Non-Requirements for a Semantic Web Rule Language. Rule Languages for Interoperability Peter F. Patel-Schneider
2005	—	`conf`	Semantic Web Architecture: Stack or Two Towers?. PPSWR Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, James A. Hendler
2004	A*	`conf`	A proposal for an owl rules language. WWW Ian Horrocks, Peter F. Patel-Schneider
2004	B	`conf`	Enabling Context-Aware and Privacy-Conscious User Data Sharing. Mobile Data Management Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Peter F. Patel-Schneider, Arnaud Sahuguet, Sriram Varadarajan, Avinash Vyas
2004	—	`conf`	Meaning and the semantic web. WWW (Alternate Track Papers & Posters) Bijan Parsia, Peter F. Patel-Schneider
2004	J	`jnl`	Reducing OWL entailment to description logic satisfiability. J. Web Semant. Ian Horrocks, Peter F. Patel-Schneider
2004	—	`conf`	The Semantic Web and Knowledge Representation. ENC Peter F. Patel-Schneider
2004	A*	`conf`	What Is OWL (and Why Should I Care)? KR Peter F. Patel-Schneider
2004	J	`jnl`	World Wide Web Conference 2004 - Semantic Web Track. J. Web Semant. Peter F. Patel-Schneider, Steffen Staab
2003	A	`conf`	"Everything Personal, Not Just Business: " Improving User Experience through Rule-Based Service Customization. ICSOC Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Peter F. Patel-Schneider, Arnaud Sahuguet, Sriram Varadarajan, Avinash Vyas
2003	J	`jnl`	A New General Method to Generate Random Modal Formulae for Testing Decision Procedures. J. Artif. Intell. Res. Peter F. Patel-Schneider, Roberto Sebastiani
2003	—	`ch.`	From Description Logic Provers to Knowledge Representation Systems. Description Logic Handbook Deborah L. McGuinness, Peter F. Patel-Schneider
2003	J	`jnl`	From SHIQ and RDF to OWL: the making of a Web Ontology Language. J. Web Semant. Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen
2003	—	`conf`	Reducing OWL Entailment to Description Logic Satisfability. Description Logics Ian Horrocks, Peter F. Patel-Schneider
2003	Misc	`conf`	Reducing OWL Entailment to Description Logic Satisfiability. ISWC Ian Horrocks, Peter F. Patel-Schneider
2003	—	`conf`	Rule-based Service Customization via Houdini. WWW (Posters) Richard Hull, Bharat Kumar, Daniel F. Lieuwen, Peter F. Patel-Schneider, Arnaud Sahuguet, Sriram Varadarajan, Avinash Vyas
2003	—	`book`	The Description Logic Handbook: Theory, Implementation, and Applications Description Logic Handbook Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider
2003	J	`jnl`	The Yin/Yang Web: A Unified Model for XML Syntax and RDF Semantics. IEEE Trans. Knowl. Data Eng. Peter F. Patel-Schneider, Jérôme Siméon
2003	A*	`conf`	Three theses of representation in the semantic web. WWW Ian Horrocks, Peter F. Patel-Schneider
2002	Misc	`conf`	Building the Semantic Web on XML. ISWC Peter F. Patel-Schneider, Jérôme Siméon
2002	J	`jnl`	Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability. J. Autom. Reason. Ian Horrocks, Peter F. Patel-Schneider
2002	Misc	`conf`	Layering the Semantic Web: Problems and Directions. ISWC Peter F. Patel-Schneider, Dieter Fensel
2002	J	`jnl`	R++: Adding Path-Based Rules to C++. IEEE Trans. Knowl. Data Eng. Diane J. Litman, Peter F. Patel-Schneider, Anil Mishra, James M. Crawford, Daniel Dvorak
2002	—	`conf`	Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web. AAAI/IAAI Ian Horrocks, Peter F. Patel-Schneider, Frank van Harmelen
2002	A*	`conf`	The Yin/Yang web: XML syntax and RDF semantics. WWW Peter F. Patel-Schneider, Jérôme Siméon
2002	—	`conf`	Two Proposals for a Semantic Web Ontology Language. Description Logics Peter F. Patel-Schneider
2001	A	`conf`	A New System and Methodology for Generating Random Modal Formulae. IJCAR Peter F. Patel-Schneider, Roberto Sebastiani
2001	J	`jnl`	OIL: An Ontology Infrastructure for the Semantic Web. IEEE Intell. Syst. Dieter Fensel, Frank van Harmelen, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider
2001	—	`conf`	The Generation of DAML+OIL. Description Logics Ian Horrocks, Peter F. Patel-Schneider
2001	—	`ed.`	Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001 Description Logics Carole A. Goble, Deborah L. McGuinness, Ralf Möller, Peter F. Patel-Schneider
2000	J	`jnl`	An Analysis of Empirical Testing for Modal Decision Procedures. Log. J. IGPL Ian Horrocks, Peter F. Patel-Schneider, Roberto Sebastiani
2000	A	`conf`	System Description: DLP. CADE Peter F. Patel-Schneider
2000	B	`conf`	TANCS-2000 Results for DLP. TABLEAUX Peter F. Patel-Schneider
2000	—	`conf`	What's New in DLP. Description Logics Peter F. Patel-Schneider
1999	J	`jnl`	"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality. Artif. Intell. Ronald J. Brachman, Deborah L. McGuinness, Peter F. Patel-Schneider, Alexander Borgida
1999	—	`conf`	A Proposal for a Description Logic Interface. Description Logics Sean Bechhofer, Ian Horrocks, Peter F. Patel-Schneider, Sergio Tessaris
1999	B	`conf`	DLP and FaCT. TABLEAUX Peter F. Patel-Schneider, Ian Horrocks
1999	—	`conf`	DLP. Description Logics Peter F. Patel-Schneider
1999	J	`jnl`	Editorial: Special Issue on Description Logics. J. Log. Comput. Peter F. Patel-Schneider, Marie-Christine Rousset
1999	—	`conf`	Explaining ALC Subsumption. Description Logics Alexander Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider
1999	J	`jnl`	Optimizing Description Logic Subsumption. J. Log. Comput. Ian Horrocks, Peter F. Patel-Schneider
1999	—	`conf`	Performance of DLP on Random Modal Formulae. Description Logics Ian Horrocks, Peter F. Patel-Schneider
1999	—	`ed.`	Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999 Description Logics Patrick Lambrix, Alexander Borgida, Maurizio Lenzerini, Ralf Möller, Peter F. Patel-Schneider
1999	J	`jnl`	Report on the 1998 International Workshop on Description Logics (DL'98). J. Log. Comput. Enrico Franconi, Giuseppe De Giacomo, Ian Horrocks, Deborah L. McGuinness, Werner Nutt, Peter F. Patel-Schneider, Christopher A. Welty
1999	J	`jnl`	Review of One Jump Ahead: Challenging Human Supremacy in Checkers. AI Mag. Peter F. Patel-Schneider
1999	—	`conf`	Systems Comparison. Description Logics Peter F. Patel-Schneider
1998	J	`jnl`	A description logic-based configurator on the web. SIGART Bull. Deborah L. McGuinness, Charles L. Isbell Jr., Matt Parker, Peter F. Patel-Schneider, Lori Alperin Resnick, Christopher A. Welty
1998	—	`conf`	Comparing Subsumption Optimizations. Description Logics Ian Horrocks, Peter F. Patel-Schneider
1998	—	`conf`	DL Systems Comparison (Summary Relation). Description Logics Ian Horrocks, Peter F. Patel-Schneider
1998	—	`conf`	DLP System Description. Description Logics Peter F. Patel-Schneider
1998	—	`conf`	DLP. Description Logics Peter F. Patel-Schneider
1998	B	`conf`	FaCT and DLP. TABLEAUX Ian Horrocks, Peter F. Patel-Schneider
1998	—	`conf`	NeoClassic. Description Logics Peter F. Patel-Schneider
1998	Misc	`conf`	Optimising Propositional Modal Satisfiability for Description Logic Subsumption. AISC Ian Horrocks, Peter F. Patel-Schneider
1998	—	`conf`	Usability Issues in Knowledge Representation Systems. AAAI/IAAI Deborah L. McGuinness, Peter F. Patel-Schneider
1997	A	`conf`	Modeling Dynamic Collections of Interdependent Objects Using Path-Based Rules. OOPSLA Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider
1997	—	`conf`	Preliminary Investigations into Interactive Classification in DL. Description Logics Peter F. Patel-Schneider
1997	—	`conf`	Usability Issues in DL Systems. Description Logics Deborah L. McGuinness, Peter F. Patel-Schneider
1996	—	`conf`	Path-Based Rules in Object-Oriented Programming. AAAI/IAAI, Vol. 1 James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider
1996	—	`ed.`	Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA Description Logics Lin Padgham, Enrico Franconi, Manfred Gehrke, Deborah L. McGuinness, Peter F. Patel-Schneider
1995	A*	`conf`	Device Representation and Reasoning with Affective Relations. IJCAI James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider
1994	J	`jnl`	A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. CoRR Alexander Borgida, Peter F. Patel-Schneider
1994	J	`jnl`	A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. J. Artif. Intell. Res. Alexander Borgida, Peter F. Patel-Schneider
1992	—	`conf`	Defaults and Descriptions. Description Logics Peter F. Patel-Schneider
1992	—	`conf`	Partial Reasoning in Knowledge Representation Systems Based on Description Logics. Description Logics Peter F. Patel-Schneider
1992	—	`conf`	The CLASSIC Knowledge Representation System or, KL-ONE: The Next Generation. FGCS Ronald J. Brachman, Alexander Borgida, Deborah L. McGuinness, Peter F. Patel-Schneider, Lori Alperin Resnick
1992	A*	`conf`	The DARPA Knowledge Sharing Effort: A Progress Report. KR Ramesh S. Patil, Richard Fikes, Peter F. Patel-Schneider, Donald P. McKay, Timothy W. Finin, Thomas R. Gruber, Robert Neches
1991	—	`conf`	Handling Computational Difficulties with Reasoning in Terminological Logics. Description Logics Peter F. Patel-Schneider
1991	—	`ch.`	Living wiht Classic: When and How to Use a KL-ONE-Like Language. Principles of Semantic Networks Ronald J. Brachman, Deborah L. McGuinness, Peter F. Patel-Schneider, Lori Alperin Resnick, Alexander Borgida
1991	J	`jnl`	The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale. SIGART Bull. Peter F. Patel-Schneider, Deborah L. McGuinness, Alexander Borgida
1990	J	`jnl`	A Decidable First-Order Logic for Knowldge Representation. J. Autom. Reason. Peter F. Patel-Schneider
1990	J	`jnl`	Practical, object-based knowledge representation for knowledge-based systems. Inf. Syst. Peter F. Patel-Schneider
1990	J	`jnl`	Term Subsumption Languages in Knowledge Representation. AI Mag. 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
1989	J	`jnl`	A Four-Valued Semantics for Terminological Logics. Artif. Intell. Peter F. Patel-Schneider
1989	J	`jnl`	Book Review: Non-Standard Logics for Automated Reasoning by P. Smets, E. H. Mamdani, D. Dubois, and H. Prade (Academic Press). SIGART Newsl. Peter F. Patel-Schneider
1989	J	`jnl`	Undecidability of Subsumption in NIKL. Artif. Intell. Peter F. Patel-Schneider
1988	A*	`conf`	Adding Number Restrictions to a Four-Valued Terminological Logic. AAAI Peter F. Patel-Schneider
1987	J	`jnl`	A hybrid, decidable, logic-based knowledge representation system. Comput. Intell. Peter F. Patel-Schneider
1987	—	`—`	Decidable, logic-based knowledge representation. Peter F. Patel-Schneider
1986	A*	`conf`	A Four-Valued Semantics for Frame-Based Description Languages. AAAI Peter F. Patel-Schneider
1985	A*	`conf`	A Decidable First-Order Logic for Knowledge Representation. IJCAI Peter F. Patel-Schneider