How can Knowledge Engineering (KE) open new interpretations in the field of Art Theory? A case study based on 16th and 17th art-theoretical production