SOR: A practical system for ontology storage, reasoning and searchJing LuLi Maet al.2007VLDB 2007Conference paper