Both sides previous revision
Previous revision
Next revision
|
Previous revision
|
hekate:hathor [2011/02/22 11:42] ikaf hathor2 |
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 ==== |
* **attml2owl1** [[http://home.agh.edu.pl/wtf/onto/hathor2/attml2owl1.xsl|attml2owl1.xsl]] | * **attml2owl1** [[http://home.agh.edu.pl/wta/onto/hathor2/attml2owl1.xsl|attml2owl1.xsl]] |
* based on hathor1 by JSJ | * based on hathor1 by JSJ |
* syntactic changes | * syntactic changes |
* range(att_value)={single,multiple} -> range(attHasClass)={simple,general} | * range(att_value)={single,multiple} -> range(attHasClass)={simple,general} |
* range(att_class)={ro,rw,wo,state} -> range(attHasComm)={in,io,out,state} | * range(att_class)={ro,rw,wo,state} -> range(attHasComm)={in,io,out,state} |
* **attml2owl2** [[http://home.agh.edu.pl/wtf/onto/hathor2/attml2owl2.xsl|attml2owl2.xsl]] | * **attml2owl2** [[http://home.agh.edu.pl/wta/onto/hathor2/attml2owl2.xsl|attml2owl2.xsl]] |
* hierarchy of types (SymbolicType, NumericType as subclasses of Type) | * hierarchy of types (SymbolicType, NumericType as subclasses of Type) |
* datatypes (XSD) and value ranges in domain declarations | * datatypes (XSD) and value ranges in domain declarations |
* **ardml2owl** [[http://home.agh.edu.pl/wtf/onto/hathor2/ardml2owl1.xsl|ardml2owl1.xsl]] | * **ardml2owl** [[http://home.agh.edu.pl/wta/onto/hathor2/ardml2owl1.xsl|ardml2owl1.xsl]] |
* **ardml2owl2** [[http://home.agh.edu.pl/wtf/onto/hathor2/ardml2owl2.xsl|ardml2owl2.xsl]] | * **ardml2owl2** [[http://home.agh.edu.pl/wta/onto/hathor2/ardml2owl2.xsl|ardml2owl2.xsl]] |
* based on hathor1 by JSJ | * based on hathor1 by JSJ |
* **xttml2rif** [[http://home.agh.edu.pl/wtf/onto/hathor2/xtt2rif-prd-simple.xsl|xtt2rif-prd-simple.xsl]], [[http://home.agh.edu.pl/wtf/onto/hathor2/xtt2rif-core.xsl|xtt2rif-core.xsl]] | * **xttml2rif** [[http://home.agh.edu.pl/wta/onto/hathor2/xtt2rif-prd-simple.xsl|xtt2rif-prd-simple.xsl]], [[http://home.agh.edu.pl/wta/onto/hathor2/xtt2rif-core.xsl|xtt2rif-core.xsl]] |
* based on miw_08_rif (but it's for RIF-BLD) | * based on miw_08_rif (but it's for RIF-BLD) |
* nested groups as in jsj-msc | * nested groups as in jsj-msc |
* variables removed | * variables removed |
* **xttml2swrl** [[http://home.agh.edu.pl/wtf/onto/hathor2/xttml2swrl.xsl|xttml2swrl.xsl]] | * **xttml2swrl** [[http://home.agh.edu.pl/wta/onto/hathor2/xttml2swrl.xsl|xttml2swrl.xsl]] |
* production rules can be encoded but will not work, as in [[https://ai.ia.agh.edu.pl/wiki/hekate:cases:hekate_case_upsell:start|Upsell case study]] | * production rules can be encoded but will not work, as in [[https://ai.ia.agh.edu.pl/wiki/hekate:cases:hekate_case_upsell:start|Upsell case study]] |
* no support for conditions like: attr > Tuesday (swrlb:greaterThan, SWRLJessTab) | * no support for conditions like: attr > Tuesday (swrlb:greaterThan, SWRLJessTab) |
* **state2owl** [[http://home.agh.edu.pl/wtf/onto/hathor2/state2owl1.xsl|state2owl1.xsl]] | * **state2owl** [[http://home.agh.edu.pl/wta/onto/hathor2/state2owl1.xsl|state2owl1.xsl]] |
* **state2owl2** [[http://home.agh.edu.pl/wtf/onto/hathor2/state2owl2.xsl|state2owl2.xsl]] | * **state2owl2** [[http://home.agh.edu.pl/wta/onto/hathor2/state2owl2.xsl|state2owl2.xsl]] |
* ''attTakesValue(att,value)'' | * ''attTakesValue(att,value)'' |
* **hml2owl2** [[http://home.agh.edu.pl/wtf/onto/hathor2/hml2owl2.xsl|hml2owl2.xsl]] | * **hml2owl2** [[http://home.agh.edu.pl/wta/onto/hathor2/hml2owl2.xsl|hml2owl2.xsl]] |
* attml2owl2+ardml2owl2+state2owl2 (**NO RULES**) | * attml2owl2+ardml2owl2+state2owl2 (**NO RULES**) |
* **hml2swrl** [[http://home.agh.edu.pl/wtf/onto/hathor2/hml2swrl.xsl|hml2swrl.xsl]] | * **hml2swrl** [[http://home.agh.edu.pl/wta/onto/hathor2/hml2swrl.xsl|hml2swrl.xsl]] |
* attml2owl1+ardml2owl+xttml2swrl+state2owl1 | * attml2owl1+ardml2owl+xttml2swrl+state2owl1 |
| |
* 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}} | |
| |
| |
| |