PREFIX base: <http://ua.be/sdo2l/vocabulary/base#>
PREFIX traces: <http://ua.be/sdo2l/vocabulary/processtraces#>
PREFIX art: <http://ua.be/drivetrain/description/artifacts/artifacts#>

SELECT ?pmArtInstance ?formalism
WHERE {		
	art:torque-profile traces:relatesTo ?pmArtInstance .
  	?pmArtInstance base:isDefinedBy ?formalism .
}