Semantic web representations for reasoning about applicability and satisfiability of federal regulations for information security | IEEE Conference Publication | IEEE Xplore