Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
Nowa wersja
Both sides next revision
|
pl:miw:miw08_ard_xml [2008/03/18 04:35] miw onto |
pl:miw:miw08_ard_xml [2008/05/26 00:19] miw |
Translacja ARDML do innych formatów z użyciem XSLT. Ontologie, graphviz. | Translacja ARDML do innych formatów z użyciem XSLT. Ontologie, graphviz. |
| |
====== Spotkania ====== | Historia [[pl:miw:miw08_ard_xml:spotkania|spotkań]]. |
| |
===== 080304 ===== | |
* koncepcja przejścia ARD->[[http://www.w3.org/2004/OWL/|OWL]] (modelowanie słownika, vocabulary) | |
| |
| |
===== 080311 ===== | |
* j.w. + [[hekate:varda]] i [[hekate:hekate_case_thermostat]] | |
| |
===== 080318 ===== | |
* próba preprezentacji w OWL pełnego modelu (VARDA/tic), [[hekate:hekate_markup_language|HML]] | |
| |
| |
====== Projekt ====== | ====== Projekt ====== |
| * ARDML: [[pl:miw:miw08_ard_xml:thermostat_ardml|Thermostat]] (download: {{:pl:miw:miw08_ard_xml:thermostat_ardml.xml|thermostat_ardml.xml}}) |
| * OWL dla ARD: [[pl:miw:miw08_ard_xml:owl_abstract_syntax|abstract syntax]] |
| * Przykład ontologii dla [[pl:miw:miw08_ard_xml:owl_thermostat|termostatu]] |
| |
ARD Ontology. Abstract Syntax: | * XSLT for OWL: [[pl:miw:miw08_ard_xml:ard_owl_xsl|ARDML->OWL]] (download: {{:pl:miw:miw08_ard_xml:ardml_owl.xml|ardml_owl.xsl}}) |
<code> | * XSLT for ARD graph: [[pl:miw:miw08_ard_xml:ardml_ard_dot_xsl|ARDML->(ARD)->DOT]] (download: {{:pl:miw:miw08_ard_xml:ardml_ard_dot.xml|ardml_ard_dot.xsl}}) |
[Namespaces: | * XSLT for TPH graph: [[pl:miw:miw08_ard_xml:ardml_tph_dot_xsl|ARDML->(TPH)->DOT]] (download: {{:pl:miw:miw08_ard_xml:ardml_tph_dot.xml|ardml_tph_dot.xsl}}) |
owl = http://www.w3.org/2002/07/owl# | |
ard = https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_ard_xml# | |
] | |
| |
Ontology( | |
Class(ard:attribute) | |
Class(ard:property) | |
| |
ObjectProperty(ard:is_property_of domain(ard:attribute) range(ard:property)) | |
| |
ObjectProperty(ard:depends_on domain(ard:attribute) range(ard:attribute)) | |
ObjectProperty(ard:is_prerequisite_for domain(ard:attribute) range(ard:attribute)) | |
| |
ObjectProperty(ard:transformed_into domain(ard:attribute) range(attribute)) | |
ObjectProperty(ard:transformed_from inverseOf(ard:transformed_into)) | |
) | |
</code> | |
Thermostat example: | |
<code> | |
[Namespaces: | |
owl = http://www.w3.org/2002/07/owl# | |
ard = https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_ard_xml# | |
] | |
| |
Ontology( | |
Individual(ard:attThermostat type(ard:attribute)) | |
Individual(ard:Thermostat type(ard:property) value(ard:is_property_of ard:attThermostat)) | |
| |
Individual(ard:attTimeTemp type(ard:attribute) value(ard:transformed_from ard:attThermostat)) | |
Individual(ard:Time type(ard:property) value(ard:is_property_of ard:attTimeTemp)) | |
Individual(ard:Temp type(ard:property) value(ard:is_property_of ard:attTimeTemp)) | |
| |
... | * Graph examples (using [[pl:miw:miw08_dokuviz|DokuViz plugin]]): [[pl:miw:miw08_ard_xml:notatki|notatki]] |
| |
Individual(ard:att_hour type(ard:attribute) | |
value(ard:transformed_from ard:attHour) | |
value(ard:is_prerequisite_for ard:att_operation)) | |
| |
Individual(ard:att_thermostat_settings type(ard:attribute) | |
value(ard:transformed_from ard:attTemperature) | |
value(ard:depends_on ard:att_season) | |
value(ard:depends_on ard:att_operation)) | |
) | |
</code> | |
| |
====== Sprawozdanie ====== | ====== Sprawozdanie ====== |
| |
| lll |
| |
====== Materiały ====== | ====== Materiały ====== |