Zachowanie podczas oceny EntityValue

Question

EntityValueZaintrygowało mnie zachowanie , w którym uważam, że jest ono nieocenione. Oto minimalny przykład. Weź pod uwagę następujący zwyczaj 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|>
       |>
     |>
   }
  ]

Zarejestrujmy to:

EntityRegister[store]

a następnie zapytaj:

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

co daje zgodnie z oczekiwaniami:

{<|
  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
|>}

Załóżmy teraz, że chcielibyśmy uczynić to powiązanie hierarchicznym, zastępując właściwości Indywidualne ich własnymi skojarzeniami właściwości:

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

To - dla mnie nieoczekiwanie - pozostawia wewnętrzne wyrażenia EntityValue bez oceny:

{<|
  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
|>
}

Co się dzieje? O dziwo, wewnętrzne EntityValuewyrażenia obliczają się, gdy w jakiś sposób sprawdzamy je bezpośrednio:

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

prawidłowo plonuje

{{<|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"
|>}}

Dlaczego to mnie wkurza? Chciałbym użyć tego rodzaju mechanizmu zastępowania, aby zbudować hierarchiczne wyrażenie skojarzenia z hierarchicznego magazynu encji. Wyobraź sobie kaskadę relacji jeden do wielu, na przykład Kontynent -> Kraj -> Region -> Miasto -> Sąsiedztwo ”lub coś podobnego. Chciałbym stworzyć hierarchię skojarzeń poprzez iteracyjne zastępowanie listy podmiotów podrzędnych przez ich związki majątkowe.

Jak więc mogę kontrolować ocenę EntityValue?

Dzięki.

Answer 1

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

lub utwórz listę reguł (używając Normal) ze Stowarzyszenia do użycia ReplaceAll.

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