@prefix epid: .
@prefix dc: .
@prefix geo: .
@prefix bibo: .
@prefix epx: .
@prefix owl: .
@prefix void: .
@prefix event: .
@prefix skos: .
@prefix xsd: .
@prefix cc: .
@prefix ep: .
@prefix foaf: .
@prefix rdf: .
@prefix rdfs: .
@prefix eprel: .
@prefix dct: .
<>
foaf:primaryTopic ;
rdfs:comment "The repository administrator has not yet configured an RDF license."^^xsd:string .
rdfs:label "cosit-97.ps"^^xsd:string .
dc:format "text/html";
dc:title "HTML Summary of #517 \n\nThe Algebraic Structure of Sets of Regions\n\n";
foaf:primaryTopic .
dct:hasPart ;
ep:hasFile ;
eprel:hasVersion ;
eprel:hasVolatileVersion ;
eprel:haspreviewThumbnailVersion ;
rdf:type bibo:Document,
ep:Document;
rdfs:label "The Algebraic Structure of Sets of Regions (Postscript)"^^xsd:string .
rdf:_1 ;
rdf:_2 .
rdf:_1 ;
rdf:_2 .
,
;
bibo:abstract "The provision of ontologies for spatial entities is an important topic in spatial information theory. Heyting algebras, co-Heyting algebras, and bi-Heyting algebras are structures having considerable potential for the theoretical basis of these ontologies. This paper gives an introduction to these Heyting structures, and provides evidence of their importance as algebraic theories of sets of regions. The main evidence is a proof that elements of certain Heyting algebras provide models of the Region-Connection Calculus developed by Cohn et al. By using the mathematically well known techniques of ``pointless topology'', it is straightforward to conduct this proof without any need to assume that regions consist of sets of points. Further evidence is provided by a new qualitative theory of regions with indeterminate boundaries. This theory uses modal operators which are related to the algebraic operations present in a bi-Heyting algebra."^^xsd:string;
bibo:authorList ;
bibo:editorList ;
bibo:status ,
;
dct:creator ,
;
dct:date "1997";
dct:isPartOf ;
dct:publisher ;
dct:subject ;
dct:title "The Algebraic Structure of Sets of Regions"^^xsd:string;
ep:hasDocument ;
rdf:type bibo:Article,
ep:ConfpaperEPrint,
ep:EPrint;
rdfs:seeAlso .
rdf:type skos:Concept;
skos:prefLabel "Artificial Intelligence" .
foaf:name "Lecture Notes in Computer Science, volume 1329, Springer Verlag, Berlin"^^xsd:string;
rdf:type foaf:Organization .
foaf:familyName "Worboys"^^xsd:string;
foaf:givenName "M. F."^^xsd:string;
foaf:name "M. F. Worboys"^^xsd:string;
rdf:type foaf:Person .
foaf:familyName "Hirtle"^^xsd:string;
foaf:givenName "S. C."^^xsd:string;
foaf:name "S. C. Hirtle"^^xsd:string;
rdf:type foaf:Person .
foaf:familyName "Frank"^^xsd:string;
foaf:givenName "A. U."^^xsd:string;
foaf:name "A. U. Frank"^^xsd:string;
rdf:type foaf:Person .
foaf:familyName "Stell"^^xsd:string;
foaf:givenName "J. G."^^xsd:string;
foaf:name "J. G. Stell"^^xsd:string;
rdf:type foaf:Person .