<?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/portal/'>
	<!ENTITY property 'http://tw.rpi.edu/portal/Property-3A'>
	<!ENTITY wikiurl 'http://tw.rpi.edu/portal/'>
]>

<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="&wikiurl;Special:ExportRDF/Ian_Horrocks">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2012-05-27T21:21:10-04:00</swivt:creationDate>
		<owl:imports rdf:resource="http://semantic-mediawiki.org/swivt/1.0" />
	</owl:Ontology>
	<!-- exported page data -->
	<swivt:Subject rdf:about="&wiki;Ian_Horrocks">
		<rdfs:label>Ian Horrocks</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Ian_Horrocks"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Ian_Horrocks"/>
		<rdf:type rdf:resource="&wiki;Category-3APerson"/>
		<property:Affiliation rdf:resource="&wiki;Oxford"/>
		<property:First_name rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Ian</property:First_name>
		<property:Image rdf:resource="&wiki;File-3AAnonymous.png"/>
		<property:Last_name rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Horrocks</property:Last_name>
		<property:Name rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Ian  Horrocks</property:Name>
		<property:Tag rdf:resource="&wiki;Category-3AComputer_science"/>
		<property:Tag rdf:resource="&wiki;Category-3ASemantic_web"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Oiling_the_way_to_machine_understandable_bioinformatics_resources">
		<rdfs:label>Oiling the way to machine understandable bioinformatics resources</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Oiling_the_way_to_machine_understandable_bioinformatics_resources"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Oiling_the_way_to_machine_understandable_bioinformatics_resources"/>
		<property:Author rdf:resource="&wiki;Ian_Horrocks"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Building_a_bioinformatics_ontology_using_oil">
		<rdfs:label>Building a bioinformatics ontology using oil</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Building_a_bioinformatics_ontology_using_oil"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Building_a_bioinformatics_ontology_using_oil"/>
		<property:Author rdf:resource="&wiki;Ian_Horrocks"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Oiled-3A_a_reason-2Dable_ontology_editor_for_the_semantic_web">
		<rdfs:label>Oiled: a reason-able ontology editor for the semantic web</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Oiled:_a_reason-able_ontology_editor_for_the_semantic_web"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Oiled:_a_reason-able_ontology_editor_for_the_semantic_web"/>
		<property:Author rdf:resource="&wiki;Ian_Horrocks"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Daml-2Boil_is_not_enough">
		<rdfs:label>Daml+oil is not enough</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Daml%2Boil_is_not_enough"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Daml%2Boil_is_not_enough"/>
		<property:Author rdf:resource="&wiki;Ian_Horrocks"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;The_grail_concept_modelling_language_for_medical_terminology">
		<rdfs:label>The grail concept modelling language for medical terminology</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;The_grail_concept_modelling_language_for_medical_terminology"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/The_grail_concept_modelling_language_for_medical_terminology"/>
		<property:Author rdf:resource="&wiki;Ian_Horrocks"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;A_description_logic_based_schema_for_the_classification_of_medical_data">
		<rdfs:label>A description logic based schema for the classification of medical data</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;A_description_logic_based_schema_for_the_classification_of_medical_data"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/A_description_logic_based_schema_for_the_classification_of_medical_data"/>
		<property:Author rdf:resource="&wiki;Ian_Horrocks"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Owl_datatypes-3A_design_and_implementation">
		<rdfs:label>Owl datatypes: design and implementation</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Owl_datatypes:_design_and_implementation"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Owl_datatypes:_design_and_implementation"/>
		<property:Author rdf:resource="&wiki;Ian_Horrocks"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Obo_and_owl-3A_leveraging_semantic_web_technologies_for_the_life_sciences">
		<rdfs:label>Obo and owl: leveraging semantic web technologies for the life sciences</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Obo_and_owl:_leveraging_semantic_web_technologies_for_the_life_sciences"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Obo_and_owl:_leveraging_semantic_web_technologies_for_the_life_sciences"/>
		<property:Author rdf:resource="&wiki;Ian_Horrocks"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Can_owl_and_logic_programming_live_together_happily_ever_after-3F">
		<rdfs:label>Can owl and logic programming live together happily ever after?</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Can_owl_and_logic_programming_live_together_happily_ever_after%3F"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Can_owl_and_logic_programming_live_together_happily_ever_after%3F"/>
		<property:Author rdf:resource="&wiki;Ian_Horrocks"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Framework_for_an_automated_comparison_of_description_logic_reasoners">
		<rdfs:label>Framework for an automated comparison of description logic reasoners</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Framework_for_an_automated_comparison_of_description_logic_reasoners"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Framework_for_an_automated_comparison_of_description_logic_reasoners"/>
		<property:Author rdf:resource="&wiki;Ian_Horrocks"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;A_little_semantic_web_goes_a_long_way_in_biology">
		<rdfs:label>A little semantic web goes a long way in biology</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;A_little_semantic_web_goes_a_long_way_in_biology"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/A_little_semantic_web_goes_a_long_way_in_biology"/>
		<property:Author rdf:resource="&wiki;Ian_Horrocks"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Using_vampire_to_reason_with_owl">
		<rdfs:label>Using vampire to reason with owl</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Using_vampire_to_reason_with_owl"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Using_vampire_to_reason_with_owl"/>
		<property:Author rdf:resource="&wiki;Ian_Horrocks"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Reducing_owl_entailment_to_description_logic_satisfiability">
		<rdfs:label>Reducing owl entailment to description logic satisfiability</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Reducing_owl_entailment_to_description_logic_satisfiability"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Reducing_owl_entailment_to_description_logic_satisfiability"/>
		<property:Author rdf:resource="&wiki;Ian_Horrocks"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Rdfs(fa)_and_rdf_mt-3A_two_semantics_for_rdfs">
		<rdfs:label>Rdfs(fa) and rdf mt: two semantics for rdfs</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Rdfs(fa)_and_rdf_mt:_two_semantics_for_rdfs"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Rdfs(fa)_and_rdf_mt:_two_semantics_for_rdfs"/>
		<property:Author rdf:resource="&wiki;Ian_Horrocks"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Web_ontology_reasoning_with_datatype_groups">
		<rdfs:label>Web ontology reasoning with datatype groups</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Web_ontology_reasoning_with_datatype_groups"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Web_ontology_reasoning_with_datatype_groups"/>
		<property:Author rdf:resource="&wiki;Ian_Horrocks"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;A_semantic_infosphere">
		<rdfs:label>A semantic infosphere</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;A_semantic_infosphere"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/A_semantic_infosphere"/>
		<property:Author rdf:resource="&wiki;Ian_Horrocks"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Querying_the_semantic_web-3A_a_formal_approach">
		<rdfs:label>Querying the semantic web: a formal approach</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Querying_the_semantic_web:_a_formal_approach"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Querying_the_semantic_web:_a_formal_approach"/>
		<property:Author rdf:resource="&wiki;Ian_Horrocks"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Just_the_right_amount-3A_extracting_modules_from_ontologies">
		<rdfs:label>Just the right amount: extracting modules from ontologies</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Just_the_right_amount:_extracting_modules_from_ontologies"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Just_the_right_amount:_extracting_modules_from_ontologies"/>
		<property:Author rdf:resource="&wiki;Ian_Horrocks"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Bridging_the_gap_between_owl_and_relational_databases">
		<rdfs:label>Bridging the gap between owl and relational databases</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Bridging_the_gap_between_owl_and_relational_databases"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Bridging_the_gap_between_owl_and_relational_databases"/>
		<property:Author rdf:resource="&wiki;Ian_Horrocks"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Semantic_web_architecture-3A_stack_or_two_towers-3F">
		<rdfs:label>Semantic web architecture: stack or two towers?</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Semantic_web_architecture:_stack_or_two_towers%3F"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Semantic_web_architecture:_stack_or_two_towers%3F"/>
		<property:Author rdf:resource="&wiki;Ian_Horrocks"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Owl_2-3A_the_next_step_for_owl">
		<rdfs:label>Owl 2: the next step for owl</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Owl_2:_the_next_step_for_owl"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Owl_2:_the_next_step_for_owl"/>
		<property:Author rdf:resource="&wiki;Ian_Horrocks"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;James_A._Hendler">
		<rdfs:label>James A. Hendler</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;James_A._Hendler"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/James_A._Hendler"/>
		<property:Coauthor rdf:resource="&wiki;Ian_Horrocks"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Deborah_L._McGuinness">
		<rdfs:label>Deborah L. McGuinness</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Deborah_L._McGuinness"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Deborah_L._McGuinness"/>
		<property:Collaborator rdf:resource="&wiki;Ian_Horrocks"/>
	</swivt:Subject>
	<!-- auxiliary definitions -->
	<owl:ObjectProperty rdf:about="&property;Collaborator">
		<rdfs:label>Collaborator</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Collaborator"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Collaborator"/>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="&property;Coauthor">
		<rdfs:label>Coauthor</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Coauthor"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Coauthor"/>
	</owl:ObjectProperty>
	<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>
	<owl:Class rdf:about="&wiki;Category-3ASemantic_web">
		<rdfs:label>Semantic web</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Semantic_web"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Semantic_web"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3AComputer_science">
		<rdfs:label>Computer science</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Computer_science"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Computer_science"/>
	</owl:Class>
	<owl:ObjectProperty rdf:about="&property;Tag">
		<rdfs:label>Tag</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Tag"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Tag"/>
	</owl:ObjectProperty>
	<owl:DatatypeProperty rdf:about="&property;Name">
		<rdfs:label>Name</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Name"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Name"/>
	</owl:DatatypeProperty>
	<owl:DatatypeProperty rdf:about="&property;Last_name">
		<rdfs:label>Last name</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Last_name"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Last_name"/>
	</owl:DatatypeProperty>
	<swivt:Subject rdf:about="&wiki;File-3AAnonymous.png">
		<rdfs:label>File:Anonymous.png</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;File:Anonymous.png"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/File:Anonymous.png"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Image">
		<rdfs:label>Image</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Image"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Image"/>
	</owl:ObjectProperty>
	<owl:DatatypeProperty rdf:about="&property;First_name">
		<rdfs:label>First name</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:First_name"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:First_name"/>
	</owl:DatatypeProperty>
	<swivt:Subject rdf:about="&wiki;Oxford">
		<rdfs:label>Oxford</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Oxford"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Oxford"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Affiliation">
		<rdfs:label>Affiliation</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Affiliation"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Affiliation"/>
	</owl:ObjectProperty>
	<owl:Class rdf:about="&wiki;Category-3APerson">
		<rdfs:label>Person</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Person"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Person"/>
	</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>
