Peter F. Patel-Schneider

Affiliations:
  • Bell Labs


According to our database1, Peter F. Patel-Schneider authored at least 117 papers between 1985 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Path Description Dependencies in Feature-Based DLs.
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

2020
Wikidata on MARS.
CoRR, 2020

Wikidata Constraints on MARS (Extended Technical Report).
CoRR, 2020

Wikidata Constraints on MARS.
Proceedings of the 1st Wikidata Workshop (Wikidata 2020) co-located with 19th International Semantic Web Conference(OPub 2020), 2020

Wikidata on MARS (Preliminary Report).
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

2018
Contextualization via Qualifiers.
Proceedings of the Joint Proceedings of the International Workshops on Contextualized Knowledge Graphs, 2018

Fixing Comparative Preferences for SPARQL.
Proceedings of the ISWC 2018 Posters & Demonstrations, Industry and Blue Sky Ideas Tracks co-located with 17th International Semantic Web Conference (ISWC 2018), Monterey, USA, October 8th - to, 2018

Comparative Preferences in SPARQL.
Proceedings of the Knowledge Engineering and Knowledge Management, 2018

Automating Class/Instance Representational Choices in Knowledge Bases.
Proceedings of the Knowledge Engineering and Knowledge Management, 2018

2017
ASHACL: Alternative Shapes Constraint Language.
CoRR, 2017

2016
EXISTStential Aspects of SPARQL.
Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016

2015
An End-to-End Conversational Second Screen Application for TV Program Discovery.
AI Mag., 2015

CogMap: A Cognitive Support Approach to Property and Instance Alignment.
Proceedings of the Semantic Web - ISWC 2015, 2015

Using Description Logics for RDF Constraint Checking and Closed-World Recognition.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Analyzing Schema.org.
Proceedings of the Semantic Web - ISWC 2014, 2014

Ontologies in Enterprise Application: Dimensional Comparison.
Proceedings of the 6th Workshop on Formal Ontologies meet Industry co-located with 8th International Conference on Formal Ontology in Information Systems (FOIS 2014), 2014

A Speech-Driven Second Screen Application for TV Program Discovery.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
Finite Models in RDF(S), with Datatypes.
Proceedings of the ISWC 2013 Posters & Demonstrations Track, 2013

2012
Comments on "WebPIE: A Web-scale parallel inference engine using MapReduce".
J. Web Semant., 2012

An Empirical Analysis of Semantic Techniques Applied to a Network Management Classification Problem.
Proceedings of the 2012 IEEE/WIC/ACM International Conferences on Web Intelligence, 2012

Ontology Constraints in Incomplete and Complete Data.
Proceedings of the Semantic Web - ISWC 2012, 2012

Reasoning in RDFS is Inherently Serial, At Least in The Worst Case.
Proceedings of the ISWC 2012 Posters & Demonstrations Track, 2012

Challenges in the Core of Ontology Support Systems.
Proceedings of the KDIR 2012 - Proceedings of the International Conference on Knowledge Discovery and Information Retrieval, Barcelona, Spain, 4, 2012

2011
KR and Reasoning on the Semantic Web: OWL.
Proceedings of the Handbook of Semantic Web Technologies, 2011

Approaches to Relating and Integrating Semantic Data from Heterogeneous Sources.
Proceedings of the 2011 IEEE/WIC/ACM International Conference on Web Intelligence, 2011

Transforming XML Schema to OWL Using Patterns.
Proceedings of the 5th IEEE International Conference on Semantic Computing (ICSC 2011), 2011

A Smart Campus Prototype for Demonstrating the Semantic Integration of Heterogeneous Data.
Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011

Choosing Between Axioms, Rules and Queries: Experiments in Semantic Integration Techniques.
Proceedings of the 8th International Workshop on OWL: Experiences and Directions (OWLED 2011), 2011

Integrity Constraints for Linked Data.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2009
A Syntax for Rules in OWL 2.
Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), 2009

2008
OWL 2: The next step for OWL.
J. Web Semant., 2008

Safe Rules for OWL 1.1 (Statement of Interest).
Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, 2008

Manchester Syntax for OWL 1.1.
Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, 2008

2007
A comparison of two modelling paradigms in the Semantic Web.
J. Web Semant., 2007

Book Review.
J. Log. Lang. Inf., 2007

Optimizing Terminological Reasoning for Expressive Description Logics.
J. Autom. Reason., 2007

2006
Position paper: a comparison of two modelling paradigms in the Semantic Web.
Proceedings of the 15th international conference on World Wide Web, 2006

Next Steps for OWL.
Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

DIG 2.0 -- Towards a Flexible Interface for Description Logic Reasoners.
Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

2005
OWL rules: A proposal and prototype implementation.
J. Web Semant., 2005

Improving User Experience through Rule-based Service Customization.
Int. J. Cooperative Inf. Syst., 2005

Requirements and Non-Requirements for a Semantic Web Rule Language.
Proceedings of the W3C Workshop on Rule Languages for Interoperability, 2005

A Revised Architecture for Semantic Web Reasoning.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2005

Semantic Web Architecture: Stack or Two Towers?.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2005

Building the Semantic Web Tower from RDF Straw.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

2004
World Wide Web Conference 2004 - Semantic Web Track.
J. Web Semant., 2004

Reducing OWL entailment to description logic satisfiability.
J. Web Semant., 2004

Meaning and the semantic web.
Proceedings of the 13th international conference on World Wide Web, 2004

A proposal for an owl rules language.
Proceedings of the 13th international conference on World Wide Web, 2004

Enabling Context-Aware and Privacy-Conscious User Data Sharing.
Proceedings of the 5th IEEE International Conference on Mobile Data Management (MDM 2004), 2004

What Is OWL (and Why Should I Care)?
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

The Semantic Web and Knowledge Representation.
Proceedings of the 5th Mexican International Conference on Computer Science (ENC 2004), 2004

2003
From SHIQ and RDF to OWL: the making of a Web Ontology Language.
J. Web Semant., 2003

The Yin/Yang Web: A Unified Model for XML Syntax and RDF Semantics.
IEEE Trans. Knowl. Data Eng., 2003

A New General Method to Generate Random Modal Formulae for Testing Decision Procedures.
J. Artif. Intell. Res., 2003

Rule-based Service Customization via Houdini.
Proceedings of the Twelfth International World Wide Web Conference - Posters, 2003

Three theses of representation in the semantic web.
Proceedings of the Twelfth International World Wide Web Conference, 2003

"Everything Personal, Not Just Business: " Improving User Experience through Rule-Based Service Customization.
Proceedings of the Service-Oriented Computing, 2003

From Description Logic Provers to Knowledge Representation Systems.
Proceedings of the Description Logic Handbook: Theory, Implementation, and Applications, 2003

Reducing OWL Entailment to Description Logic Satisfability.
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

2002
R++: Adding Path-Based Rules to C++.
IEEE Trans. Knowl. Data Eng., 2002

Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability.
J. Autom. Reason., 2002

The Yin/Yang web: XML syntax and RDF semantics.
Proceedings of the Eleventh International World Wide Web Conference, 2002

Building the Semantic Web on XML.
Proceedings of the Semantic Web, 2002

Layering the Semantic Web: Problems and Directions.
Proceedings of the Semantic Web, 2002

Two Proposals for a Semantic Web Ontology Language.
Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web.
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001
OIL: An Ontology Infrastructure for the Semantic Web.
IEEE Intell. Syst., 2001

The Generation of DAML+OIL.
Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

A New System and Methodology for Generating Random Modal Formulae.
Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000
An Analysis of Empirical Testing for Modal Decision Procedures.
Log. J. IGPL, 2000

TANCS-2000 Results for DLP.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

What's New in DLP.
Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

System Description: DLP.
Proceedings of the Automated Deduction, 2000

1999
Editorial: Special Issue on Description Logics.
J. Log. Comput., 1999

Optimizing Description Logic Subsumption.
J. Log. Comput., 1999

Report on the 1998 International Workshop on Description Logics (DL'98).
J. Log. Comput., 1999

Review of One Jump Ahead: Challenging Human Supremacy in Checkers.
AI Mag., 1999

"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality.
Artif. Intell., 1999

DLP and FaCT.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999

Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

Systems Comparison.
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

Performance of DLP on Random Modal Formulae.
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

Explaining ALC Subsumption.
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

A Proposal for a Description Logic Interface.
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

1998
A description logic-based configurator on the web.
SIGART Bull., 1998

FaCT and DLP.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

DLP System Description.
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

NeoClassic.
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

Comparing Subsumption Optimizations.
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

DL Systems Comparison (Summary Relation).
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

Optimising Propositional Modal Satisfiability for Description Logic Subsumption.
Proceedings of the Artificial Intelligence and Symbolic Computation, 1998

Usability Issues in Knowledge Representation Systems.
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997
Modeling Dynamic Collections of Interdependent Objects Using Path-Based Rules.
Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1997

Preliminary Investigations into Interactive Classification in DL.
Proceedings of the 1997 International Workshop on Description Logics, 1997

Usability Issues in DL Systems.
Proceedings of the 1997 International Workshop on Description Logics, 1997

1996
Path-Based Rules in Object-Oriented Programming.
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995
Device Representation and Reasoning with Affective Relations.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994
A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic.
J. Artif. Intell. Res., 1994

1992
The DARPA Knowledge Sharing Effort: A Progress Report.
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

The CLASSIC Knowledge Representation System or, KL-ONE: The Next Generation.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Partial Reasoning in Knowledge Representation Systems Based on Description Logics.
Proceedings of the Issues in Description Logics: Users Meet Developers, 1992

Defaults and Descriptions.
Proceedings of the Issues in Description Logics: Users Meet Developers, 1992

1991
The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale.
SIGART Bull., 1991

Handling Computational Difficulties with Reasoning in Terminological Logics.
Proceedings of the International Workshop on Terminological Logics 1991, 1991

Living wiht Classic: When and How to Use a KL-ONE-Like Language.
Proceedings of the Principles of Semantic Networks, 1991

1990
A Decidable First-Order Logic for Knowldge Representation.
J. Autom. Reason., 1990

Practical, object-based knowledge representation for knowledge-based systems.
Inf. Syst., 1990

Term Subsumption Languages in Knowledge Representation.
AI Mag., 1990

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

A Four-Valued Semantics for Terminological Logics.
Artif. Intell., 1989

Undecidability of Subsumption in NIKL.
Artif. Intell., 1989

1988
Adding Number Restrictions to a Four-Valued Terminological Logic.
Proceedings of the 7th National Conference on Artificial Intelligence, 1988

1987
Decidable, logic-based knowledge representation.
PhD thesis, 1987

A hybrid, decidable, logic-based knowledge representation system.
Comput. Intell., 1987

1986
A Four-Valued Semantics for Frame-Based Description Languages.
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

1985
A Decidable First-Order Logic for Knowledge Representation.
Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985


  Loading...