STIDS2013, The 8th International Conference on Semantic Technologies for Intelligence, Defense, and Security, Fairfax, VA, November 2013. (Pascal Hitzler invited tutorial on OWL and Rules)