51![Just the Right Amount: Extracting Modules from Ontologies∗ Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov and Ulrike Sattler The University of Manchester School of Computer Science Manchester, M13 9PL, UK Just the Right Amount: Extracting Modules from Ontologies∗ Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov and Ulrike Sattler The University of Manchester School of Computer Science Manchester, M13 9PL, UK](https://www.pdfsearch.io/img/b261ea8d6584fa2f38e2a6bd1ccbf4f2.jpg) | Add to Reading ListSource URL: staff.cs.manchester.ac.ukLanguage: English - Date: 2007-02-14 07:27:58
|
---|
52![Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web Ian Horrocks Peter F. Patel-Schneider Reviewing the Design of DAML+OIL: An Ontology Language for the Semantic Web Ian Horrocks Peter F. Patel-Schneider](https://www.pdfsearch.io/img/72b594ee289b9b45db5ecb86f7b41ad6.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2003-06-18 11:54:46
|
---|
53![DAML+OIL and Description Logic Reasoning Ian Horrocks University of Manchester Manchester, UK DAML+OIL and Description Logic Reasoning Ian Horrocks University of Manchester Manchester, UK](https://www.pdfsearch.io/img/d9691699f45ab6d1e6d13096a08e9181.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2001-10-17 05:14:05
|
---|
54![Reasoning with Expressive Description Logics: Theory and Practice Ian Horrocks University of Manchester Reasoning with Expressive Description Logics: Theory and Practice Ian Horrocks University of Manchester](https://www.pdfsearch.io/img/268c6330bcd43e7881bd6f2bfa75fd79.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2001-07-31 21:29:14
|
---|
55![Description Logic: Axioms and Rules Ian Horrocks University of Manchester Manchester, UK Description Logic: Axioms and Rules Ian Horrocks University of Manchester Manchester, UK](https://www.pdfsearch.io/img/ec322fa4589de9e86519578d4e3c9d66.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2002-02-07 09:34:24
|
---|
56![Extending Datatype Support in Web Ontology Reasoning Jeff Z. Pan and Ian Horrocks Department of Computer Science, University of Manchester, UK {pan,horrocks}@cs.man.ac.uk The Semantic Web is a vision of the next generat Extending Datatype Support in Web Ontology Reasoning Jeff Z. Pan and Ian Horrocks Department of Computer Science, University of Manchester, UK {pan,horrocks}@cs.man.ac.uk The Semantic Web is a vision of the next generat](https://www.pdfsearch.io/img/ff6a9e15393759a50074c9366c4401b5.jpg) | Add to Reading ListSource URL: iswc2002.semanticweb.orgLanguage: English - Date: 2002-05-05 05:36:24
|
---|
57![Reasoning with DAML+OIL: What can it do for YOU? Ian Horrocks University of Manchester Reasoning with DAML+OIL: What can it do for YOU? Ian Horrocks University of Manchester](https://www.pdfsearch.io/img/93e61de7a6ffe921ea728ddd708ceaa6.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English |
---|
58![Description Logic: A Formal Foundation for Ontology Languages and Tools Part 2: Tools Ian Horrocks Description Logic: A Formal Foundation for Ontology Languages and Tools Part 2: Tools Ian Horrocks](https://www.pdfsearch.io/img/e655426f62e1642332592cc821fbb87f.jpg) | Add to Reading ListSource URL: www.cs.ox.ac.ukLanguage: English - Date: 2010-06-22 16:10:58
|
---|
59![Logical Foundations for the Semantic Web Ian Horrocks and Ulrike Sattler University of Manchester Manchester, UK Logical Foundations for the Semantic Web Ian Horrocks and Ulrike Sattler University of Manchester Manchester, UK](https://www.pdfsearch.io/img/64d8174c8204cf431f0bdaadcc48c30c.jpg) | Add to Reading ListSource URL: www.cs.ox.ac.ukLanguage: English - Date: 2007-08-21 16:02:14
|
---|
60![The Even More Irresistible SROIQ Ian Horrocks and Oliver Kutz and Ulrike Sattler School of Computer Science, The University of Manchester Kilburn Building, Oxford Road, Manchester M13 9PL, UK {Horrocks, Kutz, Sattler}@cs The Even More Irresistible SROIQ Ian Horrocks and Oliver Kutz and Ulrike Sattler School of Computer Science, The University of Manchester Kilburn Building, Oxford Road, Manchester M13 9PL, UK {Horrocks, Kutz, Sattler}@cs](https://www.pdfsearch.io/img/cf799dc29a085dfb2722f5853426a1d4.jpg) | Add to Reading ListSource URL: staff.cs.manchester.ac.ukLanguage: English - Date: 2006-04-12 13:19:58
|
---|