]> true true rdfs daml