1. Berners-Lee, T., Connolly, D., Kagal, L., Scharf, Y., Hendler, J.: N
$$_3$$
Logic: A logical framework for the World Wide Web. Theory and Practice of Logic Programming 8(3), 249–269 (2008)
2. Calvanese, D., Carroll, J., Di Giacomo, G., Hendler, J., Herman, I., Parsia, B., Patel-Schneider, P.F., Ruttenberg, A., Sattler, U., Schneider, M.: owl 2 Web Ontology Language Profiles. w
$$_3$$
c Recommendation, December 2012.
www.w3.org/TR/owl2-profiles/
3. De Roo, J.: Euler yet another proof engine (1999–2015).
http://eulersharp.sourceforge.net/
4. De Roo, J.: EYE and OWL 2 (1999–2015).
http://eulersharp.sourceforge.net/2003/03swap/eye-owl2.html
5. Ongenae, F., Bleumers, L., Sulmon, N., Verstraete, M., Van Gils, M., Jacobs, A., De Zutter, S., Verhoeve, P., Ackaert, A., De Turck, F.: Participatory design of a continuous care ontology (2011)