@prefix bjw: <http://data.loterre.fr/ark:/67375/BJW> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix inist: <http://www.inist.fr/Ontology#> .
@prefix isothes: <http://purl.org/iso25964/skos-thes#> .

bjw: a skos:ConceptScheme .
bjw:-CH7J1HPG-0
  skos:hiddenLabel "Méthode formelle"@fr, "Formal method"@en, "Método formal"@es ;
  skos:exactMatch <https://www.wikidata.org/wiki/Q1049183> ;
  inist:semCategory "Modelización/Cálculo"@es, "Modeling / Calculus"@en, "Modélisation / Calcul"@fr ;
  skos:inScheme bjw: ;
  skos:prefLabel "método formal"@es, "formal method"@en, "méthode formelle"@fr ;
  a skos:Concept .

<http://data.loterre.fr/ark:/67375/BJW/MODL>
  skos:prefLabel "Modelización / Cálculo"@es, "Modélisation / Calcul"@fr, "Modeling / Calculus"@en ;
  a isothes:ConceptGroup ;
  skos:member bjw:-CH7J1HPG-0 .