Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
ForTIA
An Entity of Type:
organisation
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
International organization
Property
Value
dbo:
description
Organisation internationale
(fr)
منظمة
(ar)
organisaatio
(fi)
organizatë
(sq)
international organization
(en)
Organización internacional
(es)
Organizzazione internazionale
(it)
Organização internacional
(pt)
Internationale organisation
(de)
dbo:
wikiPageExternalLink
http://www.fmeurope.org/
https://web.archive.org/web/20090628014554/http:/www.fortia.org/
http://www.linkedin.com/groups%3Fgid=3202098
dbo:
wikiPageWikiLink
dbr
:J._Anthony_Hall
dbr
:Europe
dbr
:Netherlands
dbr
:Computer_hardware
dbr
:LinkedIn
dbr
:Software
dbr
:John_Fitzgerald_(computer_scientist)
dbr
:Dines_Bjørner
dbr
:Formal_methods
dbr
:BCS-FACS
dbr
:ForTIA
dbc
:International_organizations_based_in_Sweden
dbc
:Formal_methods_organizations
dbc
:Organizations_with_year_of_establishment_missing
dbc
:Information_technology_organizations_based_in_Europe
dbr
:Academia
dbr
:Private_industry
dbr
:UK
dbr
:University_of_Newcastle_upon_Tyne
dbr
:Formal_Techniques_Industry_Association
dbp:
wikiPageUsesTemplate
dbt
:Authority_control
dbt
:R_from_merge
dbt
:R_to_section
dbt
:Reflist
dbt
:Formalmethods-stub
dct:
subject
dbc
:Organizations_established_in_2003
dbc
:International_organizations_based_in_Sweden
dbc
:Formal_methods_organizations
dbc
:Organizations_disestablished_in_2009
dbc
:Organizations_with_year_of_establishment_missing
dbc
:Information_technology_organizations_based_in_Europe
gold:
hypernym
dbr
:Organization
schema:
sameAs
http://viaf.org/viaf/167674029
rdf:
type
owl
:Thing
owl
:Thing
dbo
:Agent
dbo
:Organisation
rdfs:
label
ForTIA
(en)
Formal Methods Europe
(en)
owl:
sameAs
yago-res
:ForTIA
freebase
:ForTIA
http://viaf.org/viaf/167674029
wikidata
:ForTIA
http://d-nb.info/gnd/5108412-0
dbpedia-global
:ForTIA
prov:
wasDerivedFrom
wikipedia-en
:ForTIA?oldid=829256639&ns=0
wikipedia-en
:Formal_Methods_Europe?oldid=1278602153&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:ForTIA
wikipedia-en
:Formal_Methods_Europe
is
dbo:
affiliation
of
dbr
:Z_User_Group
dbr
:BCS-FACS
is
dbo:
award
of
dbr
:Dines_Bjørner
is
dbo:
wikiPageDisambiguates
of
dbr
:FME
is
dbo:
wikiPageRedirects
of
dbr
:ForTIA
dbr
:ForTIA
dbr
:Formal_Techniques_Industry_Association
dbr
:VDM_Europe
is
dbo:
wikiPageWikiLink
of
dbr
:List_of_University_of_Manchester_people
dbr
:Peter_Lucas_(computer_scientist)
dbr
:FME
dbr
:John_Fitzgerald_(computer_scientist)
dbr
:Dines_Bjørner
dbr
:Formal_methods
dbr
:Z_User_Group
dbr
:List_of_acronyms:_F
dbr
:BCS-FACS
dbr
:ForTIA
dbr
:Meta-IV_(specification_language)
dbr
:Jose_Meseguer
dbr
:Formal_Techniques_Industry_Association
dbr
:VDM_Europe
is
dbp:
affiliations
of
dbr
:Z_User_Group
dbr
:BCS-FACS
is
foaf:
primaryTopic
of
wikipedia-en
:ForTIA
wikipedia-en
:Formal_Methods_Europe
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International