<?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:TechReport rdf:about="http://ebiquity.umbc.edu/paper/html/id/1072/A-Hierarchical-Database-Model-for-a-Logic-Programming-Language">
		<rdfs:label><![CDATA[A Hierarchical Database Model for a Logic Programming Language]]></rdfs:label>
		<pub:title><![CDATA[A Hierarchical Database Model for a Logic Programming Language]]></pub:title>
		<pub:publishedOn rdf:datatype="&xsd;dateTime">1988-03-01T00:00:00-05:00</pub:publishedOn>
		<pub:abstract><![CDATA[This paper presents an extended Clausal Database Model for a logic programming language. Instead of being restricted to a single global database, as in Prolog, we allow the database to be segmented into units linked together into a semi-lattice. Each database unit defines a database view that includes clauses asserted in that unit, as well as clauses inherited from ancestors higher in the lattice structure. This model supports arbitrary retraction. Retracting a clause in a database unit effectively blocks its inheritance for that unit and all of its descendants. Motivations for using this model are given. We also discuss implementing a Prolog meta-interpreter that uses this model. (hereafter referred to as (Phd or Prolog Hierarchical Database). This meta-interpreter is in the spirit of Prolog and therefore includes versions of assert, retract, and cut.]]></pub:abstract>
		<pub:number><![CDATA[MS-CIS-88-22]]></pub:number>
		<pub:note><![CDATA[<img src="https://i.imgur.com/AecV4gX.png" object-fit: contain; display: block; margin-left: auto; margin-right: auto;'>]]></pub:note>
		<pub:organization><![CDATA[Department of Computer and Information Science]]></pub:organization>
		<pub:counter>461</pub:counter>
		<pub:tag><![CDATA[database]]></pub:tag>
		<pub:tag><![CDATA[logic programming]]></pub:tag>
		<pub:tag><![CDATA[logic programming]]></pub:tag>
		<pub:tag><![CDATA[prolog]]></pub:tag>
		<pub:publisher><![CDATA[University of Pennsylvania]]></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:softCopy><pub:SoftCopy>
			<pub:softCopyFormat><![CDATA[PDF Document]]></pub:softCopyFormat>
			<pub:softCopyURI><![CDATA[http://ebiquity.umbc.edu/get/a/publication/1209.pdf]]></pub:softCopyURI>
			<pub:softCopySize>1122559</pub:softCopySize>
			</pub:SoftCopy>
			</pub:softCopy>
	</pub:TechReport>

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

</rdf:RDF>
