<?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://tw.rpi.edu/wiki/Special:URIResolver/'>
	<!ENTITY property 'http://tw.rpi.edu/wiki/Special:URIResolver/Property-3A'>
	<!ENTITY wikiurl 'http://tw.rpi.edu/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">2012-02-11T04:20:13-05:00</swivt:creationDate>
		<owl:imports rdf:resource="http://semantic-mediawiki.org/swivt/1.0" />
	</owl:Ontology>
	<!-- exported page data -->
	<swivt:Subject rdf:about="&wiki;CEX_and_MEX-3A_Logical_Diff_and_Logic-2Dbased_Module_Extraction_in_a_Fragment_of_OWL">
		<rdfs:label>CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;CEX_and_MEX:_Logical_Diff_and_Logic-based_Module_Extraction_in_a_Fragment_of_OWL"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/CEX_and_MEX:_Logical_Diff_and_Logic-based_Module_Extraction_in_a_Fragment_of_OWL"/>
		<rdf:type rdf:resource="&wiki;Category-3AProceeding_Paper"/>
		<property:Has_author rdf:resource="&wiki;Boris_Konev"/>
		<property:Has_author rdf:resource="&wiki;Carsten_Lutz"/>
		<property:Has_author rdf:resource="&wiki;Dirk_Walther"/>
		<property:Has_author rdf:resource="&wiki;Frank_Wolter"/>
		<property:Has_identifier rdf:resource="&wiki;CEX_and_MEX-3A_Logical_Diff_and_Logic-2Dbased_Module_Extraction_in_a_Fragment_of_OWL"/>
		<property:Has_publishing_details rdf:datatype="http://www.w3.org/2001/XMLSchema#string">pp. online, 2008</property:Has_publishing_details>
		<property:Has_title rdf:datatype="http://www.w3.org/2001/XMLSchema#string">CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL</property:Has_title>
		<property:Has_topic rdf:resource="&wiki;Category-3AOWL"/>
		<property:Has_topic rdf:resource="&wiki;Category-3AModular_Ontology"/>
		<property:Has_topic rdf:resource="&wiki;Category-3AConservative_Extension"/>
		<property:Has_topic rdf:resource="&wiki;Category-3AOntology_Modularization"/>
		<property:Has_where_published rdf:datatype="http://www.w3.org/2001/XMLSchema#string">OWL: Experiences and Directions (OWLED)</property:Has_where_published>
		<property:Has_year rdf:datatype="http://www.w3.org/2001/XMLSchema#string">2008</property:Has_year>
	</swivt:Subject>
	<!-- auxilliary definitions -->
	<owl:DatatypeProperty rdf:about="&property;Has_year">
		<rdfs:label>Has year</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Has_year"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Has_year"/>
	</owl:DatatypeProperty>
	<owl:DatatypeProperty rdf:about="&property;Has_where_published">
		<rdfs:label>Has where published</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Has_where_published"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Has_where_published"/>
	</owl:DatatypeProperty>
	<owl:Class rdf:about="&wiki;Category-3AOntology_Modularization">
		<rdfs:label>Ontology Modularization</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Ontology_Modularization"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Ontology_Modularization"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3AConservative_Extension">
		<rdfs:label>Conservative Extension</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Conservative_Extension"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Conservative_Extension"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3AModular_Ontology">
		<rdfs:label>Modular Ontology</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Modular_Ontology"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Modular_Ontology"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3AOWL">
		<rdfs:label>OWL</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:OWL"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:OWL"/>
	</owl:Class>
	<owl:ObjectProperty rdf:about="&property;Has_topic">
		<rdfs:label>Has topic</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Has_topic"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Has_topic"/>
	</owl:ObjectProperty>
	<owl:DatatypeProperty rdf:about="&property;Has_title">
		<rdfs:label>Has title</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Has_title"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Has_title"/>
	</owl:DatatypeProperty>
	<owl:DatatypeProperty rdf:about="&property;Has_publishing_details">
		<rdfs:label>Has publishing details</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Has_publishing_details"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Has_publishing_details"/>
	</owl:DatatypeProperty>
	<owl:ObjectProperty rdf:about="&property;Has_identifier">
		<rdfs:label>Has identifier</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Has_identifier"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Has_identifier"/>
	</owl:ObjectProperty>
	<swivt:Subject rdf:about="&wiki;Frank_Wolter">
		<rdfs:label>Frank Wolter</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Frank_Wolter"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Frank_Wolter"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Dirk_Walther">
		<rdfs:label>Dirk Walther</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Dirk_Walther"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Dirk_Walther"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Carsten_Lutz">
		<rdfs:label>Carsten Lutz</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Carsten_Lutz"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Carsten_Lutz"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Boris_Konev">
		<rdfs:label>Boris Konev</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Boris_Konev"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Boris_Konev"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Has_author">
		<rdfs:label>Has author</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Has_author"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Has_author"/>
	</owl:ObjectProperty>
	<owl:Class rdf:about="&wiki;Category-3AProceeding_Paper">
		<rdfs:label>Proceeding Paper</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Proceeding_Paper"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Proceeding_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>
