<?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-10T16:55:09-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_Framework_for_Acquiring_Temporal-2DAbstraction_Knowledge">
		<rdfs:label>A Framework for Acquiring Temporal-Abstraction Knowledge</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;A_Framework_for_Acquiring_Temporal-Abstraction_Knowledge"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/A_Framework_for_Acquiring_Temporal-Abstraction_Knowledge"/>
		<rdf:type rdf:resource="&wiki;Category-3ATechnical_Report"/>
		<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">We formally describe a framework that we suggested previously for abstracting time-stamped data and sharing the domain-specific knowledge needed for this task. The temporal-abstraction (TA) task is an important part of general tasks such as pattern recognition over time and planning (e.g., forming and revising therapy plans for patients).  The TA task is decomposed by the suggested TA method into several subtasks achieved by three basic TA mechanisms: point temporal abstraction, for abstracting values of several temporally coexistent parameter values into a value of another parameter; temporal inference, for inferring domain-specific sound logical conclusions for a single temporal interval or two meeting intervals; and temporal interpolation, for bridging nonmeeting temporal intervals.  The TA method has also been implemented as a system, RESUME.  We then show how this framework can be formally specified as inferences in the KADS knowledge-modeling methodology, thus proposing a platform for modeling and sharing domain-independent TA inference knowledge.  Making explicit the knowledge required for TA and formalizing the semantics of the mechanisms involved supports the acquisition of that knowledge by automatically generated tools and emphasizes the advantages of a modular, task-specific but domain-independent architecture for designing knowledge-based systems.</property:Abstract>
		<property:Author rdf:resource="&wiki;Yuval_Shahar_and_Manfred_Aben_and_Mark_A._Musen"/>
		<property:Bibtype rdf:datatype="http://www.w3.org/2001/XMLSchema#string">techreport</property:Bibtype>
		<property:Has_author rdf:resource="&wiki;Yuval_Shahar_and_Manfred_Aben_and_Mark_A._Musen"/>
		<property:Has_identifier rdf:resource="&wiki;A_Framework_for_Acquiring_Temporal-2DAbstraction_Knowledge"/>
		<property:Has_publishing_details rdf:datatype="http://www.w3.org/2001/XMLSchema#string">January,1993</property:Has_publishing_details>
		<property:Has_title rdf:datatype="http://www.w3.org/2001/XMLSchema#string">A Framework for Acquiring Temporal-Abstraction Knowledge</property:Has_title>
		<property:Has_where_published rdf:datatype="http://www.w3.org/2001/XMLSchema#string">KSL-93-02</property:Has_where_published>
		<property:Has_year rdf:datatype="http://www.w3.org/2001/XMLSchema#string">1993</property:Has_year>
		<property:Institution rdf:resource="&wiki;Knowledge_Systems-2C_AI_Laboratory"/>
		<property:Ksl_tr_id rdf:resource="&wiki;A_Framework_for_Acquiring_Temporal-2DAbstraction_Knowledge"/>
		<property:Month rdf:resource="&wiki;January"/>
		<property:Number rdf:resource="&wiki;A_Framework_for_Acquiring_Temporal-2DAbstraction_Knowledge"/>
		<property:Process_note rdf:resource="&wiki;NO"/>
		<property:Title rdf:datatype="http://www.w3.org/2001/XMLSchema#string">A Framework for Acquiring Temporal-Abstraction Knowledge</property:Title>
		<property:Year rdf:datatype="http://www.w3.org/2001/XMLSchema#string">1993</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;Number">
		<rdfs:label>Number</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Number"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Number"/>
	</owl:ObjectProperty>
	<swivt:Subject rdf:about="&wiki;January">
		<rdfs:label>January</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;January"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/January"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Month">
		<rdfs:label>Month</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Month"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Month"/>
	</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>
	<swivt:Subject rdf:about="&wiki;Knowledge_Systems-2C_AI_Laboratory">
		<rdfs:label>Knowledge Systems, AI Laboratory</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Knowledge_Systems%2C_AI_Laboratory"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Knowledge_Systems%2C_AI_Laboratory"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Institution">
		<rdfs:label>Institution</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Institution"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Institution"/>
	</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>
	<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;Yuval_Shahar_and_Manfred_Aben_and_Mark_A._Musen">
		<rdfs:label>Yuval Shahar and Manfred Aben and Mark A. Musen</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Yuval_Shahar_and_Manfred_Aben_and_Mark_A._Musen"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Yuval_Shahar_and_Manfred_Aben_and_Mark_A._Musen"/>
	</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: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-3ATechnical_Report">
		<rdfs:label>Technical Report</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Technical_Report"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Technical_Report"/>
	</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>
