In April 2016 Manchester eScholar was replaced by the University of Manchester’s new Research Information Management System, Pure. In the autumn the University’s research outputs will be available to search and browse via a new Research Portal. Until then the University’s full publication record can be accessed via a temporary portal and the old eScholar content is available to search and browse via this archive.

Using Vampire to Reason with OWL

Tsarkov, Dmitry; Riazanov, Alexandre; Bechhofer, Sean; Horrocks, Ian

In: McIlraith, Sheila A; Plexousakis, Dimitris; Harmelen, Frank van. International Semantic Web Conference: The Semantic Web - ISWC 2004: Third International Semantic Web Conference,Hiroshima, Japan, November 7-11, 2004. Proceedings; Springer; 2004. p. 471-485.

Access to files

Full-text and supplementary files are not available from Manchester eScholar. Full-text is available externally using the following links:

Bibliographic metadata

Type of resource:
Content type:
Type of conference contribution:
Conference contribution title:
Publication date:
Conference title:
The Semantic Web - ISWC 2004: Third International Semantic Web Conference,Hiroshima, Japan, November 7-11, 2004. Proceedings
Publisher:
Proceedings start page:
471
Proceedings end page:
485
Proceedings pagination:
471-485
Contribution total pages:
15
Proceedings' ISBN:
3-540-23798-4
Proceedings' volume:
3298
Series title:
Lecture Notes in Computer Science
Related website(s):
  • DBLP record: db/conf/semweb/iswc2004.html#TsarkovRBH04 http://dblp.uni-trier.de/db/conf/semweb/iswc2004.html#TsarkovRBH04
  • DBLP XML record: conf/semweb/TsarkovRBH04 http://dblp.uni-trier.de/rec/bibtex/conf/semweb/TsarkovRBH04.xml
  • DBLP Bibtex record: conf/semweb/TsarkovRBH04 http://dblp.uni-trier.de/rec/bibtex/conf/semweb/TsarkovRBH04

Institutional metadata

University researcher(s):

Record metadata

Manchester eScholar ID:
uk-ac-man-scw:2h89
Created:
6th October, 2009, 01:18:14
Last modified:
6th October, 2009, 01:18:14

Can we help?

The library chat service will be available from 11am-3pm Monday to Friday (excluding Bank Holidays). You can also email your enquiry to us.