Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring