Has where published Description Logics
From Tetherless World Wiki
A list of all pages that have property "Has where published" with value "Description Logics"Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
- Handling Cyclic Conjunctive Queries +
- Asking Queries about Frames +
- Knowledge Representation on the Web +
- Driving User Interfaces from FaCT +
- Matchmarking Using an Instance Store: Some Preliminary Results +
- OilEd: a Reason-able Ontology Editor for the Semantic Web +
- A Proposal for a Description Logic Interface +
- Explaining ALC Subsumption +
- Reasoning with Black Boxes: Handling Test Concepts in CLASSIC +
- FaCT +
- Kris +
- FaCT and iFaCT +
- Description Logics with Transitive Roles +
- The Instance Store: DL Reasoning with Large Numbers of Individuals +
- 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 +
- A Description Logic with Transitive and Inverse Roles and Role Hierarchies +
- Using a Description Logic with Concept Inclusions +
