Motik, et al.. Representing Ontologies Using Description Logics, Description Graphs, and Rules. no. 14, Elsevier BV, 2009, doi:10.1016/j.artint.2009.06.003.