@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix wsdl: <http://schemas.xmlsoap.org/wsdl/> . @prefix wssoap: <http://schemas.xmlsoap.org/wsdl/soap/> . @prefix agg: <http://example.com/xmlns/aggregation-demo#>. this log:forAll :service, :port, :binding, :bindingName. { :service rdf:type wsdl:service. :service wsdl:hasPort :port. :port wsdl:binding :binding. :binding wssoap:style wssoap:document. :binding wsdl:name :bindingName). } log:implies { :service a agg:Q1Answer. :bindingName a agg:Q1Answer. } .
7 of 17 |