OWL性能相关
有种恐惧称为OWL-performance-fear,OWL性能恐惧。研究者们正致力于将这种恐惧变成历史(……)。
今天在Think clearly上看到相关的消息,比较振奋。
On the TBox side of things: Boris Motik and Rob Shearer (with Ian Horrocks) have developed a new reasoning calculus that is very effective with the notorious Galen ontology, and, indeed, with all the OBO ontologies. They tackle both non-determinism and tableau size with stunning results. It should also have positive implications for DL Safe rules. They have a prototype reasoner using the technique, HermiT, available for download.
On the ABox side of things: IBM Research (Watson Research Center, NY) have recently posted information about their summarization technique for scaling ABoxes. They have a reasoner, SHER, which will be available in one form or another at some point. Their case study is quite inspiring.
Posted in » Semantic Web |





