<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE rdf:RDF[
	<!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
	<!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'>
	<!ENTITY owl 'http://www.w3.org/2002/07/owl#'>
	<!ENTITY swivt 'http://semantic-mediawiki.org/swivt/1.0#'>
	<!ENTITY wiki 'http://semanticweb.org/id/'>
	<!ENTITY property 'http://semanticweb.org/id/Property-3A'>
	<!ENTITY wikiurl 'http://semanticweb.org/wiki/'>
]>

<rdf:RDF
	xmlns:rdf="&rdf;"
	xmlns:rdfs="&rdfs;"
	xmlns:owl ="&owl;"
	xmlns:swivt="&swivt;"
	xmlns:wiki="&wiki;"
	xmlns:property="&property;">
	<!-- Ontology header -->
	<owl:Ontology rdf:about="">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2008-11-21T01:36:21+01:00</swivt:creationDate>
		<owl:imports rdf:resource="http://semantic-mediawiki.org/swivt/1.0" />
	</owl:Ontology>
	<!-- exported page data -->
	<swivt:Subject rdf:about="&wiki;Contracting_for_dynamic_location_of_web_services-3A_specification_and_reasoning_with_SCIFF">
		<rdfs:label>Contracting for dynamic location of web services: specification and reasoning with SCIFF</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Contracting_for_dynamic_location_of_web_services:_specification_and_reasoning_with_SCIFF"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Contracting_for_dynamic_location_of_web_services:_specification_and_reasoning_with_SCIFF"/>
		<rdf:type rdf:resource="&wiki;Category-3APaper"/>
		<property:About rdf:resource="&wiki;Computational_Logics"/>
		<property:About rdf:resource="&wiki;Abductive_Logic_Programming"/>
		<property:About rdf:resource="&wiki;Web_Services_specification_and_reasoning"/>
		<property:About rdf:resource="&wiki;Dynamic_Location_of_Web_Services"/>
		<property:About rdf:resource="&wiki;Contracting"/>
		<property:Accepted_by rdf:resource="&wiki;ESWC2007"/>
		<property:Author rdf:resource="&wiki;Paolo_Torroni"/>
		<property:Author rdf:resource="&wiki;Marco_Gavanelli"/>
		<property:Author rdf:resource="&wiki;Federico_Chesani"/>
		<property:Author rdf:resource="&wiki;Marco_Montali"/>
		<property:Author rdf:resource="&wiki;Paola_Mello"/>
		<property:Author rdf:resource="&wiki;Marco_Alberti"/>
		<property:Author rdf:resource="&wiki;Evelina_Lamma"/>
		<property:PDFURL rdf:resource="http://www.eswc2007.org/pdf/eswc07-alberti.pdf"/>
	</swivt:Subject>
	<!-- auxilliary definitions -->
	<owl:ObjectProperty rdf:about="&property;PDFURL">
		<rdfs:label>PDFURL</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:PDFURL"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:PDFURL"/>
	</owl:ObjectProperty>
	<swivt:Subject rdf:about="&wiki;Evelina_Lamma">
		<rdfs:label>Evelina Lamma</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Evelina_Lamma"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Evelina_Lamma"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Marco_Alberti">
		<rdfs:label>Marco Alberti</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Marco_Alberti"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Marco_Alberti"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Paola_Mello">
		<rdfs:label>Paola Mello</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Paola_Mello"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Paola_Mello"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Marco_Montali">
		<rdfs:label>Marco Montali</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Marco_Montali"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Marco_Montali"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Federico_Chesani">
		<rdfs:label>Federico Chesani</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Federico_Chesani"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Federico_Chesani"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Marco_Gavanelli">
		<rdfs:label>Marco Gavanelli</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Marco_Gavanelli"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Marco_Gavanelli"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Paolo_Torroni">
		<rdfs:label>Paolo Torroni</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Paolo_Torroni"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Paolo_Torroni"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Author">
		<rdfs:label>Author</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Author"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Author"/>
	</owl:ObjectProperty>
	<swivt:Subject rdf:about="&wiki;ESWC2007">
		<rdfs:label>ESWC2007</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;ESWC2007"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/ESWC2007"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Accepted_by">
		<rdfs:label>Accepted by</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Accepted_by"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Accepted_by"/>
	</owl:ObjectProperty>
	<swivt:Subject rdf:about="&wiki;Contracting">
		<rdfs:label>Contracting</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Contracting"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Contracting"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Dynamic_Location_of_Web_Services">
		<rdfs:label>Dynamic Location of Web Services</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Dynamic_Location_of_Web_Services"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Dynamic_Location_of_Web_Services"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Web_Services_specification_and_reasoning">
		<rdfs:label>Web Services specification and reasoning</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Web_Services_specification_and_reasoning"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Web_Services_specification_and_reasoning"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Abductive_Logic_Programming">
		<rdfs:label>Abductive Logic Programming</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Abductive_Logic_Programming"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Abductive_Logic_Programming"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Computational_Logics">
		<rdfs:label>Computational Logics</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Computational_Logics"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Computational_Logics"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;About">
		<rdfs:label>About</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:About"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:About"/>
	</owl:ObjectProperty>
	<owl:Class rdf:about="&wiki;Category-3APaper">
		<rdfs:label>Paper</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Paper"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Paper"/>
	</owl:Class>
	<!-- References to the SWiVT Ontology, see http://semantic-mediawiki.org/swivt/ -->
	<owl:AnnotationProperty rdf:about="&swivt;page">
		<rdfs:isDefinedBy rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:AnnotationProperty>
	<owl:AnnotationProperty rdf:about="&swivt;creationDate">
		<rdfs:isDefinedBy rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:AnnotationProperty>
	<owl:Class rdf:about="&swivt;Subject">
		<rdfs:isDefinedBy rdf:resource="http://semantic-mediawiki.org/swivt/1.0"/>
	</owl:Class>
	<!-- Created by Semantic MediaWiki, http://semantic-mediawiki.org -->
</rdf:RDF>