<?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/Description_logic_for_configuration">
		<swivt:creationDate rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2010-03-18T08:06:48-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;Description_logic_for_configuration">
		<rdfs:label>Description logic for configuration</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Description_logic_for_configuration"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Description_logic_for_configuration"/>
		<rdf:type rdf:resource="&wiki;Category-3ABook_Chapter"/>
		<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 logics are used to solve a wide variety of problems with configuration applications being some of the largest and longest-lived. There is concrete, commercial evidence that shows that description logic-based configurators have been successfully fielded for over a decade. Additionally, it appears that configuration applications have a number of characteristics that make them well-suited to description logic-based solutions. This chapter will introduce the problem of configuration, describe some requirements of configuration applications that make them candidates for description logic-based solutions, show examples of these requirements in a configuration example, and introduce the largest and longest lived family of description logic-based configurators.</property:Abstract>
		<property:Author rdf:resource="&wiki;Deborah_L._McGuinness"/>
		<property:Bibtype rdf:datatype="http://www.w3.org/2001/XMLSchema#string">incollection</property:Bibtype>
		<property:Booktitle rdf:datatype="http://www.w3.org/2001/XMLSchema#string">The Description Logic Handbook: Theory, Implementation, and Applications</property:Booktitle>
		<property:Editor rdf:resource="&wiki;Franz_Baader"/>
		<property:Editor rdf:resource="&wiki;Deborah_L._McGuinness"/>
		<property:Editor rdf:resource="&wiki;Daniele_Nardi"/>
		<property:Editor rdf:resource="&wiki;Peter_F._Patel-2DSchneider"/>
		<property:Key rdf:datatype="http://www.w3.org/2001/XMLSchema#string">mcguinness2003description</property:Key>
		<property:Pages rdf:datatype="http://www.w3.org/2001/XMLSchema#string">388-405</property:Pages>
		<property:Paper rdf:resource="http://tw.rpi.edu/proj/portal.wiki/images/1/13/KSL-02-09.pdf"/>
		<property:Publisher rdf:resource="&wiki;Cambridge_University_Press"/>
		<property:Tag rdf:resource="&wiki;Category-3AComputer_science"/>
		<property:Title rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Description Logic for Configuration</property:Title>
		<property:Tr_id rdf:datatype="http://www.w3.org/2001/XMLSchema#string">KSL-02-09</property:Tr_id>
		<property:Year rdf:datatype="http://www.w3.org/2001/XMLSchema#string">2003</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>
	<swivt:Subject rdf:about="&wiki;Cambridge_University_Press">
		<rdfs:label>Cambridge University Press</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Cambridge_University_Press"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Cambridge_University_Press"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Publisher">
		<rdfs:label>Publisher</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Publisher"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Publisher"/>
	</owl:ObjectProperty>
	<swivt:Subject rdf:about="http://tw.rpi.edu/proj/portal.wiki/images/1/13/KSL-02-09.pdf">
		<rdfs:label>Media:KSL-02-09.pdf</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Media:KSL-02-09.pdf"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Media:KSL-02-09.pdf"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Paper">
		<rdfs:label>Paper</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Paper"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Paper"/>
	</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;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;Peter_F._Patel-2DSchneider">
		<rdfs:label>Peter F. Patel-Schneider</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Peter_F._Patel-Schneider"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Peter_F._Patel-Schneider"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Daniele_Nardi">
		<rdfs:label>Daniele Nardi</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Daniele_Nardi"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Daniele_Nardi"/>
	</swivt:Subject>
	<swivt:Subject rdf:about="&wiki;Franz_Baader">
		<rdfs:label>Franz Baader</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Franz_Baader"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Franz_Baader"/>
	</swivt:Subject>
	<owl:ObjectProperty rdf:about="&property;Editor">
		<rdfs:label>Editor</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Property:Editor"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Property:Editor"/>
	</owl:ObjectProperty>
	<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;Deborah_L._McGuinness">
		<rdfs:label>Deborah L. McGuinness</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Deborah_L._McGuinness"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Deborah_L._McGuinness"/>
	</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-3ABook_Chapter">
		<rdfs:label>Book Chapter</rdfs:label>
		<swivt:page rdf:resource="&wikiurl;Category:Book_Chapter"/>
		<rdfs:isDefinedBy rdf:resource="&wikiurl;Special:ExportRDF/Category:Book_Chapter"/>
	</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>