1. Acciarri, A., Calvanese, D., Giacomo, G.D., Lembo, D., Lenzerini, M., Palmieri, M., Rosati, R.: QuOnto: querying ontologies. In: Proceedings of the 20th National Conference on Artificial Intelligence (AAAI 2005), Pittsburgh, USA (2005)
2. Bechhofer, S., Horrocks, I., Turi, D.: The OWL instance store: system description. In: Proceedings of the 20th International Conference on Automated Deduction (CADE 2005), Tallinn, Estonia (2005)
3. Boley, H.: RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core, Rule Interchange and Applications, International Symposium, RuleML 2009. Las Vegas, Nevada, USA, November 5–7 (2009)
4. Boley, H., Kifer M., (eds): RIF Basic Logic Dialect, W3C candidate recommendation, 1 October 2009.
http://www.w3.org/TR/rif-bld/
(2009)
5. Boley, H., Hallmark, G., Kifer, M., Paschke A., Polleres A., Reynolds D., (eds.): RIF Core Dialect, W3C Candidate Recommendation, 1 October 2009.
http://www.w3.org/TR/rif-core/
(2009)