<?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/An_efficient_algorithm_for_searching_implicit_and%2For_graphs_with_cycles">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2012-05-28T00:31: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;An_efficient_algorithm_for_searching_implicit_and/or_graphs_with_cycles">
		<rdfs:label>An efficient algorithm for searching implicit and/or graphs with cycles</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;An_efficient_algorithm_for_searching_implicit_and/or_graphs_with_cycles"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/An_efficient_algorithm_for_searching_implicit_and/or_graphs_with_cycles"/>
		<rdf:type rdf:resource="&wiki;Category-3AJournal_Paper"/>
		<rdf:type rdf:resource="&wiki;Category-3APublication"/>
		<property:Address rdf:resource="&wiki;Essex,_UK"/>
		<property:Author rdf:resource="&wiki;P._Jim-C3-A9nez"/>
		<property:Author rdf:resource="&wiki;C._Torras"/>
		<property:Bibtype rdf:datatype="http://www.w3.org/2001/XMLSchema#string">article</property:Bibtype>
		<property:Doi rdf:resource="http://dx.doi.org/10.1016/S0004-3702%2800%2900063-1"/>
		<property:Issn rdf:resource="&wiki;0004-2D3702"/>
		<property:Journal rdf:resource="&wiki;Artif._Intell."/>
		<property:Key rdf:datatype="http://www.w3.org/2001/XMLSchema#string">357388</property:Key>
		<property:Number rdf:datatype="http://www.w3.org/2001/XMLSchema#string">1</property:Number>
		<property:Pages rdf:datatype="http://www.w3.org/2001/XMLSchema#string">1--30</property:Pages>
		<property:Publisher rdf:resource="&wiki;Elsevier_Science_Publishers_Ltd."/>
		<property:Relation rdf:resource="&wiki;AND/OR_graph"/>
		<property:Tag rdf:resource="&wiki;Category-3AComputer_science"/>
		<property:Title rdf:datatype="http://www.w3.org/2001/XMLSchema#string">An efficient algorithm for searching implicit AND/OR graphs with cycles</property:Title>
		<property:Volume rdf:resource="&wiki;124"/>
		<property:Year rdf:datatype="http://www.w3.org/2001/XMLSchema#string">2000</property:Year>
	</swivt:Subject>
	<!-- auxiliary definitions -->
	<owl:DatatypeProperty rdf:about="&property;Year">
		<rdfs:label>Year</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Year"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Year"/>
	</owl:DatatypeProperty>
	<swivt:Subject rdf:about="&wiki;124">
		<rdfs:label>124</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;124"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/124"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Volume">
		<rdfs:label>Volume</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Volume"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Volume"/>
	</owl:ObjectProperty>
	<owl:DatatypeProperty rdf:about="&property;Title">
		<rdfs:label>Title</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Title"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Title"/>
	</owl:DatatypeProperty>
	<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>
	<swivt:Subject rdf:about="&wiki;AND/OR_graph">
		<rdfs:label>AND/OR graph</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;AND/OR_graph"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/AND/OR_graph"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Relation">
		<rdfs:label>Relation</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Relation"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Relation"/>
	</owl:ObjectProperty>
	<swivt:Subject rdf:about="&wiki;Elsevier_Science_Publishers_Ltd.">
		<rdfs:label>Elsevier Science Publishers Ltd.</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Elsevier_Science_Publishers_Ltd."/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Elsevier_Science_Publishers_Ltd."/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Publisher">
		<rdfs:label>Publisher</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Publisher"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Publisher"/>
	</owl:ObjectProperty>
	<owl:DatatypeProperty rdf:about="&property;Pages">
		<rdfs:label>Pages</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Pages"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Pages"/>
	</owl:DatatypeProperty>
	<owl:DatatypeProperty rdf:about="&property;Number">
		<rdfs:label>Number</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Number"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Number"/>
	</owl:DatatypeProperty>
	<owl:DatatypeProperty rdf:about="&property;Key">
		<rdfs:label>Key</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Key"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Key"/>
	</owl:DatatypeProperty>
	<swivt:Subject rdf:about="&wiki;Artif._Intell.">
		<rdfs:label>Artif. Intell.</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Artif._Intell."/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Artif._Intell."/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Journal">
		<rdfs:label>Journal</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Journal"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Journal"/>
	</owl:ObjectProperty>
	<swivt:Subject rdf:about="&wiki;0004-2D3702">
		<rdfs:label>0004-3702</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;0004-3702"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/0004-3702"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Issn">
		<rdfs:label>Issn</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Issn"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Issn"/>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="&property;Doi">
		<rdfs:label>Doi</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Doi"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Doi"/>
	</owl:ObjectProperty>
	<owl:DatatypeProperty rdf:about="&property;Bibtype">
		<rdfs:label>Bibtype</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Bibtype"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Bibtype"/>
	</owl:DatatypeProperty>
	<swivt:Subject rdf:about="&wiki;C._Torras">
		<rdfs:label>C. Torras</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;C._Torras"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/C._Torras"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;P._Jim-C3-A9nez">
		<rdfs:label>P. Jiménez</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;P._Jim%C3%A9nez"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/P._Jim%C3%A9nez"/>
	</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;Essex,_UK">
		<rdfs:label>Essex, UK</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Essex,_UK"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Essex,_UK"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Address">
		<rdfs:label>Address</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Address"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Address"/>
	</owl:ObjectProperty>
	<owl:Class rdf:about="&wiki;Category-3APublication">
		<rdfs:label>Publication</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Publication"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Publication"/>
	</owl:Class>
	<owl:Class rdf:about="&wiki;Category-3AJournal_Paper">
		<rdfs:label>Journal Paper</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Journal_Paper"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Journal_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>
