ox.ac.uk/people/ian.horrocks Ian Horrocks publications from Europe PubMed Central Ian Horrocks at DBLP Bibliography Server Horrocks, I.; Patel-Schneider...
13 KB (1,040 words) - 06:36, 6 May 2024
(2011–2015). Horrocks was born in Rawtenstall, Lancashire, the daughter of Barbara (née Ashworth), a hospital worker, and John Horrocks, a sales representative...
27 KB (1,731 words) - 21:14, 28 August 2024
State University, Dayton, Ohio. Retrieved 2016-08-24. Franz Baader, Ian Horrocks, and Ulrike Sattler Chapter 3 Description Logics. In Frank van Harmelen...
38 KB (4,209 words) - 10:43, 4 May 2024
Horrocks or Horrox may refer to Amy Horrocks (1867 – 1919), English music educator, pianist and composer Brian Horrocks (1895–1985), British Army lieutenant-general...
3 KB (366 words) - 22:11, 1 August 2024
Dieter Fensel, Frank van Harmelen (Vrije Universiteit, Amsterdam) and Ian Horrocks (University of Manchester) as part of the IST OntoKnowledge project....
1 KB (115 words) - 20:09, 10 September 2023
a Commandant Royal Observer Corps. Horrocks was the Station Commander of RAF Shawbury from 1978 to 1980. Horrocks retired as an air commodore. He died...
2 KB (79 words) - 11:39, 30 December 2023
Language Combining OWL and RuleML". w3.org. Retrieved 21 December 2017. Ian Horrocks; Peter F. Patel-Schneider (2004). "A Proposal for an OWL Rules Language"...
9 KB (881 words) - 03:51, 29 May 2024
Horrocks, Ian (2010). Description Logic: A Formal Foundation for Ontology Languages and Tools, Part 1: Languages (PDF). SemTech 2010. Horrocks, Ian (2010)...
41 KB (4,120 words) - 09:00, 31 July 2024
Reasoning on the Web: Scalability and Commonsense (June 2008) Tom Gardiner, Ian Horrocks, Dmitry Tsarkov. Automated Benchmarking of Description Logic Reasoners...
6 KB (573 words) - 20:34, 9 August 2024
preclude either several medalists or no medalist. Awardees include: 2020 Ian Horrocks – for significant contributions to the advancements of reasoning systems...
8 KB (670 words) - 03:34, 31 May 2024