Jaoo - Open Social A Standard For The Social Web
OWLED'12 Quest
KR12 Semantic Index and TBox optimisation with respect to dependencies