Changed step order inference to SWRL rules