@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

<http://www.irandoc.acir/onto/irandoc/insp0003501>
  skos:prefLabel "Programming"@en, "برنامه‌نویسی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0007681> .

<http://www.irandoc.acir/onto/irandoc/insp0013130>
  skos:prefLabel "Controllability"@en, "واپایش‌پذیری"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0007681> .

<http://www.irandoc.acir/onto/irandoc/insp0011051>
  skos:prefLabel "Formal verification"@en, "تصدیق رسمی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0007681> .

<http://www.irandoc.acir/onto/irandoc/insp0007687>
  skos:prefLabel "Graph theory"@en, "نظریه گراف"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/insp0007681> .

<http://www.irandoc.acir/onto/irandoc/insp0013451>
  skos:prefLabel "Program diagnostics"@en, "امکانات خطا‌شناسی برنامه (رایانه‌ای)"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0007681> .

<http://www.irandoc.acir/onto/irandoc/insp0007681>
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0013130>, <http://www.irandoc.acir/onto/irandoc/insp0013451>, <http://www.irandoc.acir/onto/irandoc/insp0003501>, <http://www.irandoc.acir/onto/irandoc/insp0011051> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0007687> ;
  skos:prefLabel "Reachability analysis"@en, "تحلیل قابلیت دسترسی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept .