Peter F. Patel-Schneider

Publication Activity (10 Years)

Years Active: 1985-2023
Publications (10 Years): 14

Top Venues

CoRR

Description Logics

EKAW

ISWC (1)

Publications

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)
Peter F. Patel-Schneider, David Martin
Wikidata on MARS (Preliminary Report). Description Logics (2020)
David Martin, Peter F. Patel-Schneider
Wikidata Constraints on MARS. Wikidata@ISWC (2020)
David L. Martin, Peter F. Patel-Schneider
Wikidata Constraints on MARS (Extended Technical Report). CoRR (2020)
Peter F. Patel-Schneider, David Martin
Wikidata on MARS. CoRR (2020)
Peter F. Patel-Schneider, Axel Polleres, David Martin
Comparative Preferences in SPARQL. EKAW (2018)
Ankur Padia, David Martin, Peter F. Patel-Schneider
Automating Class/Instance Representational Choices in Knowledge Bases. EKAW (2018)
Peter F. Patel-Schneider
Contextualization via Qualifiers. CKGSemStats@ISWC (2018)
Peter F. Patel-Schneider, Axel Polleres, David Martin
Fixing Comparative Preferences for SPARQL. ISWC (P&D/Industry/BlueSky) (2018)
Peter F. Patel-Schneider
ASHACL: Alternative Shapes Constraint Language. CoRR (2017)
Peter F. Patel-Schneider, David Martin
EXISTStential Aspects of SPARQL. ISWC (Posters & Demos) (2016)
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)
Peter F. Patel-Schneider
Using Description Logics for RDF Constraint Checking and Closed-World Recognition. AAAI (2015)
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) (2015)
Peter F. Patel-Schneider
Using Description Logics for RDF Constraint Checking and Closed-World Recognition. CoRR (2014)
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)
Peter F. Patel-Schneider
Analyzing Schema.org. ISWC (1) (2014)
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)
Peter F. Patel-Schneider, Patrick J. Hayes
Finite Models in RDF(S), with Datatypes. ISWC (Posters & Demos) (2013)
Peter F. Patel-Schneider
Reasoning in RDFS is Inherently Serial, At Least in The Worst Case. ISWC (Posters & Demos) (2012)
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)
Peter F. Patel-Schneider
Challenges in the Core of Ontology Support Systems. KDIR (2012)
Peter F. Patel-Schneider, Enrico Franconi
Ontology Constraints in Incomplete and Complete Data. ISWC (1) (2012)
Peter F. Patel-Schneider
Comments on "WebPIE: A Web-scale parallel inference engine using MapReduce". J. Web Semant. 15 (2012)
Ivan Bedini, Christopher J. Matheus, Peter F. Patel-Schneider, Aidan Boran, Benjamin Nguyen
Transforming XML Schema to OWL Using Patterns. ICSC (2011)
Peter F. Patel-Schneider, Roberto Sebastiani
A New General Method to Generate Random Modal Formulae for Testing Decision Procedures CoRR (2011)
Alan Jeffrey, Peter F. Patel-Schneider
Integrity Constraints for Linked Data. Description Logics (2011)
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)
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)
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)
Birte Glimm, Matthew Horridge, Bijan Parsia, Peter F. Patel-Schneider
A Syntax for Rules in OWL 2. OWLED (2009)
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)
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) (2008)
Peter F. Patel-Schneider
Safe Rules for OWL 1.1 (Statement of Interest). OWLED (Spring) (2008)
Matthew Horridge, Peter F. Patel-Schneider
Manchester Syntax for OWL 1.1. OWLED (Spring) (2008)
Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schneider
Optimizing Terminological Reasoning for Expressive Description Logics. J. Autom. Reason. 39 (3) (2007)
Peter F. Patel-Schneider
Book Review. J. Log. Lang. Inf. 16 (3) (2007)
Peter F. Patel-Schneider, Ian Horrocks
A comparison of two modelling paradigms in the Semantic Web. J. Web Semant. 5 (4) (2007)
Peter F. Patel-Schneider, Ian Horrocks
Position paper: a comparison of two modelling paradigms in the Semantic Web. WWW (2006)
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)
Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, Ulrike Sattler
Next Steps for OWL. OWLED (2006)
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) (2005)
Peter F. Patel-Schneider
A Revised Architecture for Semantic Web Reasoning. PPSWR (2005)
Ian Horrocks, Bijan Parsia, Peter F. Patel-Schneider, James A. Hendler
Semantic Web Architecture: Stack or Two Towers?. PPSWR (2005)
Ian Horrocks, Peter F. Patel-Schneider, Sean Bechhofer, Dmitry Tsarkov
OWL rules: A proposal and prototype implementation. J. Web Semant. 3 (1) (2005)
Peter F. Patel-Schneider
Requirements and Non-Requirements for a Semantic Web Rule Language. Rule Languages for Interoperability (2005)
Peter F. Patel-Schneider
Building the Semantic Web Tower from RDF Straw. IJCAI (2005)
Ian Horrocks, Peter F. Patel-Schneider
Reducing OWL entailment to description logic satisfiability. J. Web Semant. 1 (4) (2004)
Peter F. Patel-Schneider
The Semantic Web and Knowledge Representation. ENC (2004)
Ian Horrocks, Peter F. Patel-Schneider
A proposal for an owl rules language. WWW (2004)
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)
Peter F. Patel-Schneider, Steffen Staab
World Wide Web Conference 2004 - Semantic Web Track. J. Web Semant. 2 (2) (2004)
Bijan Parsia, Peter F. Patel-Schneider
Meaning and the semantic web. WWW (Alternate Track Papers & Posters) (2004)
Peter F. Patel-Schneider
What Is OWL (and Why Should I Care)? KR (2004)
Ian Horrocks, Peter F. Patel-Schneider
Reducing OWL Entailment to Description Logic Satisfiability. ISWC (2003)
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)
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)
Peter F. Patel-Schneider, Roberto Sebastiani
A New General Method to Generate Random Modal Formulae for Testing Decision Procedures. J. Artif. Intell. Res. 18 (2003)
Ian Horrocks, Peter F. Patel-Schneider
Three theses of representation in the semantic web. WWW (2003)
Ian Horrocks, Peter F. Patel-Schneider
Reducing OWL Entailment to Description Logic Satisfability. Description Logics (2003)
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) (2003)
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) (2003)
Peter F. Patel-Schneider, Dieter Fensel
Layering the Semantic Web: Problems and Directions. ISWC (2002)
Peter F. Patel-Schneider, Jérôme Siméon
The Yin/Yang web: XML syntax and RDF semantics. WWW (2002)
Peter F. Patel-Schneider, Jérôme Siméon
Building the Semantic Web on XML. ISWC (2002)
Peter F. Patel-Schneider
Two Proposals for a Semantic Web Ontology Language. Description Logics (2002)
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)
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) (2002)
Ian Horrocks, Peter F. Patel-Schneider
Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability. J. Autom. Reason. 28 (2) (2002)
Ian Horrocks, Peter F. Patel-Schneider
The Generation of DAML+OIL. Description Logics (2001)
Peter F. Patel-Schneider, Roberto Sebastiani
A New System and Methodology for Generating Random Modal Formulae. IJCAR (2001)
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) (2001)
Peter F. Patel-Schneider
What's New in DLP. Description Logics (2000)
Peter F. Patel-Schneider
TANCS-2000 Results for DLP. TABLEAUX (2000)
Ian Horrocks, Peter F. Patel-Schneider, Roberto Sebastiani
An Analysis of Empirical Testing for Modal Decision Procedures. Log. J. IGPL 8 (3) (2000)
Peter F. Patel-Schneider
System Description: DLP. CADE (2000)
Sean Bechhofer, Ian Horrocks, Peter F. Patel-Schneider, Sergio Tessaris
A Proposal for a Description Logic Interface. Description Logics (1999)
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) (1999)
Peter F. Patel-Schneider, Ian Horrocks
DLP and FaCT. TABLEAUX (1999)
Peter F. Patel-Schneider
Systems Comparison. Description Logics (1999)
Peter F. Patel-Schneider
DLP. Description Logics (1999)
Alexander Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider
Explaining ALC Subsumption. Description Logics (1999)
Peter F. Patel-Schneider
Review of One Jump Ahead: Challenging Human Supremacy in Checkers. AI Mag. 20 (1) (1999)
Ian Horrocks, Peter F. Patel-Schneider
Optimizing Description Logic Subsumption. J. Log. Comput. 9 (3) (1999)
Ian Horrocks, Peter F. Patel-Schneider
Performance of DLP on Random Modal Formulae. Description Logics (1999)
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) (1999)
Peter F. Patel-Schneider, Marie-Christine Rousset
Editorial: Special Issue on Description Logics. J. Log. Comput. 9 (3) (1999)
Ian Horrocks, Peter F. Patel-Schneider
FaCT and DLP. TABLEAUX (1998)
Peter F. Patel-Schneider
DLP. Description Logics (1998)
Deborah L. McGuinness, Peter F. Patel-Schneider
Usability Issues in Knowledge Representation Systems. AAAI/IAAI (1998)
Ian Horrocks, Peter F. Patel-Schneider
Optimising Propositional Modal Satisfiability for Description Logic Subsumption. AISC (1998)
Peter F. Patel-Schneider
NeoClassic. Description Logics (1998)
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) (1998)
Ian Horrocks, Peter F. Patel-Schneider
Comparing Subsumption Optimizations. Description Logics (1998)
Ian Horrocks, Peter F. Patel-Schneider
DL Systems Comparison (Summary Relation). Description Logics (1998)
Peter F. Patel-Schneider
DLP System Description. Description Logics (1998)
Peter F. Patel-Schneider
Preliminary Investigations into Interactive Classification in DL. Description Logics (1997)
Deborah L. McGuinness, Peter F. Patel-Schneider
Usability Issues in DL Systems. Description Logics (1997)
Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider
Modeling Dynamic Collections of Interdependent Objects Using Path-Based Rules. OOPSLA (1997)
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)

Peter F. Patel-Schneider.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Peter F. Patel-Schneider