Differences
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) |
==== 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 ==== |
* 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}} | |
| |
| |
| |