<?xml version="1.0"?>

<!DOCTYPE owl [
	<!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#">
	<!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#">
	<!ENTITY xsd "http://www.w3.org/2001/XMLSchema#">
	<!ENTITY owl "http://www.w3.org/2002/07/owl#">
	<!ENTITY cc "http://web.resource.org/cc/#">
	<!ENTITY project "http://ebiquity.umbc.edu/ontology/project.owl#">
	<!ENTITY person "http://ebiquity.umbc.edu/ontology/person.owl#">
	<!ENTITY pub "http://ebiquity.umbc.edu/ontology/publication.owl#">
	<!ENTITY assert "http://ebiquity.umbc.edu/ontology/assertion.owl#">
]>

<!--

This ontology document is licensed under the Creative Commons
Attribution License. To view a copy of this license, visit
http://creativecommons.org/licenses/by/2.0/ or send a letter to
Creative Commons, 559 Nathan Abbott Way, Stanford, California
94305, USA.

-->

<rdf:RDF 
		xmlns:rdf = "&rdf;"
		xmlns:rdfs = "&rdfs;"
		xmlns:xsd = "&xsd;"
		xmlns:owl = "&owl;"
		xmlns:cc = "&cc;"
		xmlns:project = "&project;"
		xmlns:person = "&person;"
		xmlns:pub = "&pub;"
		xmlns:assert = "&assert;">
	<pub:InBook rdf:about="http://ebiquity.umbc.edu/paper/html/id/1100/Inheritance-in-Logic-Programming-Knowledge-Bases">
		<rdfs:label><![CDATA[Inheritance in Logic Programming Knowledge Bases]]></rdfs:label>
		<pub:title><![CDATA[Inheritance in Logic Programming Knowledge Bases]]></pub:title>
		<pub:publishedOn rdf:datatype="&xsd;dateTime">1991-03-28T00:00:00-05:00</pub:publishedOn>
		<pub:abstract><![CDATA[This paper presents an extended model for a logic programming language's knowledge base. Instead of being restricted to one global knowledge base, as is the case with Prolog, we allow segmentation into units that are linked together into a lattice. Each unit defines a view on the knowledge base, which includes those clauses that have been asserted into that unit as well as clauses inherited from its ancestors higher in the lattice structure. This model supports arbitrary retraction. Retracting a clause in a knowledge base unit effectively blocks its inheritance for that unit and all of its descendants. Motivations for using this model are given. We also discuss the design iterations of a Prolog-based implementation (Phd) of this model.]]></pub:abstract>
		<pub:chapter><![CDATA[18]]></pub:chapter>
		<pub:pages><![CDATA[291-310]]></pub:pages>
		<pub:note><![CDATA[<img src="https://i.imgur.com/TalZB4Z.png" style='height: 90%; width: 90%; object-fit: contain; display: block; margin-left: auto; margin-right: auto;'>]]></pub:note>
		<pub:counter>525</pub:counter>
		<pub:tag><![CDATA[ai]]></pub:tag>
		<pub:tag><![CDATA[inheritance]]></pub:tag>
		<pub:tag><![CDATA[knowledge base]]></pub:tag>
		<pub:tag><![CDATA[logic programming]]></pub:tag>
		<pub:tag><![CDATA[prolog]]></pub:tag>
		<pub:booktitle><![CDATA[Inheritance Hierarchies in Knowledge Representation and Programming Languages]]></pub:booktitle>
		<pub:publisher><![CDATA[Wiley]]></pub:publisher>
		<pub:author>
			<rdf:List>
				<rdf:first>
					<person:Person rdf:about="http://ebiquity.umbc.edu/person/html/Tim/Finin"><person:name><![CDATA[Tim Finin]]></person:name><rdfs:label><![CDATA[Tim Finin]]></rdfs:label></person:Person>
				</rdf:first>
				<rdf:rest>					<rdf:List>
						<rdf:first>
							<person:Person rdf:about="http://ebiquity.umbc.edu/person/html/James/McGuire"><person:name><![CDATA[James McGuire]]></person:name><rdfs:label><![CDATA[James McGuire]]></rdfs:label></person:Person>
						</rdf:first>
						<rdf:rest rdf:resource="&rdf;nil" />
					</rdf:List>
				</rdf:rest>
			</rdf:List>
		</pub:author>
		<pub:firstAuthor>
<person:Person rdf:about="http://ebiquity.umbc.edu/person/html/Tim/Finin"><person:name><![CDATA[Tim Finin]]></person:name><rdfs:label><![CDATA[Tim Finin]]></rdfs:label></person:Person>
		</pub:firstAuthor>
		<pub:editor>
			<rdf:List>
				<rdf:first>
					<person:Person rdf:about="http://ebiquity.umbc.edu/person/html/Maurizio/Lenzerini"><person:name><![CDATA[Maurizio Lenzerini]]></person:name><rdfs:label><![CDATA[Maurizio Lenzerini]]></rdfs:label></person:Person>
				</rdf:first>
				<rdf:rest>					<rdf:List>
						<rdf:first>
							<person:Person rdf:about="http://ebiquity.umbc.edu/person/html/Daniele/Nardi"><person:name><![CDATA[Daniele Nardi]]></person:name><rdfs:label><![CDATA[Daniele Nardi]]></rdfs:label></person:Person>
						</rdf:first>
						<rdf:rest>							<rdf:List>
								<rdf:first>
									<person:Person rdf:about="http://ebiquity.umbc.edu/person/html/Maria/Simi"><person:name><![CDATA[Maria Simi]]></person:name><rdfs:label><![CDATA[Maria Simi]]></rdfs:label></person:Person>
								</rdf:first>
								<rdf:rest rdf:resource="&rdf;nil" />
							</rdf:List>
						</rdf:rest>
					</rdf:List>
				</rdf:rest>
			</rdf:List>
		</pub:editor>
		<pub:softCopy><pub:SoftCopy>
			<pub:softCopyFormat><![CDATA[PDF Document]]></pub:softCopyFormat>
			<pub:softCopyURI><![CDATA[http://ebiquity.umbc.edu/get/a/publication/1242.pdf]]></pub:softCopyURI>
			<pub:softCopySize>1412082</pub:softCopySize>
			</pub:SoftCopy>
			</pub:softCopy>
	</pub:InBook>

<rdf:Description rdf:about="">
	<cc:License rdf:resource="http://creativecommons.org/licenses/by/2.0/" />
</rdf:Description>

</rdf:RDF>
