<?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/A_compositional_approach_to_causality">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2012-05-27T23:31:40-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;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-3AProceeding_Paper"/>
		<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 engineeringdomains is important towards predicting and diagnosing systembehavior. Most previous attempts in this direction have failed torecognize the key differences between equations which model physicalphenomena and those that just express rationality or numericalconveniences of the designer. These different types of equations beardifferent causal implications among the model parameters theyrelate. We show how unstructured and ad hoc formulations of equationmodels for apparent numerical conveniences are lossy in the causalinformation encoding and justify the use of CML as a model formulationparadigm which retains these causal structures among model parametersby clearly separating equations corresponding to phenomena andrationality. We provide an algorithm to infer causality from theactive model fragments by using the notion of PreCondition graphs.</property:Abstract>
		<property:Address rdf:resource="&wiki;Austin,_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:datatype="http://www.w3.org/2001/XMLSchema#string">Proceedings of the Fourth International Symposium on Abstraction, Reformulation and Approximation (SARA2000)</property:Booktitle>
		<property:Key rdf:datatype="http://www.w3.org/2001/XMLSchema#string">KSL-00-04</property:Key>
		<property:Tag rdf:resource="&wiki;Category-3AComputer_science"/>
		<property:Title rdf:datatype="http://www.w3.org/2001/XMLSchema#string">A Compositional Approach to Causality</property:Title>
		<property:Tr_id rdf:datatype="http://www.w3.org/2001/XMLSchema#string">KSL-00-04</property:Tr_id>
		<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>
	<owl:DatatypeProperty rdf:about="&property;Tr_id">
		<rdfs:label>Tr id</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Tr_id"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Tr_id"/>
	</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>
	<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;Key">
		<rdfs:label>Key</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Key"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Key"/>
	</owl:DatatypeProperty>
	<owl:DatatypeProperty 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:DatatypeProperty>
	<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,_Texas">
		<rdfs:label>Austin, Texas</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Austin,_Texas"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Austin,_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-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>
