@prefix dbpprop:	<http://dbpedia.org/property/> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
dbpedia:S4_algebra	dbpprop:redirect	dbpedia:Interior_algebra .
@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix ns3:	<http://dbpedia.org/class/yago/> .
dbpedia:Interior_algebra	rdf:type	ns3:ClosureOperators .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbpedia:Interior_algebra	owl:sameAs	<http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000003e1890> .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix ns6:	<http://en.wikipedia.org/wiki/> .
dbpedia:Interior_algebra	foaf:page	ns6:Interior_algebra .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia:Interior_algebra	rdfs:label	"\u5185\u90E8\u4EE3\u6570"@zh ,
		"Interior algebra"@en ;
	dbpprop:abstract	"\u5728\u62BD\u8C61\u4EE3\u6570\u4E2D\uFF0C\u5185\u90E8\u4EE3\u6570\u662F\u91C7\u7528\u4E86\u96C6\u5408\u7684\u62D3\u6251\u5185\u90E8\u6982\u5FF5\u7684\u7279\u5B9A\u7C7B\u578B\u7684\u4EE3\u6570\u7ED3\u6784\u3002\u5185\u90E8\u4EE3\u6570\u4E4B\u5BF9\u4E8E\u62D3\u6251\u548C\u6A21\u6001\u903B\u8F91 S4 \u5982\u540C\u5E03\u5C14\u4EE3\u6570\u4E4B\u5BF9\u4E8E\u96C6\u5408\u8BBA\u548C\u666E\u901A\u547D\u9898\u903B\u8F91\u3002\u5185\u90E8\u4EE3\u6570\u5F62\u6210\u4E86\u6A21\u614B\u4EE3\u6578\u7684\u4E00\u4E2A\u7C07\u3002"@zh ,
		"In abstract algebra, an interior algebra is a certain type of algebraic structure that encodes the idea of the topological interior of a set. Interior algebras are to topology and the modal logic S4 what Boolean algebras are to set theory and ordinary propositional logic. Interior algebras form a variety of modal algebras."@en ;
	rdfs:comment	"\u5728\u62BD\u8C61\u4EE3\u6570\u4E2D\uFF0C\u5185\u90E8\u4EE3\u6570\u662F\u91C7\u7528\u4E86\u96C6\u5408\u7684\u62D3\u6251\u5185\u90E8\u6982\u5FF5\u7684\u7279\u5B9A\u7C7B\u578B\u7684\u4EE3\u6570\u7ED3\u6784\u3002\u5185\u90E8\u4EE3\u6570\u4E4B\u5BF9\u4E8E\u62D3\u6251\u548C\u6A21\u6001\u903B\u8F91 S4 \u5982\u540C\u5E03\u5C14\u4EE3\u6570\u4E4B\u5BF9\u4E8E\u96C6\u5408\u8BBA\u548C\u666E\u901A\u547D\u9898\u903B\u8F91\u3002\u5185\u90E8\u4EE3\u6570\u5F62\u6210\u4E86\u6A21\u614B\u4EE3\u6578\u7684\u4E00\u4E2A\u7C07\u3002"@zh ,
		"In abstract algebra, an interior algebra is a certain type of algebraic structure that encodes the idea of the topological interior of a set. Interior algebras are to topology and the modal logic S4 what Boolean algebras are to set theory and ordinary propositional logic. Interior algebras form a variety of modal algebras."@en .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix ns9:	<http://dbpedia.org/resource/Category:> .
dbpedia:Interior_algebra	skos:subject	ns9:Mathematical_logic ,
		ns9:Boolean_algebra ,
		ns9:Abstract_algebra ,
		ns9:Closure_operators ,
		ns9:Modal_logic .
@prefix ns10:	<http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/> .
dbpedia:Interior_algebra	dbpprop:hasPhotoCollection	ns10:Interior_algebra .
dbpedia:Generalized_topological_space	dbpprop:redirect	dbpedia:Interior_algebra .
dbpedia:Generalized_topology	dbpprop:redirect	dbpedia:Interior_algebra .
dbpedia:Topomorphism	dbpprop:redirect	dbpedia:Interior_algebra .
dbpedia:Closure_algebra	dbpprop:redirect	dbpedia:Interior_algebra .
dbpedia:Lewis_algebra	dbpprop:redirect	dbpedia:Interior_algebra .
@prefix yago:	<http://mpii.de/yago/resource/> .
yago:Interior_algebra	owl:sameAs	dbpedia:Interior_algebra .
dbpedia:Topo-boolean_algebra	dbpprop:redirect	dbpedia:Interior_algebra .