@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
@prefix ns2:	<http://dbpedia.org/class/yago/> .
dbpedia:OBJ3	rdf:type	ns2:FunctionalLanguages ,
		ns2:FormalSpecificationLanguages .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
@prefix ns4:	<http://umbel.org/umbel/ne/wikipedia/> .
dbpedia:OBJ3	owl:sameAs	ns4:OBJ3 ,
		<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000000416688> .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix ns6:	<http://en.wikipedia.org/wiki/> .
dbpedia:OBJ3	foaf:page	ns6:OBJ3 .
@prefix dbpprop:	<http://dbpedia.org/property/> .
dbpedia:OBJ3	dbpprop:reference	<http://www-cse.ucsd.edu/users/goguen/pps/iobj.ps> .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia:OBJ3	rdfs:label	"OBJ3"@en ;
	dbpprop:abstract	"OBJ3 is a version of OBJ based on order-sorted rewriting. OBJ3 is agent-oriented and runs on AKCL. It is now of (important) historical interest since newer versions of the OBJ family are available."@en ;
	rdfs:comment	"OBJ3 is a version of OBJ based on order-sorted rewriting. OBJ3 is agent-oriented and runs on AKCL. It is now of (important) historical interest since newer versions of the OBJ family are available."@en .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix ns10:	<http://dbpedia.org/resource/Category:> .
dbpedia:OBJ3	skos:subject	ns10:Functional_languages ,
		ns10:Formal_specification_languages ,
		ns10:Theorem_proving_software_systems ,
		ns10:Common_Lisp_software .
@prefix ns11:	<http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/> .
dbpedia:OBJ3	dbpprop:hasPhotoCollection	ns11:OBJ3 .
@prefix yago:	<http://mpii.de/yago/resource/> .
yago:OBJ3	owl:sameAs	dbpedia:OBJ3 .