Has author Peter F. Patel-Schneider
From Tetherless World Wiki
A list of all pages that have property "Has author" with value "Peter F. Patel-Schneider"Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
- 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 +
