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

<http://www.irandoc.acir/onto/irandoc/insp0012912>
  skos:prefLabel "Case-based reasoning"@en, "استدلال بر پایه مورد"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0012920> .

<http://www.irandoc.acir/onto/irandoc/insp0012918>
  skos:prefLabel "Spatial reasoning"@en, "استدلال مکانی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0012920> .

<http://www.irandoc.acir/onto/irandoc/insp0004031>
  skos:prefLabel "Backward chaining"@en, "زنجیره‌ای به عقب"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0012920> .

<http://www.irandoc.acir/onto/irandoc/insp0011049>
  skos:prefLabel "Reasoning about program"@en, "استدلال در مورد برنامه"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0012920> .

<http://www.irandoc.acir/onto/irandoc/insp0012917>
  skos:prefLabel "Nonmonotonic reasoning"@en, "استدلال نایکنواخت"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0012920> .

<http://www.irandoc.acir/onto/irandoc/insp0012920>
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0004032>, <http://www.irandoc.acir/onto/irandoc/insp0012909>, <http://www.irandoc.acir/onto/irandoc/insp0004031>, <http://www.irandoc.acir/onto/irandoc/insp0004033>, <http://www.irandoc.acir/onto/irandoc/insp0012942>, <http://www.irandoc.acir/onto/irandoc/insp0011049>, <http://www.irandoc.acir/onto/irandoc/insp0012910>, <http://www.irandoc.acir/onto/irandoc/insp0012931> ;
  skos:prefLabel "Inference mechanism"@en, "سازوکار استنتاج"@fa ;
  a skos:Concept, <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept> ;
  skos:altLabel "", "استدلال"@fa ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/insp0012912>, <http://www.irandoc.acir/onto/irandoc/insp0012918>, <http://www.irandoc.acir/onto/irandoc/insp0012914>, <http://www.irandoc.acir/onto/irandoc/insp0012917>, <http://www.irandoc.acir/onto/irandoc/insp0012913>, <http://www.irandoc.acir/onto/irandoc/insp0012916>, <http://www.irandoc.acir/onto/irandoc/insp0012919>, <http://www.irandoc.acir/onto/irandoc/insp0012915> ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0012932> .

<http://www.irandoc.acir/onto/irandoc/insp0012910>
  skos:prefLabel "Belief maintenance"@en, "ماندگاری باور"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0012920> .

<http://www.irandoc.acir/onto/irandoc/insp0012916>
  skos:prefLabel "Model-based reasoning"@en, "استدلال بر پایه مدل"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0012920> .

<http://www.irandoc.acir/onto/irandoc/insp0012915>
  skos:prefLabel "Fuzzy reasoning"@en, "استدلال فازی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0012920> .

<http://www.irandoc.acir/onto/irandoc/insp0012914>
  skos:prefLabel "Diagnostic reasoning"@en, "استدلال تشخیصی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0012920> .

<http://www.irandoc.acir/onto/irandoc/insp0004033>
  skos:prefLabel "Forward chaining"@en, "زنجیری شدن رو به جلو"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0012920> .

<http://www.irandoc.acir/onto/irandoc/insp0012942>
  skos:prefLabel "Uncertainty handling"@en, "بررسی عدم‌قطعیت"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0012920> .

<http://www.irandoc.acir/onto/irandoc/insp0012932>
  skos:prefLabel "Knowledge engineering"@en, "مهندسی دانش"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:narrower <http://www.irandoc.acir/onto/irandoc/insp0012920> .

<http://www.irandoc.acir/onto/irandoc/insp0012913>
  skos:prefLabel "Common-sense reasoning"@en, "استدلال عقل سلیم"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0012920> .

<http://www.irandoc.acir/onto/irandoc/insp0012919>
  skos:prefLabel "Temporal reasoning"@en, "استدلال زمانی"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:broader <http://www.irandoc.acir/onto/irandoc/insp0012920> .

<http://www.irandoc.acir/onto/irandoc/insp0004032>
  skos:prefLabel "Divide and conquer method"@en, "روش تقسیم و تسخیر"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0012920> .

<http://www.irandoc.acir/onto/irandoc/insp0012909>
  skos:prefLabel "Generalization (artificial intelligence)"@en, "تعمیم (هوش مصنوعی)"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0012920> .

<http://www.irandoc.acir/onto/irandoc/insp0012931>
  skos:prefLabel "Truth maintenance"@en, "نگاهداشت حقیقت"@fa ;
  a <http://www.irandoc.ac.ir/onto/irandoc-meta/Concept>, skos:Concept ;
  skos:related <http://www.irandoc.acir/onto/irandoc/insp0012920> .