Modeling semantic constraints with logic in the EARL data model | IEEE Conference Publication | IEEE Xplore