This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
hekate:hathor [2011/02/22 13:02] ikaf wtf->wta |
hekate:hathor [2019/06/27 15:49] (current) |
||
|---|---|---|---|
| Line 70: | Line 70: | ||
| ==== HaThoR online ==== | ==== HaThoR online ==== | ||
| [[http://home.agh.edu.pl/~wta/onto/hathor2/www/|HaThoR online]] | [[http://home.agh.edu.pl/~wta/onto/hathor2/www/|HaThoR online]] | ||
| + | |||
| + | ==== Cases ==== | ||
| + | HeKatE cases: | ||
| + | * cardio | ||
| + | * cashpoint | ||
| + | * health | ||
| + | * hello | ||
| + | * thermostat | ||
| + | * upsell | ||
| + | |||
| + | Download: {{:hekatedev:hathor2-hekate-cases.tar.gz|hekate cases translated with hathor2}} | ||
| + | |||
| + | |||
| ==== Translators - shortly ==== | ==== Translators - shortly ==== | ||
| Line 158: | Line 171: | ||
| * A state of a system is modelled with the following properties (role assertions): ''attTakesValue(a,d)'' for simple attributes and ''attTakesValue(a,v1),attTakesValue(a,v2)...attTakesValue(a,vn)'' for generalized ones. | * A state of a system is modelled with the following properties (role assertions): ''attTakesValue(a,d)'' for simple attributes and ''attTakesValue(a,v1),attTakesValue(a,v2)...attTakesValue(a,vn)'' for generalized ones. | ||
| * each state in an instance of a class State,with a set of datatype property assertions: ''stDescibeAttribute(state,att)'' | * each state in an instance of a class State,with a set of datatype property assertions: ''stDescibeAttribute(state,att)'' | ||
| - | |||
| - | ==== Cases ==== | ||
| - | HeKatE cases: | ||
| - | * cardio | ||
| - | * cashpoint | ||
| - | * health | ||
| - | * hello | ||
| - | * thermostat | ||
| - | * upsell | ||
| - | |||
| - | Download: {{:hekatedev:hathor2-hekate-cases.tar.gz|hekate cases translated with hathor2}} | ||
| - | |||
