<wsml xmlns="http://www.wsmo.org/wsml/wsml-syntax#"
			xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"      
			variant="http://www.wsmo.org/wsml/wsml-syntax/wsml-flight"
			xsi:schemaLocation="http://www.wsmo.org/wsml/wsml-syntax# http://wsmo.org/TR/d16/d16.1/v0.2/erratum/wsml-xml-syntax.xsd">
	<ontology name="http://www.example.org/ex1">
		<nonFunctionalProperties>
			<attributeValue name="http://purl.org/dc/elements/1.1#title"> 
				<value type="http://www.wsmo.org/wsml/wsml-syntax#string">
					WSML to RDF
				</value>
			</attributeValue>
			<attributeValue name="http://purl.org/dc/elements/1.1#date"> 
				<value type="http://www.wsmo.org/wsml/wsml-syntax#date">
					<argument>2005</argument>
					<argument>12</argument>
					<argument>12</argument>
				</value>
			</attributeValue>
		</nonFunctionalProperties>
		<importsOntology>http://www.example.org/ex2</importsOntology>
		<concept name="http://www.example.org/ex1#Woman">
			<superConcept>
				http://www.example.org/ex2#Human
			</superConcept>
			<superConcept>
				http://www.example.org/ex2#LivingBeing
			</superConcept>
			<attribute name="http://www.example.org/ex1#name" type="constraining">
				<range>http://www.wsmo.org/wsml/wsml-syntax#string</range>
			</attribute>
			<attribute name="http://www.example.org/ex1#ancestor" type="inferring">
				<range>http://www.example.org/ex2#Human</range>
				<transitive/>
			</attribute>
			<attribute name="http://www.example.org/ex1#age" type="inferring">
				<range>http://www.wsmo.org/wsml/wsml-syntax#integer</range>
				<minCardinality>1</minCardinality>
				<maxCardinality>1</maxCardinality>
			</attribute>
		</concept>
		<axiom name="http://www.example.org/ex1#GenderConstraint">
			<definedBy>
				<constraint>
					<and>
						 <molecule>
							 <term name="?x"/>
							 <isa type="memberOf">
								 <term name="http://www.example.org/ex1#Woman"/>
							 </isa>
						 </molecule>
						 <molecule>
							 <term name="?x"/>
							 <isa type="memberOf">
								 <term name="http://www.example.org/ex2#Man"/>
							 </isa>
						 </molecule>
					</and>
				</constraint>
			</definedBy>
		</axiom>
		<instance name="http://www.example.org/ex1#Mary">
			<memberOf>http://www.example.org/ex1#Woman</memberOf>
			<attributeValue name="http://www.example.org/ex1#name">
				<value type="http://www.wsmo.org/wsml/wsml-syntax#string">
					Mary Jones
				</value>
			</attributeValue>
			<attributeValue name="http://www.example.org/ex1#age">
				<value type="http://www.wsmo.org/wsml/wsml-syntax#integer">
					23
				</value>
			</attributeValue>
		</instance>
		<relation name="http://www.example.org/ex1#childOf" arity="2">
			<parameters>
				<parameter type="constraining">
					<range>http://www.example.org/ex2#Human</range>
				</parameter>   
				<parameter type="inferring">
					<range>http://www.example.org/ex2#Parent</range>
				</parameter>
			</parameters>
		</relation>
	</ontology>
	<webService name="http://www.example.org/ex1#ws">
		<capability name="http://www.example.org/ex1#itineraryInfo"/>
		<interface name="http://example.org/i1"/>
		<interface name="http://example.org/i2"/>
	</webService>
</wsml>
