Rule ontology for automatic design verification application to PCB manufacturing and assembly | IEEE Conference Publication | IEEE Xplore