Using Vampire to Reason with OWL

From Tetherless World Wiki

DBLP:conf/semweb/TsarkovRBH04 +  redirect page Using Vampire to Reason with OWL +  Has identifier

Using Vampire to Reason with OWL

Has publishing details  pp. 471-485, 2004 Has title  Using Vampire to Reason with OWL Has url  http://www.informatik.uni-trier.de/~ley/db/conf/semweb/iswc2004.html#TsarkovRBH04 Has where published  International Semantic Web Conference Has year  2004 Has author  Dmitry Tsarkov +, Alexandre Riazanov +, Sean Bechhofer +, Ian Horrocks + Has identifier  Using Vampire to Reason with OWL + Categories  Proceeding Paper +

 

Enter the name of the page to start browsing from.