いくつかの Web サービスを記述するオントロジーを構築しています。OWL-DL で次の OWL-Full ステートメントをどのように表現すればよいですか。
:Service a owl:Class
:Location a owl:Class
:hasInputType rdfs:domain :Service
:hasInputType rdfs:range owl:Class
:Service1 a :Service
:Service1 :hasInputType :Location