MiRE4OWL: Mobile Rule Engine for OWL | IEEE Conference Publication | IEEE Xplore