1![Microsoft Word - WWW1603p-horrocks.doc Microsoft Word - WWW1603p-horrocks.doc](https://www.pdfsearch.io/img/12b3afe28001469bdc732522b1e42d95.jpg) | Add to Reading ListSource URL: gdac.uqam.caLanguage: English - Date: 2017-10-04 01:38:54
|
---|
2![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 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](https://www.pdfsearch.io/img/a627b2d5d2eb596fb31cb84dba3bc417.jpg) | Add to Reading ListSource URL: hpcc.orgLanguage: English - Date: 2008-08-06 15:38:36
|
---|
3![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 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](https://www.pdfsearch.io/img/59cc456725e5edf2460e70eed8227d65.jpg) | Add to Reading ListSource URL: ceur-ws.org- Date: 2009-07-07 04:46:34
|
---|
4![Exploiting Partial Information in Taxonomy Construction Rob Shearer, Ian Horrocks and Boris Motik Oxford University Computing Laboratory, Oxford, UK 1 Exploiting Partial Information in Taxonomy Construction Rob Shearer, Ian Horrocks and Boris Motik Oxford University Computing Laboratory, Oxford, UK 1](https://www.pdfsearch.io/img/53f96d47354e293e85d73d3d31e18742.jpg) | Add to Reading ListSource URL: ceur-ws.org- Date: 2009-07-07 04:46:34
|
---|
5![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 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](https://www.pdfsearch.io/img/13fba847b688a7b248f2513626723632.jpg) | Add to Reading ListSource URL: ceur-ws.org- Date: 2010-04-20 14:40:19
|
---|
6![FaCT++ Description Logic Reasoner: System Description Dmitry Tsarkov and Ian Horrocks School of Computer Science The University of Manchester Manchester, UK FaCT++ Description Logic Reasoner: System Description Dmitry Tsarkov and Ian Horrocks School of Computer Science The University of Manchester Manchester, UK](https://www.pdfsearch.io/img/3ca3592f33e00bf1619cd0c4c491860d.jpg) | Add to Reading ListSource URL: www.cs.man.ac.uk- Date: 2015-02-05 09:51:10
|
---|
7![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 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](https://www.pdfsearch.io/img/64a87014171e755e92ade0a8fbbd564a.jpg) | Add to Reading ListSource URL: www.hermit-reasoner.com- Date: 2012-02-03 12:06:02
|
---|
8![Introduction to SpeedyCGI Sam Horrocks Presented at YAPC North America 14 JuneOverview Introduction to SpeedyCGI Sam Horrocks Presented at YAPC North America 14 JuneOverview](https://www.pdfsearch.io/img/ecbe4f4023f1f6be745abd5e4832be5e.jpg) | Add to Reading ListSource URL: yapc.org- Date: 2010-06-13 02:42:20
|
---|
9![Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi Boris Motik, Rob Shearer, and Ian Horrocks Oxford University Computing Laboratory 1 Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi Boris Motik, Rob Shearer, and Ian Horrocks Oxford University Computing Laboratory 1](https://www.pdfsearch.io/img/b0f4f116dd642b22f2f46be09f0faeee.jpg) | Add to Reading ListSource URL: www.hermit-reasoner.com- Date: 2012-02-03 12:06:02
|
---|
10![Ordering Heuristics for Description Logic Reasoning Dmitry Tsarkov and Ian Horrocks School of Computer Science University of Manchester Manchester, UK tsarkov| Ordering Heuristics for Description Logic Reasoning Dmitry Tsarkov and Ian Horrocks School of Computer Science University of Manchester Manchester, UK tsarkov|](https://www.pdfsearch.io/img/5602baef454caebda3dc482b0b182693.jpg) | Add to Reading ListSource URL: www.cs.man.ac.uk- Date: 2015-02-05 09:51:09
|
---|