amalgame/commit
strategy_process_entity/3 should check if Strategy is of type AlignmentStrategy, if not it could also succeed for amalgame:wasGeneratedBy triple in the prov graphs, this should not happen
| author | Jacco van Ossenbruggen |
|---|---|
| Tue Sep 22 18:29:09 2015 +0200 | |
| committer | Jacco van Ossenbruggen |
| Tue Sep 22 18:29:09 2015 +0200 | |
| commit | 1ccb82d2f62669924272140bcefcbd0c9e63df1c |
| tree | 9024bcec1efa62c75a623d23e140c5b07edcbfa9 |
| parent | fe0426216a7281115eacfa6da18df77e7fdcba58 |
Diff style: patch stat
diff --git a/lib/amalgame/ag_strategy.pl b/lib/amalgame/ag_strategy.pl index 17d9c04..30c8b58 100644 --- a/lib/amalgame/ag_strategy.pl +++ b/lib/amalgame/ag_strategy.pl @@ -46,7 +46,8 @@ strategy_process_entity(Strategy, Process,Entity) :- rdf_has(Entity, amalgame:wasGeneratedBy, Process, RealProperty), - rdf(Entity, RealProperty, Process, Strategy). + rdf(Entity, RealProperty, Process, Strategy), + rdfs_individual_of(Strategy, amalgame:'AlignmentStrategy'). %% strategy_entity_status(?Strategy, ?Entity, ?Status) is nondet.