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:25] 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( | * Graph examples (using [[pl:miw:miw08_dokuviz|DokuViz plugin]]): [[pl:miw:miw08_ard_xml:notatki|notatki]] |
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( | ====== Sprawozdanie ====== |
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)) | |
| |
... | lll |
| |
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 ====== | |
| |
| |
* [[wp>XSLT]], [[http://www.w3.org/TR/xslt20/|specyfikacja]]. | * [[wp>XSLT]], [[http://www.w3.org/TR/xslt20/|specyfikacja]]. |
| |
narzędzia: | [[http://en.wikipedia.org/wiki/Web_Ontology_Language|OWL]]: |
| * http://www.cs.man.ac.uk/~horrocks/ISWC2003/Tutorial/ |
| * http://www.cs.man.ac.uk/~horrocks/ISWC2003/Tutorial/examples.pdf |
| * http://www.w3.org/TR/owl-semantics/ |
| * http://www.w3.org/TR/owl-guide/ |
| * http://protege.stanford.edu/publications/ontology_development/ontology101-noy-mcguinness.html |
| |
| Narzędzia: |
* http://protege.stanford.edu/ | * http://protege.stanford.edu/ |
| |