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 11:42] ikaf hathor2 |
hekate:hathor [2011/02/22 13:02] ikaf cases moved |
||
|---|---|---|---|
| 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 ==== | ||
| - | * **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 | ||
| Line 80: | Line 93: | ||
| * 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 | ||
| 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}} | ||
| - | |||
