]> 2012-05-29T10:14:05-04:00 Peter F. Patel-Schneider Peter Peter F. Patel-Schneider Patel-Schneider F Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, Galway, Ireland, November 11-12, 2005 Usability Issues in Knowledge Representation Systems Optimising Propositional Modal Satisfiability for Description Logic Subsumption A Proposal for a Description Logic Interface Explaining ALC Subsumption The Generation of DAML+OIL Reducing OWL Entailment to Description Logic Satisfability DL Systems Comparison (Summary Relation) Comparing Subsumption Optimizations Performance of DLP on Random Modal Formulae Usability Issues in DL Systems The CLASSIC Knowledge Representation System or, KL-ONE: The Next Generation Reducing OWL Entailment to Description Logic Satisfiability FaCT and DLP DLP and FaCT Three theses of representation in the semantic web A proposal for an owl rules language Position paper: a comparison of two modelling paradigms in the Semantic Web Term Subsumption Languages in Knowledge Representation An Analysis of Empirical Testing for Modal Decision Procedures Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability Optimizing Terminological Reasoning for Expressive Description Logics Report on the 1998 International Workshop on Description Logics (DL'98) Optimizing Description Logic Subsumption A description logic-based configurator on the web The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale A comparison of two modelling paradigms in the Semantic Web Reducing OWL entailment to description logic satisfiability OWL rules: A proposal and prototype implementation From SHIQ and RDF to OWL: the making of a Web Ontology Language Layering the Semantic Web: Problems and Directions Building the Semantic Web on XML Rule-based Service Customization via Houdini Meaning and the semantic web The Yin/Yang web: XML syntax and RDF semantics Path-Based Rules in Object-Oriented Programming Defaults and Descriptions Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web A Four-Valued Semantics for Frame-Based Description Languages Adding Number Restrictions to a Four-Valued Terminological Logic Device Representation and Reasoning with Affective Relations Building the Semantic Web Tower from RDF Straw A Decidable First-Order Logic for Knowledge Representation Undecidability of Subsumption in NIKL System Description: DLP World Wide Web Conference 2004 - Semantic Web Track OWL 2: The next step for OWL Book Review A Revised Architecture for Semantic Web Reasoning Requirements and Non-Requirements for a Semantic Web Rule Language Improving User Experience through Rule-based Service Customization The Semantic Web and Knowledge Representation What Is OWL (and Why Should I Care)? Enabling Context-Aware and Privacy-Conscious User Data Sharing "Everything Personal, Not Just Business: " Improving User Experience through Rule-Based Service Customization The Yin/Yang Web: A Unified Model for XML Syntax and RDF Semantics A New General Method to Generate Random Modal Formulae for Testing Decision Procedures R++: Adding Path-Based Rules to C++ A New System and Methodology for Generating Random Modal Formulae What's New in DLP TANCS-2000 Results for DLP DLP Systems Comparison Review of One Jump Ahead: Challenging Human Supremacy in Checkers Editorial: Special Issue on Description Logics DLP System Description NeoClassic Preliminary Investigations into Interactive Classification in DL Modeling Dynamic Collections of Interdependent Objects Using Path-Based Rules A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic Partial Reasoning in Knowledge Representation Systems Based on Description Logics The DARPA Knowledge Sharing Effort: A Progress Report Handling Computational Difficulties with Reasoning in Terminological Logics Practical, object-based knowledge representation for knowledge-based systems A Decidable First-Order Logic for Knowldge Representation A Four-Valued Semantics for Terminological Logics A hybrid, decidable, logic-based knowledge representation system DIG 2.0 -- Towards a Flexible Interface for Description Logic Reasoners Next Steps for OWL Semantic Web Architecture: Stack or Two Towers? Has author Has editor MiddleName Has identifier Peter Patel-Schneider Has alias Foaf:surname Foaf:name Foaf:firstName Anonymous.png Foaf:depiction Person