Microsoft Word - WWW1603p-horrocks.doc

Source URL: gdac.uqam.ca

• The Web Conference
• Crowdsourcing
• Electronic submission
• Computer science
• Knowledge
• Computing
• SIGKDD

Stack Parameter Check Bruce Horrocks, #609 In the last Datafile, my article ‘Stack Manipulation’ gave two routines that simplified stack manipulation by allowing you either to swap items around in groups or to save t

Source URL: hpcc.org

A Comparison of Query Rewriting Techniques for DL-Lite H´ector P´erez-Urbina, Boris Motik, and Ian Horrocks Oxford University Computing Laboratory Oxford, England {hector.perez-urbina,boris.motik,ian.horrocks}@comlab.o

Source URL: ceur-ws.org

Exploiting Partial Information in Taxonomy Construction Rob Shearer, Ian Horrocks and Boris Motik Oxford University Computing Laboratory, Oxford, UK 1

Source URL: ceur-ws.org

Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Optimized DL Reasoning via Core Blocking Birte Glimm, Ian Horrocks, and Boris Motik Oxford University Computing Laboratory, U

Source URL: ceur-ws.org

FaCT++ Description Logic Reasoner: System Description Dmitry Tsarkov and Ian Horrocks School of Computer Science The University of Manchester Manchester, UK

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

A Hypertableau Calculus for SHIQ Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for the Description Logic SHIQ. In order to reduce the nondetermini

Source URL: www.hermit-reasoner.com

Introduction to SpeedyCGI Sam Horrocks Presented at YAPC North America 14 JuneOverview

Source URL: yapc.org

Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi Boris Motik, Rob Shearer, and Ian Horrocks Oxford University Computing Laboratory 1

Source URL: www.hermit-reasoner.com

Ordering Heuristics for Description Logic Reasoning Dmitry Tsarkov and Ian Horrocks School of Computer Science University of Manchester Manchester, UK tsarkov|

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