@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:ForTIA	rdf:type	ns2:Computer-relatedOrganizations ,
		ns2:InternationalNongovernmentalOrganizations ,
		ns2:FormalMethods .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbpedia:ForTIA	owl:sameAs	<http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000007acbf5> .
@prefix ns4:	<http://umbel.org/umbel/ne/wikipedia/> .
dbpedia:ForTIA	owl:sameAs	ns4:ForTIA .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix ns6:	<http://en.wikipedia.org/wiki/> .
dbpedia:ForTIA	foaf:page	ns6:ForTIA .
@prefix dbpprop:	<http://dbpedia.org/property/> .
dbpedia:ForTIA	dbpprop:reference	<http://www.fortia.org/> .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia:ForTIA	rdfs:label	"ForTIA"@en ;
	dbpprop:abstract	"The Formal Techniques Industry Association (ForTIA) aims to support the industrial use of formal methods under the umbrella organization of Formal Methods Europe. It was founded in 2003 through the initial efforts of Dines Bj\u00F8rner and is currently chaired by Volkmar Lotz. Its scope is international and membership is by company. It organizes meetings, especially in conjunction with conferences, for instance, industry days at the FM conferences organized by FME."@en ;
	rdfs:comment	"The Formal Techniques Industry Association (ForTIA) aims to support the industrial use of formal methods under the umbrella organization of Formal Methods Europe. It was founded in 2003 through the initial efforts of Dines Bj\u00F8rner and is currently chaired by Volkmar Lotz. Its scope is international and membership is by company. It organizes meetings, especially in conjunction with conferences, for instance, industry days at the FM conferences organized by FME."@en .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix ns10:	<http://dbpedia.org/resource/Category:> .
dbpedia:ForTIA	skos:subject	ns10:Formal_methods ,
		ns10:Organizations_established_in_2003 ,
		ns10:Computer-related_organizations ,
		ns10:International_nongovernmental_organizations .
@prefix ns11:	<http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/> .
dbpedia:ForTIA	dbpprop:hasPhotoCollection	ns11:ForTIA .
dbpedia:Formal_Techniques_Industry_Association	dbpprop:redirect	dbpedia:ForTIA .
@prefix yago:	<http://mpii.de/yago/resource/> .
yago:ForTIA	owl:sameAs	dbpedia:ForTIA .