<?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-10T20:17:10-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;A_Compositional_Approach_to_Causality">
		<rdfs:label>A Compositional Approach to Causality</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;A_Compositional_Approach_to_Causality"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/A_Compositional_Approach_to_Causality"/>
		<rdf:type rdf:resource="&wiki;Category-3AInProceedings"/>
		<rdf:type rdf:resource="&wiki;Category-3APublication"/>
		<rdf:type rdf:resource="&wiki;Category-3AKSL_Technical_Report"/>
		<property:Abstract rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Inferring causality from equation models characterizing engineering domains is important towards predicting and diagnosing system behavior. Most previous attempts in this direction have failed to recognize the key differences between equations which model physical phenomena and those that just express rationality or numerical conveniences of the designer. These different types of equations bear different causal implications among the model parameters they relate. We show how unstructured and ad hoc formulations of equation models for apparent numerical conveniences are lossy in the causal information encoding and justify the use of CML as a model formulation paradigm which retains these causal structures among model parameters by clearly separating equations corresponding to phenomena and rationality. We provide an algorithm to infer causality from the active model fragments by using the notion of PreCondition graphs.</property:Abstract>
		<property:Address rdf:resource="&wiki;Austin-2C_Texas"/>
		<property:Author rdf:resource="&wiki;T._K._Satish_Kumar"/>
		<property:Bibtype rdf:datatype="http://www.w3.org/2001/XMLSchema#string">inproceedings</property:Bibtype>
		<property:Booktitle rdf:resource="&wiki;Proceedings_of_the_Fourth_International_Symposium_on_Abstraction-2C_Reformulation_and_Approximation_(SARA2000)"/>
		<property:Has_author rdf:resource="&wiki;T._K._Satish_Kumar"/>
		<property:Has_identifier rdf:resource="&wiki;A_Compositional_Approach_to_Causality"/>
		<property:Has_publishing_details rdf:datatype="http://www.w3.org/2001/XMLSchema#string">2000</property:Has_publishing_details>
		<property:Has_title rdf:datatype="http://www.w3.org/2001/XMLSchema#string">A Compositional Approach to Causality</property:Has_title>
		<property:Has_where_published rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Proceedings of the Fourth International Symposium on Abstraction, Reformulation and Approximation (SARA2000)</property:Has_where_published>
		<property:Has_year rdf:datatype="http://www.w3.org/2001/XMLSchema#string">2000</property:Has_year>
		<property:Ksl_tr_id rdf:resource="&wiki;A_Compositional_Approach_to_Causality"/>
		<property:Process_note rdf:resource="&wiki;NO"/>
		<property:Title rdf:datatype="http://www.w3.org/2001/XMLSchema#string">A Compositional Approach to Causality</property:Title>
		<property:Year rdf:datatype="http://www.w3.org/2001/XMLSchema#string">2000</property:Year>
	</swivt:Subject>
	<!-- auxilliary 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>
	<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>
	<swivt:Subject rdf:about="&wiki;NO">
		<rdfs:label>NO</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;NO"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/NO"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Process_note">
		<rdfs:label>Process note</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Process_note"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Process_note"/>
	</owl:ObjectProperty>
	<owl:ObjectProperty rdf:about="&property;Ksl_tr_id">
		<rdfs:label>Ksl tr id</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Ksl_tr_id"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Ksl_tr_id"/>
	</owl:ObjectProperty>
	<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: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>
	<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>
	<swivt:Subject rdf:about="&wiki;Proceedings_of_the_Fourth_International_Symposium_on_Abstraction-2C_Reformulation_and_Approximation_(SARA2000)">
		<rdfs:label>Proceedings of the Fourth International Symposium on Abstraction, Reformulation and Approximation (SARA2000)</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Proceedings_of_the_Fourth_International_Symposium_on_Abstraction%2C_Reformulation_and_Approximation_(SARA2000)"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Proceedings_of_the_Fourth_International_Symposium_on_Abstraction%2C_Reformulation_and_Approximation_(SARA2000)"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Booktitle">
		<rdfs:label>Booktitle</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Booktitle"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Booktitle"/>
	</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;T._K._Satish_Kumar">
		<rdfs:label>T. K. Satish Kumar</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;T._K._Satish_Kumar"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/T._K._Satish_Kumar"/>
	</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;Austin-2C_Texas">
		<rdfs:label>Austin, Texas</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Austin%2C_Texas"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Austin%2C_Texas"/>
	</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:DatatypeProperty rdf:about="&property;Abstract">
		<rdfs:label>Abstract</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Abstract"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Abstract"/>
	</owl:DatatypeProperty>
	<owl:Class rdf:about="&wiki;Category-3AKSL_Technical_Report">
		<rdfs:label>KSL Technical Report</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:KSL_Technical_Report"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:KSL_Technical_Report"/>
	</owl:Class>
	<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-3AInProceedings">
		<rdfs:label>InProceedings</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:InProceedings"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:InProceedings"/>
	</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>
