Which Is the Tallest Building in Europe? Representing and Reasoning About Knowledge
暂无分享,去创建一个
[1] Abraham Bernstein,et al. Hexastore: sextuple indexing for semantic web data management , 2008, Proc. VLDB Endow..
[2] Ian Horrocks,et al. The Even More Irresistible SROIQ , 2006, KR.
[3] Yavor Nenov,et al. Incremental Update of Datalog Materialisation: the Backward/Forward Algorithm , 2015, AAAI.
[4] Gerhard Weikum,et al. The RDF-3X engine for scalable management of RDF data , 2010, The VLDB Journal.
[5] Phokion G. Kolaitis,et al. On the Decision Problem for Two-Variable First-Order Logic , 1997, Bulletin of Symbolic Logic.
[6] Yavor Nenov,et al. Parallel Materialisation of Datalog Programs in Centralised, Main-Memory RDF Systems , 2014, AAAI.