Semantic Modeling of Ship Behavior in Cognitive Space