Patel-Schneider, Peter F.

12 publications

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

AAAI 2014 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, Jeremy Mendel

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

JAIR 2003 A New General Method to Generate Random Modal Formulae for Testing Decision Procedures Peter F. Patel-Schneider, Roberto Sebastiani

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

AAAI 1998 Usability Issues in Knowledge Representation Systems Deborah L. McGuinness, Peter F. Patel-Schneider

AAAI 1996 Path-Based Rules in Object-Oriented Programming James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider

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

JAIR 1994 A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic Alexander Borgida, Peter F. Patel-Schneider

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

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

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