<?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/Handling_termination_in_a_logical_language_for_active_rules">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2012-05-27T21:14:31-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;Handling_termination_in_a_logical_language_for_active_rules">
		<rdfs:label>Handling termination in a logical language for active rules</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Handling_termination_in_a_logical_language_for_active_rules"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Handling_termination_in_a_logical_language_for_active_rules"/>
		<rdf:type rdf:resource="&wiki;Category-3AJournal_Paper"/>
		<rdf:type rdf:resource="&wiki;Category-3APublication"/>
		<property:Author rdf:resource="&wiki;Bertram_Lud-C3-A4scher"/>
		<property:Author rdf:resource="&wiki;Georg_Lausen"/>
		<property:Bibtype rdf:datatype="http://www.w3.org/2001/XMLSchema#string">article</property:Bibtype>
		<property:Doi rdf:resource="http://www.vtex.lt/informatica/htm/INFO115.htm"/>
		<property:Journal rdf:resource="&wiki;Informatica,_Lith._Acad._Sci."/>
		<property:Key rdf:datatype="http://www.w3.org/2001/XMLSchema#string">dblp:journals/informaticalt/ludascherl98</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">65-84</property:Pages>
		<property:Source rdf:resource="http://dblp.uni-trier.de/rec/bibtex/journals/informaticaLT/LudascherL98"/>
		<property:Tag rdf:resource="&wiki;Category-3AComputer_science"/>
		<property:Title rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Handling Termination in a Logical Language for Active Rules</property:Title>
		<property:Volume rdf:resource="&wiki;9"/>
		<property:Year rdf:datatype="http://www.w3.org/2001/XMLSchema#string">1998</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;9">
		<rdfs:label>9</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;9"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/9"/>
	</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>
	<owl:ObjectProperty rdf:about="&property;Source">
		<rdfs:label>Source</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Source"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Source"/>
	</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;Informatica,_Lith._Acad._Sci.">
		<rdfs:label>Informatica, Lith. Acad. Sci.</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Informatica,_Lith._Acad._Sci."/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Informatica,_Lith._Acad._Sci."/>
	</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>
	<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;Georg_Lausen">
		<rdfs:label>Georg Lausen</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Georg_Lausen"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Georg_Lausen"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Bertram_Lud-C3-A4scher">
		<rdfs:label>Bertram Ludäscher</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Bertram_Lud%C3%A4scher"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Bertram_Lud%C3%A4scher"/>
	</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>
	<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>
