Semantic rules for machine diagnostics: Execution and management