Graph-based software knowledge: Storage and semantic querying of domain models for run-time adaptation | IEEE Conference Publication | IEEE Xplore