Perilaku evaluasi EntityValue

Question

Saya bingung dengan perilaku EntityValue, yang menurut saya tidak dievaluasi. Berikut adalah contoh minimal. Pertimbangkan kebiasaan berikut EntityStore:

store = EntityStore[{
   "Group" -> <|
     "Entities" -> <|
       "GroupA" -> <|
         "name" -> "Group A",
         "size" -> 2,
         "members" -> {
           Entity["Individual", "Claus"],
           Entity["Individual", "Andrea"]
           }
         |>,
       "GroupB" -> <|
         "name" -> "Group B",
         "size" -> 2,
         "members" -> {
           Entity["Individual", "John"],
           Entity["Individual", "Claudia"]
           }
         |>
       |>
     |>,
   "Individual" -> <|
     "Entities" -> <|
       "Claus" -> <|"name" -> "Claus Smith", "age" -> 25|>,
       "Andrea" -> <|"name" -> "Andrea Fisher", "age" -> 35|>,
       "John" -> <|"name" -> "John Allen", "age" -> 45|>,
       "Claudia" -> <|"name" -> "Claudia Wilson", "age" -> 60|>
       |>
     |>
   }
  ]

Mari kita daftarkan:

EntityRegister[store]

dan kemudian menanyakannya:

assoc = EntityValue["Group", "PropertyAssociation"]

yang memberikan seperti yang diharapkan:

{<|
  EntityProperty["Group", "members"] -> {Entity["Individual", "Claus"], Entity["Individual", "Andrea"]}, 
  EntityProperty["Group", "name"] -> "Group A", 
  EntityProperty["Group", "size"] -> 2
|>, 
<|
  EntityProperty["Group", "members"] -> {Entity["Individual", "John"], Entity["Individual", "Claudia"]}, 
  EntityProperty["Group", "name"] -> "Group B", 
  EntityProperty["Group", "size"] -> 2
|>}

Sekarang katakanlah kita ingin membuat asosiasi ini menjadi hierarki dengan mengganti properti Individual dengan asosiasi propertinya sendiri:

ds = assoc /. {Entity["Individual", n_] :> EntityValue[Entity["Individual", n], "PropertyAssociation"]}

Ini - secara tidak terduga bagi saya - membuat ekspresi EntityValue bagian dalam tidak dievaluasi:

{<|
  EntityProperty["Group", "members"] -> {EntityValue[Entity["Individual", "Claus"], "PropertyAssociation"], EntityValue[Entity["Individual", "Andrea"], "PropertyAssociation"]}, 
  EntityProperty["Group", "name"] -> "Group A", 
  EntityProperty["Group", "size"] -> 2|>,
 <|EntityProperty["Group", "members"] -> {EntityValue[Entity["Individual", "John"],  "PropertyAssociation"], EntityValue[Entity["Individual", "Claudia"], "PropertyAssociation"]}, 
  EntityProperty["Group", "name"] -> "Group B", 
  EntityProperty["Group", "size"] -> 2
|>
}

Apa yang sedang terjadi? Anehnya, EntityValueekspresi batin mengevaluasi ketika kita entah bagaimana menanyakannya secara langsung:

Lookup[ds, EntityProperty["Group", "members"]]

menghasilkan dengan benar

{{<|EntityProperty["Individual", "age"] -> 25, 
   EntityProperty["Individual", "name"] -> "Claus Smith"|>,
  <|EntityProperty["Individual", "age"] -> 35, 
   EntityProperty["Individual", "name"] -> "Andrea Fisher"|>},
 {<|EntityProperty["Individual", "age"] -> 45, 
   EntityProperty["Individual", "name"] -> "John Allen"|>,
  <|EntityProperty["Individual", "age"] -> 60, 
   EntityProperty["Individual", "name"] -> "Claudia Wilson"
|>}}

Mengapa ini mengganggu saya? Saya ingin menggunakan mekanisme penggantian semacam ini untuk membangun ekspresi asosiasi hierarkis dari Penyimpanan entitas hierarki. Bayangkan rangkaian hubungan satu-ke-banyak, seperti Benua -> Negara -> Kawasan -> Kota -> Lingkungan "atau yang serupa. Saya ingin membangun hierarki asosiasi dengan mengganti daftar entitas anak secara berulang oleh asosiasi properti mereka.

Jadi bagaimana cara mengontrol evaluasi EntityValue?

Terima kasih.

Answer 1

ds = Replace[
  assoc, {Entity["Individual", n_] :> 
    EntityValue[Entity["Individual", n], "PropertyAssociation"]}, 
  Infinity]

atau buat daftar aturan (menggunakan Normal) dari Asosiasi untuk digunakan ReplaceAll.

ds = Normal[assoc] /. 
 Entity["Individual", n_] :> 
  EntityValue[Entity["Individual", n], "PropertyAssociation"]