Augmenting knowledge representation and reasoning languages with customizable metalogic features