RuleML


<?xml version="1.0" standalone="no"?>
<!DOCTYPE rulebase SYSTEM "http://www.dfki.de/ruleml/dtd/0.8/ruleml-urdatalog.dtd">
<rulebase>
  <query>
    <_body>
      <and>
	<atom>
	  <_opr><rel href="http://www.w3.org/1999/02/22-rdf-syntax-ns#type"/></_opr>
	  <var>service</var>
	  <ind href="http://schemas.xmlsoap.org/wsdl/service"/>
	</atom>
	<atom>
	  <_opr><rel href="http://schemas.xmlsoap.org/wsdl/hasPort"/></_opr>
	  <var>service</var>
	  <var>port</var>
	</atom>
	<atom>
	  <_opr><rel href="http://schemas.xmlsoap.org/wsdl/binding"/></_opr>
	  <var>port</var>
	  <var>binding</var>
	</atom>
	<atom>
	  <_opr><rel href="http://schemas.xmlsoap.org/wsdl/soap/style"/></_opr>
	  <var>binding</var>
	  <ind href="http://schemas.xmlsoap.org/wsdl/soap/document"/>
	</atom>
	<atom>
	  <_opr><rel href="http://schemas.xmlsoap.org/wsdl/name"/></_opr>
	  <var>binding</var>
	  <var>bindingName</var>
	</atom>
      </and>
    </_body>
  </query>
</rulebase>