Has author Ian Horrocks
From Tetherless World Wiki
A list of all pages that have property "Has author" with value "Ian Horrocks"Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
- Home Page +
- DBLP:journals/jods/PanSSTH06 +
- Optimising Propositional Modal Satisfiability for Description Logic Subsumption +
- Feasibility of Optimised Disjunctive Reasoning for Approximate Matching +
- Description Logics as Ontology Languages for the Semantic Web +
- The OWL Instance Store: System Description +
- Reasoning with Expressive Description Logics: Theory and Practice +
- Reasoning with Individuals for the Description Logic SHIQ +
- Description Logic Reasoner: System Description +
- Optimized Reasoning in Description Logics Using Hypertableaux +
- Extending Datatype Support in Web Ontology Reasoning +
- DBLP:conf/coopis/PanH02a +
- Ontologies and Schema Languages on the Web +
- Handling Cyclic Conjunctive Queries +
- 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 +
- Implementation and Optimization Techniques +
