Pages that link to "Ian Horrocks"

From Tetherless World Wiki

> Ian Horrocks

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 Ian Horrocks:

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

• Deborah L. McGuinness (← links)
• James A. Hendler (← links)
• Optimising Propositional Modal Satisfiability for Description Logic Subsumption (← links)
• Feasibility of Optimised Disjunctive Reasoning for Approximate Matching (← links)
• Description Logics as Ontology Languages for the Semantic Web (← links)
• The OWL Instance Store: System Description (← links)
• Reasoning with Expressive Description Logics: Theory and Practice (← links)
• Reasoning with Individuals for the Description Logic SHIQ (← links)
• Description Logic Reasoner: System Description (← links)
• Optimized Reasoning in Description Logics Using Hypertableaux (← links)
• Extending Datatype Support in Web Ontology Reasoning (← links)
• DBLP:conf/coopis/PanH02a (← links)
• Ontologies and Schema Languages on the Web (← links)
• Handling Cyclic Conjunctive Queries (← links)
• Knowledge Representation on the Web (← links)
• Driving User Interfaces from FaCT (← links)
• Matchmarking Using an Instance Store: Some Preliminary Results (← links)
• OilEd: a Reason-able Ontology Editor for the Semantic Web (← links)
• A Proposal for a Description Logic Interface (← links)
• Explaining ALC Subsumption (← links)
• Implementation and Optimization Techniques (← links)
• FaCT (← links)
• Kris (← links)
• FaCT and iFaCT (← links)
• Description Logics with Transitive Roles (← links)
• The Instance Store: DL Reasoning with Large Numbers of Individuals (← links)
• Digital Libraries and Web-based Information Systems (← 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)
• Using a Description Logic with Concept Inclusions (← links)
• A Description Logic with Transitive and Inverse Roles and Role Hierarchies (← links)
• Answering Conjunctive Queries over DL Aboxes: A Preliminary Report (← links)
• Optimisation of Terminological Reasoning (← links)
• RDFS(FA): A DL-ised Sub-language of RDFS (← links)
• Extending DL Reasoning Support for the OWL Datatyping (or "Why Datatype Groups?") (← links)
• Will my Ontologies Fit Together? (← links)
• Automated Benchmarking of Description Logic Reasoners (← links)
• Conjunctive Query Answering for Description Logics with Transitive Roles (← links)
• DL Reasoner vs. First-Order Prover (← links)
• Efficient Reasoning with Range and Domain Constraints (← links)
• Optimised Classification for Taxonomic Knowledge Bases (← links)
• DBLP:conf/ecai/BorgidaFH00 (← links)
• Optimised Reasoning for SHIQ (← links)
• DAML+OIL: A Reason-able Web Ontology Language (← links)
• OIL in a Nutshell (← links)
• OWL-Eu: Adding Customised Datatypes into OWL (← links)
• Reasoning Support for Expressive Ontology Languages Using a Theorem Prover (← links)

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