default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPeter F. Patel-Schneider
Person information
- affiliation: Bell Labs
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c81]Eva Feng, Alexander Borgida, Enrico Franconi, Peter F. Patel-Schneider, David Toman, Grant E. Weddell:
Path Description Dependencies in Feature-Based DLs. Description Logics 2023- 2020
- [c80]Peter F. Patel-Schneider, David L. Martin:
Wikidata on MARS (Preliminary Report). Description Logics 2020 - [c79]David L. Martin, Peter F. Patel-Schneider:
Wikidata Constraints on MARS. Wikidata@ISWC 2020 - [i6]David L. Martin, Peter F. Patel-Schneider:
Wikidata Constraints on MARS (Extended Technical Report). CoRR abs/2008.03900 (2020) - [i5]Peter F. Patel-Schneider, David L. Martin:
Wikidata on MARS. CoRR abs/2008.06599 (2020)
2010 – 2019
- 2018
- [c78]Ankur Padia, David L. Martin, Peter F. Patel-Schneider:
Automating Class/Instance Representational Choices in Knowledge Bases. EKAW 2018: 273-288 - [c77]Peter F. Patel-Schneider, Axel Polleres, David L. Martin:
Comparative Preferences in SPARQL. EKAW 2018: 289-305 - [c76]Peter F. Patel-Schneider, Axel Polleres, David L. Martin:
Fixing Comparative Preferences for SPARQL. ISWC (P&D/Industry/BlueSky) 2018 - [c75]Peter F. Patel-Schneider:
Contextualization via Qualifiers. CKGSemStats@ISWC 2018 - 2017
- [i4]Peter F. Patel-Schneider:
ASHACL: Alternative Shapes Constraint Language. CoRR abs/1702.01795 (2017) - 2016
- [c74]Peter F. Patel-Schneider, David L. Martin:
EXISTStential Aspects of SPARQL. ISWC (Posters & Demos) 2016 - 2015
- [j32]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:
An End-to-End Conversational Second Screen Application for TV Program Discovery. AI Mag. 36(3): 73-89 (2015) - [c73]Peter F. Patel-Schneider:
Using Description Logics for RDF Constraint Checking and Closed-World Recognition. AAAI 2015: 247-253 - [c72]Jan Nößner, David L. Martin, Peter Z. Yeh, Peter F. Patel-Schneider:
CogMap: A Cognitive Support Approach to Property and Instance Alignment. ISWC (1) 2015: 269-285 - 2014
- [c71]Peter Z. Yeh, Benjamin Douglas, William Jarrold, Adwait Ratnaparkhi, Deepak Ramachandran, Peter F. Patel-Schneider, Stephen Laverty, Nirvana Tikku, Sean Brown, Jeremy Mendel:
A Speech-Driven Second Screen Application for TV Program Discovery. AAAI 2014: 3010-3016 - [c70]Valeria de Paiva, William Jarrold, David L. Martin, Peter F. Patel-Schneider, Karen Wallace, Peter Z. Yeh:
Ontologies in Enterprise Application: Dimensional Comparison. FOMI@FOIS 2014 - [c69]Peter F. Patel-Schneider:
Analyzing Schema.org. ISWC (1) 2014: 261-276 - [i3]Peter F. Patel-Schneider:
Using Description Logics for RDF Constraint Checking and Closed-World Recognition. CoRR abs/1411.4156 (2014) - 2013
- [c68]Peter F. Patel-Schneider, Patrick J. Hayes:
Finite Models in RDF(S), with Datatypes. ISWC (Posters & Demos) 2013: 233-236 - 2012
- [j31]Peter F. Patel-Schneider:
Comments on "WebPIE: A Web-scale parallel inference engine using MapReduce". J. Web Semant. 15: 69-70 (2012) - [c67]Peter F. Patel-Schneider:
Challenges in the Core of Ontology Support Systems. KDIR 2012 - [c66]Peter F. Patel-Schneider:
Reasoning in RDFS is Inherently Serial, At Least in The Worst Case. ISWC (Posters & Demos) 2012 - [c65]Peter F. Patel-Schneider, Enrico Franconi:
Ontology Constraints in Incomplete and Complete Data. ISWC (1) 2012: 444-459 - [c64]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
- [c63]Alan Jeffrey, Peter F. Patel-Schneider:
Integrity Constraints for Linked Data. Description Logics 2011 - [c62]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 - [c61]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 - [c60]Ivan Bedini, Christopher J. Matheus, Peter F. Patel-Schneider, Aidan Boran, Benjamin Nguyen:
Transforming XML Schema to OWL Using Patterns. ICSC 2011: 102-109 - [c59]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 - [e11]Axel Polleres, Claudia d'Amato, Marcelo Arenas, Siegfried Handschuh, Paula Kroner, Sascha Ossowski, Peter F. Patel-Schneider:
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 [contents] - [r1]Ian Horrocks, Peter F. Patel-Schneider:
KR and Reasoning on the Semantic Web: OWL. Handbook of Semantic Web Technologies 2011: 365-398 - [i2]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
- [e10]Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm:
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 [contents] - [e9]Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm:
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 [contents]
2000 – 2009
- 2009
- [c58]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 - [c57]Birte Glimm, Matthew Horridge, Bijan Parsia, Peter F. Patel-Schneider:
A Syntax for Rules in OWL 2. OWLED 2009 - [e8]Kendall Clark, Peter F. Patel-Schneider:
Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, Washington, DC, USA, 1-2 April 2008. CEUR Workshop Proceedings 496, CEUR-WS.org 2009 [contents] - [e7]Rinke Hoekstra, Peter F. Patel-Schneider:
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 [contents] - 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 Semant. 6(4): 309-322 (2008) - [c56]Matthew Horridge, Peter F. Patel-Schneider:
Manchester Syntax for OWL 1.1. OWLED (Spring) 2008 - [c55]Peter F. Patel-Schneider:
Safe Rules for OWL 1.1 (Statement of Interest). OWLED (Spring) 2008 - 2007
- [j29]Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider:
Optimizing Terminological Reasoning for Expressive Description Logics. J. Autom. Reason. 39(3): 277-316 (2007) - [j28]Peter F. Patel-Schneider:
Book Review. J. Log. Lang. Inf. 16(3): 357-359 (2007) - [j27]Peter F. Patel-Schneider, Ian Horrocks:
A comparison of two modelling paradigms in the Semantic Web. J. Web Semant. 5(4): 240-250 (2007) - [e6]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, ISBN 978-1-59593-654-7 [contents] - 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:
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 [contents] - 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 Semant. 3(1): 23-40 (2005) - [c51]Peter F. Patel-Schneider:
Building the Semantic Web Tower from RDF Straw. IJCAI 2005: 546-551 - [c50]Peter F. Patel-Schneider:
A Revised Architecture for Semantic Web Reasoning. PPSWR 2005: 32-36 - [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 Semant. 1(4): 345-357 (2004) - [j23]Peter F. Patel-Schneider, Steffen Staab:
World Wide Web Conference 2004 - Semantic Web Track. J. Web Semant. 2(2): 107 (2004) - [c47]Peter F. Patel-Schneider:
The Semantic Web and Knowledge Representation. ENC 2004: 7 - [c46]Peter F. Patel-Schneider:
What Is OWL (and Why Should I Care)? KR 2004: 735-737 - [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]Ian Horrocks, Peter F. Patel-Schneider:
A proposal for an owl rules language. WWW 2004: 723-731 - 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. 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 Semant. 1(1): 7-26 (2003) - [c42]Ian Horrocks, Peter F. Patel-Schneider:
Reducing OWL Entailment to Description Logic Satisfability. Description Logics 2003 - [c41]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 - [c40]Ian Horrocks, Peter F. Patel-Schneider:
Reducing OWL Entailment to Description Logic Satisfiability. ISWC 2003: 17-29 - [c39]Ian Horrocks, Peter F. Patel-Schneider:
Three theses of representation in the semantic web. WWW 2003: 39-47 - [c38]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 - [p2]Deborah L. McGuinness, Peter F. Patel-Schneider:
From Description Logic Provers to Knowledge Representation Systems. Description Logic Handbook 2003: 265-281 - [e4]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, ISBN 0-521-78176-0 [contents] - 2002
- [j19]Ian Horrocks, Peter F. Patel-Schneider:
Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability. J. Autom. Reason. 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) - [c37]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 - [c36]Peter F. Patel-Schneider:
Two Proposals for a Semantic Web Ontology Language. Description Logics 2002 - [c35]Peter F. Patel-Schneider, Dieter Fensel:
Layering the Semantic Web: Problems and Directions. ISWC 2002: 16-29 - [c34]Peter F. Patel-Schneider, Jérôme Siméon:
Building the Semantic Web on XML. ISWC 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 Intell. Syst. 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]Ian Horrocks, Peter F. Patel-Schneider:
The Generation of DAML+OIL. Description Logics 2001 - [e3]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 Workshop Proceedings 49, CEUR-WS.org 2001 [contents] - 2000
- [j16]Ian Horrocks, Peter F. Patel-Schneider, Roberto Sebastiani:
An Analysis of Empirical Testing for Modal Decision Procedures. Log. J. IGPL 8(3): 293-323 (2000) - [c30]Peter F. Patel-Schneider:
System Description: DLP. CADE 2000: 297-301 - [c29]Peter F. Patel-Schneider:
What's New in DLP. Description Logics 2000: 227-235 - [c28]Peter F. Patel-Schneider:
TANCS-2000 Results for DLP. TABLEAUX 2000: 72-76
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 Mag. 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]Peter F. Patel-Schneider:
Systems Comparison. Description Logics 1999 - [c23]Peter F. Patel-Schneider:
DLP. Description Logics 1999 - [c22]Peter F. Patel-Schneider, Ian Horrocks:
DLP and FaCT. TABLEAUX 1999: 19-23 - [e2]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 Workshop Proceedings 22, CEUR-WS.org 1999 [contents] - 1998
- [j10]Deborah L. McGuinness, Charles L. Isbell Jr., Matt Parker, Peter F. Patel-Schneider, Lori Alperin Resnick, Christopher A. Welty:
A description logic-based configurator on the web. SIGART Bull. 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]Peter F. Patel-Schneider:
DLP. Description Logics 1998 - [c16]Peter F. Patel-Schneider:
NeoClassic. Description Logics 1998 - [c15]Peter F. Patel-Schneider:
DLP System Description. Description Logics 1998 - [c14]Ian Horrocks, Peter F. Patel-Schneider:
FaCT and DLP. TABLEAUX 1998: 27-30 - 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:
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 [contents] - 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. 1: 277-308 (1994) - [i1]Alexander Borgida, Peter F. Patel-Schneider:
A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. CoRR abs/cs/9406101 (1994) - 1992
- [c8]Peter F. Patel-Schneider:
Defaults and Descriptions. Description Logics 1992: 72-73 - [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 Bull. 2(3): 108-113 (1991) - [c4]Peter F. Patel-Schneider:
Handling Computational Difficulties with Reasoning in Terminological Logics. Description Logics 1991: 93-96 - [p1]Ronald J. Brachman, Deborah L. McGuinness, Peter F. Patel-Schneider, Lori Alperin Resnick, Alexander Borgida:
Living wiht Classic: When and How to Use a KL-ONE-Like Language. Principles of Semantic Networks 1991: 401-456 - 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 Mag. 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. Reason. 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 Newsl. 108: 215-216 (1989) - 1988
- [c3]Peter F. Patel-Schneider:
Adding Number Restrictions to a Four-Valued Terminological Logic. AAAI 1988: 485-490 - 1987
- [b1]Peter F. Patel-Schneider:
Decidable, logic-based knowledge representation. University of Toronto, Canada, 1987 - [j1]Peter F. Patel-Schneider:
A hybrid, decidable, logic-based knowledge representation system. Comput. Intell. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
