An ontology and rule-based method for human–robot collaborative disassembly planning in smart remanufacturing | Synapse