Optimized Description Logic Reasoning via Core Blocking Birte Glimm, Ian Horrocks, and Boris Motik Oxford University Computing Laboratory, UK Abstract. State of the art reasoners for expressive description logics, such

Source URL: www.hermit-reasoner.com

• Ontology
• Proof theory
• Methods of proof
• Automated theorem proving
• Abox
• Tbox
• Sequent
• Method of analytic tableaux
• Description logic
• Calculus
• Blocking

Optimised Classification for Taxonomic Knowledge Bases Dmitry Tsarkov and Ian Horrocks University of Manchester, Manchester, UK {tsarkov|horrocks}@cs.man.ac.uk Abstract

Source URL: www.cs.man.ac.uk

• Ontology
• Information science
• Semantic Web
• Technical communication
• Knowledge representation
• Tbox
• Abox
• Knowledge representation and reasoning
• Web Ontology Language
• Description logic
• Ordered geometry
• Concept

Optimising Terminological Reasoning for Expressive Description Logics Dmitry Tsarkov, Ian Horrocks and Peter F. Patel-Schneider School of Computer Science University of Manchester, UK, and

Source URL: www.cs.man.ac.uk

• Transitive closure
• FO
• Abox

Using Vampire to Reason with OWL Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov|riazanov|seanb|horrocks}@cs.man.ac.

Source URL: www.cs.man.ac.uk

A Proposal for an OWL Rules Language Ian Horrocks Peter F. Patel-Schneider University of Manchester

Source URL: www.cs.man.ac.uk

The Instance Store: DL Reasoning with Large Numbers of Individuals Ian Horrocks, Lei Li, Daniele Turi and Sean Bechhofer University of Manchester, UK @cs.man.ac.uk Abstract

Source URL: www.cs.man.ac.uk

Extending Datatype Support in Web Ontology Reasoning Jeff Z. Pan and Ian Horrocks Information Management Group Department of Computer Science University of Manchester Oxford Road, Manchester M13 9PL, UK

Source URL: www.cs.man.ac.uk

Efficient Reasoning with Range and Domain Constraints Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov|horrocks}@cs.man.ac.uk

Source URL: www.cs.man.ac.uk

Web Ontology Reasoning with Datatype Groups Jeff Z. Pan and Ian Horrocks Department of Computer Science, University of Manchester, UK M13 9PL {pan,horrocks}@cs.man.ac.uk

Source URL: www.cs.man.ac.uk

DL Reasoner vs. First-Order Prover Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov|horrocks}@cs.man.ac.uk

Source URL: www.cs.man.ac.uk