Handling owl:sameAs via Rewriting
作者： Boris Motik , Ian Horrocks , Robert Piro , Yavor Nenov
DOI:
关键词:
摘要: Rewriting is widely used to optimise owl:sameAs reasoning in materialisation based OWL 2 RL systems. We investigate issues related both the correctness and efficiency of rewriting, present an algorithm that guarantees correctness, improves efficiency, can be effectively parallelised. Our evaluation shows our approach reduce times on practical data sets by orders magnitude.
arxiv.org参考文章(12)
Markus Stocker, Michael Smith, None, Owlgres: A Scalable OWL Reasoner. owl: experiences and directions. ,(2008)
Robert Nieuwenhuis, Albert Rubio, Paramodulation-Based Theorem Proving. Handbook of Automated Reasoning. pp. 371- 443 ,(2001) , 10.1016/B978-044450813-3/50009-6
Victor Vianu, Serge Abiteboul, Richard Hull, Foundations of databases ,(1994)
Vladimir Kolovski, Zhe Wu, George Eadon, Optimizing enterprise-scale OWL 2 RL reasoning in a relational database system international semantic web conference. pp. 436- 452 ,(2010) , 10.1007/978-3-642-17746-0_28
Tobias Nipkow, Franz Baader, Term rewriting and all that ,(1998)
Barry Bishop, Atanas Kiryakov, Damyan Ognyanoff, Ivan Peikov, Zdravko Tashev, Ruslan Velkov, OWLIM: A family of scalable semantic repositories Social Work. ,vol. 2, pp. 33- 42 ,(2011) , 10.3233/SW-2011-0026
Yujiao Zhou, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, Jay Banerjee, Making the most of your triple store Proceedings of the 22nd international conference on World Wide Web - WWW '13. pp. 1569- 1580 ,(2013) , 10.1145/2488388.2488525
Maurice Herlihy, Nir Shavit, Victor Luchangco, Michael Spear, The Art of Multiprocessor Programming ,(2008)
Yuanbo Guo, Zhengxiang Pan, Jeff Heflin, LUBM: A benchmark for OWL knowledge base systems Journal of Web Semantics. ,vol. 3, pp. 158- 182 ,(2005) , 10.1016/J.WEBSEM.2005.06.005
Boris Motik, Ian Horrocks, Robert Piro, Dan Olteanu, Yavor Nenov, Parallel materialisation of datalog programs in centralised, main-memory RDF systems national conference on artificial intelligence. pp. 129- 137 ,(2014)