λ³Έ μ°κ΅¬λ κΈ°μ‘΄ μ§μ κ·Έλν(KG)μ μΌμ€ν ννμ λμ΄, μ¬λ¬ νμ μ(qualifiers)λ₯Ό ν΅ν΄ νλΆν μλ―Έλ₯Ό λνλ μ΄κ΄κ³ μ§μ κ·Έλν(HKG)μμμ λ§ν¬ μμΈ‘ λ¬Έμ λ₯Ό λ€λ£Ήλλ€. κΈ°μ‘΄ λ°©λ²λ‘ λ€μ΄ νΉμ KGμλ§ κ΅νλλ κ·λ©μ (transductive) μ€μ μ μ£Όλ‘ μ¬μ©νλ νκ³λ₯Ό 극볡νκΈ° μν΄, THORλ κ΄κ³ λ° κ°μ²΄ κΈ°μ΄ κ·Έλνλ₯Ό νμ©νμ¬ κ΄κ³μ κ°μ²΄μ λ
립μ μΈ νμ΅μ μννλ©°, μ΄λ₯Ό ν΅ν΄ μλ‘μ΄ μ΄νμ λν μΆλ‘ λ₯λ ₯μ κ°μΆ κ·λ©μ (inductive) λ§ν¬ μμΈ‘ κΈ°λ²μ μ μν©λλ€. THORλ 12κ°μ λ°μ΄ν°μ
μμ κΈ°μ‘΄ λ°©λ²λ‘ λλΉ μλΉν μ±λ₯ ν₯μμ 보μ¬μ£Όλ©°, νΉν ꡬ쑰μ λΆλ³μ±μ ν¬μ°©νλ μ€κ³ μμμ μ€μμ±μ μ
μ¦νμ΅λλ€.