<?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-11T07:03:43-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_Description_Logic_Based_Configurator_for_the_Web">
		<rdfs:label>A Description Logic Based Configurator for the Web</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;A_Description_Logic_Based_Configurator_for_the_Web"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/A_Description_Logic_Based_Configurator_for_the_Web"/>
		<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">Description logic-based configuration applications have been used within AT&amp;T since 1990 to process over two and a half billion dollars worth of orders. While this family of applications has widely acknowledged importance, it is difficult to use for pedagogical purposes since the typical product configured is a highly interconnected, complicated technical piece of equipment like the DACS IV--2000.* We have developed a smaller--scale configuration application that has analogous reasoning processes but a more approachable domain---that of building home theater systems. This application provides a platform for explaining how Description Logic-based Systems(DLS s) work, in our case the CLASSIC knowledge representation system and how they can support industrial applications like configuration. CLASSIC** is an object--centered representation and reasoning tool with a formal foundation in description logic. CLASSIC and many DLS s are particularly well suited for applications in areas like configuration that must encode rich class and object descriptions; provide active inference (such as automatic classification of classes and objects into a generalization hierarchy, rule firing and maintenance, inheritance, propagation, etc.); explain the reasoning process; handle an incomplete and incrementally evolving knowledge base; and handle errors in a way that keeps the knowledge base consistent, but also provides useful information to the user. We will provide some examples in our domain that illustrate each of these areas. *DACS IV--2000 is a digital cross--connect system that processes digitized signals for some US standard transmission rates. ** CLASSIC is freely available for academic purposes, and commercially available for other purposes. It has been distributed to over 100 universities and is in use in many internal projects within AT&amp;T.</property:Abstract>
		<property:Author rdf:resource="&wiki;Deborah_L._McGuinness_and_Peter_F._Patel-2DSchneider_and_Lori_Alperin_Resnick_and_Charles_Lee_Isbell_and_Matt_Parker_and_Christopher_A._Welty"/>
		<property:Bibtype rdf:datatype="http://www.w3.org/2001/XMLSchema#string">inproceedings</property:Bibtype>
		<property:Booktitle rdf:resource="&wiki;SIGART_Bulletin-2C_9(2)"/>
		<property:Has_author rdf:resource="&wiki;Deborah_L._McGuinness_and_Peter_F._Patel-2DSchneider_and_Lori_Alperin_Resnick_and_Charles_Lee_Isbell_and_Matt_Parker_and_Christopher_A._Welty"/>
		<property:Has_identifier rdf:resource="&wiki;A_Description_Logic_Based_Configurator_for_the_Web"/>
		<property:Has_publishing_details rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Fall,1998</property:Has_publishing_details>
		<property:Has_title rdf:datatype="http://www.w3.org/2001/XMLSchema#string">A Description Logic Based Configurator for the Web</property:Has_title>
		<property:Has_where_published rdf:datatype="http://www.w3.org/2001/XMLSchema#string">SIGART Bulletin, 9(2)</property:Has_where_published>
		<property:Has_year rdf:datatype="http://www.w3.org/2001/XMLSchema#string">1998</property:Has_year>
		<property:Ksl_tr_id rdf:resource="&wiki;A_Description_Logic_Based_Configurator_for_the_Web"/>
		<property:Month rdf:resource="&wiki;Fall"/>
		<property:Process_note rdf:resource="&wiki;NO"/>
		<property:Title rdf:datatype="http://www.w3.org/2001/XMLSchema#string">A Description Logic Based Configurator for the Web</property:Title>
		<property:Year rdf:datatype="http://www.w3.org/2001/XMLSchema#string">1998</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>
	<swivt:Subject rdf:about="&wiki;Fall">
		<rdfs:label>Fall</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Fall"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Fall"/>
	</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>
	<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;SIGART_Bulletin-2C_9(2)">
		<rdfs:label>SIGART Bulletin, 9(2)</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;SIGART_Bulletin%2C_9(2)"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/SIGART_Bulletin%2C_9(2)"/>
	</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;Deborah_L._McGuinness_and_Peter_F._Patel-2DSchneider_and_Lori_Alperin_Resnick_and_Charles_Lee_Isbell_and_Matt_Parker_and_Christopher_A._Welty">
		<rdfs:label>Deborah L. McGuinness and Peter F. Patel-Schneider and Lori Alperin Resnick and Charles Lee Isbell and Matt Parker and Christopher A. Welty</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Deborah_L._McGuinness_and_Peter_F._Patel-Schneider_and_Lori_Alperin_Resnick_and_Charles_Lee_Isbell_and_Matt_Parker_and_Christopher_A._Welty"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Deborah_L._McGuinness_and_Peter_F._Patel-Schneider_and_Lori_Alperin_Resnick_and_Charles_Lee_Isbell_and_Matt_Parker_and_Christopher_A._Welty"/>
	</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-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>
