Pages that link to "Peter F. Patel-Schneider"

From Tetherless World Wiki

> Peter F. Patel-Schneider

What links here

Page:  Namespace:  all (Main) Talk User User talk Tetherless World Wiki Tetherless World Wiki talk Image Image talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Relation Relation talk Property Property talk Type Type talk Form Form talk Concept Concept talk Widget Widget talk latex Blog Blog-talk baojie baojie-talk test tw tw-talk latex latex-talk co co-talk rule rule-talk email email-talk

Filters

Hide transclusions | Hide links | Hide redirects

The following pages link to Peter F. Patel-Schneider:

View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500)

• Deborah L. McGuinness (← links)
• James A. Hendler (← links)
• Usability Issues in Knowledge Representation Systems (← links)
• Optimising Propositional Modal Satisfiability for Description Logic Subsumption (← links)
• A Proposal for a Description Logic Interface (← links)
• Explaining ALC Subsumption (← links)
• The Generation of DAML+OIL (← links)
• Reducing OWL Entailment to Description Logic Satisfability (← links)
• DL Systems Comparison (Summary Relation) (← links)
• Comparing Subsumption Optimizations (← links)
• Performance of DLP on Random Modal Formulae (← links)
• Usability Issues in DL Systems (← links)
• The CLASSIC Knowledge Representation System or, KL-ONE: The Next Generation (← links)
• Ian Horrocks (← links)
• Semantic Web Architecture: Stack or Two Towers? (← links)
• Reducing OWL Entailment to Description Logic Satisfiability (← links)
• FaCT and DLP (← links)
• DLP and FaCT (← links)
• Three theses of representation in the semantic web (← links)
• A proposal for an owl rules language (← links)
• Position paper: a comparison of two modelling paradigms in the Semantic Web (← links)
• Term Subsumption Languages in Knowledge Representation (← links)
• An Analysis of Empirical Testing for Modal Decision Procedures (← links)
• Evaluating Optimized Decision Procedures for Propositional Modal K(m) Satisfiability (← links)
• Optimizing Terminological Reasoning for Expressive Description Logics (← links)
• Report on the 1998 International Workshop on Description Logics (DL'98) (← links)
• Optimizing Description Logic Subsumption (← links)
• A description logic-based configurator on the web (← links)
• The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale (← links)
• A comparison of two modelling paradigms in the Semantic Web (← links)
• Reducing OWL entailment to description logic satisfiability (← links)
• OWL rules: A proposal and prototype implementation (← links)
• From SHIQ and RDF to OWL: the making of a Web Ontology Language (← links)
• Layering the Semantic Web: Problems and Directions (← links)
• Building the Semantic Web on XML (← links)
• Rule-based Service Customization via Houdini (← links)
• Meaning and the semantic web (← links)
• The Yin/Yang web: XML syntax and RDF semantics (← links)
• Ulrike Sattler (← links)
• Bernardo Cuenca Grau (← links)
• Bijan Parsia (← links)
• Timothy W. Finin (← links)
• Boris Motik (← links)
• Steffen Staab (← links)
• Alexander Borgida (← links)
• Richard Fikes (← links)
• Dieter Fensel (← links)
• Frank van Harmelen (← links)
• Path-Based Rules in Object-Oriented Programming (← links)
• Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web (← links)

View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500)