|
|
pl:miw:miw08_ard_xml [2008/04/08 00:53] miw |
pl:miw:miw08_ard_xml [2017/07/17 10:08] |
====== Opis ====== | |
[[mtomana@student.agh.edu.pl|Michał Tomana]] (4RI) | |
| |
Translacja ARDML do innych formatów z użyciem XSLT. Ontologie, graphviz. | |
| |
====== Spotkania ====== | |
| |
===== 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]] | |
Wątpliwości: | |
* co z powtarzającymi się nazwami? Time+Tepmeratore -> Time, Temperature (może to ta sama właściwość?) | |
* nomenklatura | |
| |
===== 080408 ===== | |
* właściwa repr w owl (att/prop) | |
* nie ma prefixow att/prop, uzywamy jakiegoś id | |
* prób zrobienia xslt hml(ardml) -> owl | |
| |
| |
| |
====== Projekt ====== | |
| |
===== ARD Ontology. Abstract Syntax: ===== | |
| |
<code> | |
[Namespaces: | |
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_attribute_of domain(ard:property) range(ard:attribute)) | |
ObjectProperty(ard:has_attribute inverseOf(ard:is_attribute_of)) | |
| |
ObjectProperty(ard:depends_on domain(ard:property) range(ard:property)) | |
ObjectProperty(ard:is_prerequisite_for inverseOf(ard:property)) | |
| |
ObjectProperty(ard:transformed_into domain(ard:property) range(property)) | |
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)) | |
| |
| |
Individual(ard:attTime type(ard:attribute) | |
value(ard:has_property ard:Time) | |
value(ard:transformed_from ard:attTimeTemp)) | |
Individual(ard:attTemperature type(ard:attribute) | |
value(ard:has_property ard:Temperature) | |
value(ard:transformed_from ard:attTimeTemp)) | |
| |
Individual(ard:attDateHour_season_operation type(ard:attribute) | |
value(ard:transformed_from ard:attTime)) | |
Individual(ard:Date type(ard:property) | |
value(ard:is_property_of ard:attDateHour_season_operation)) | |
Individual(ard:Hour type(ard:property) | |
value(ard:is_property_of ard:attDateHour_season_operation)) | |
Individual(ard:season type(ard:property) | |
value(ard:is_property_of ard:attDateHour_season_operation)) | |
Individual(ard:operation type(ard:property) | |
value(ard:is_property_of ard:attDateHour_season_operation)) | |
| |
Individual(ard:att_thermostat_settings type(ard:attribute) | |
value(ard:transformed_from ard:attTemperature)) | |
Individual(ard:thermostat_settings type(ard:property) | |
value(ard:is_property_of ard:att_thermostat_settings)) | |
| |
| |
Individual(ard:attDateHour type(ard:attribute) | |
value(ard:transformed_from ard:attDateHour_season_operation) | |
value(ard:has_property ard:Hour) | |
value(ard:has_property ard:Date)) | |
| |
Individual(ard:season type(ard:property)) | |
Individual(ard:operation type(ard:property)) | |
Individual(ard:att_season_operation type(ard:attribute) | |
value(ard:transformed_from ard:attDateHour_season_operation) | |
value(ard:has_property ard:season) | |
value(ard:has_property ard:operation)) | |
| |
| |
Individual(ard:attDate type(ard:attribute) | |
value(ard:transformed_from ard:attDateHour) | |
value(ard:has_property ard:Date)) | |
| |
Individual(ard:attHour type(ard:attribute) | |
value(ard:transformed_from ard:attDateHour) | |
value(ard:has_property ard:Hour)) | |
| |
Individual(ard:att_season type(ard:attribute) | |
value(ard:transformed_from ard:att_season_operation) | |
value(ard:has_property ard:season) | |
value(ard:is_prerequisite_for ard:att_thermostat_settings)) | |
| |
Individual(ard:att_operation type(ard:attribute) | |
value(ard:transformed_from ard:att_season_operation) | |
value(ard:has_property ard:operation) | |
value(ard:is_prerequisite_for ard:att_thermostat_settings)) | |
| |
| |
Individual(ard:day type(ard:property)) | |
Individual(ard:month type(ard:property)) | |
Individual(ard:today type(ard:property)) | |
Individual(ard:att_day_month_today type(ard:attribute) | |
value(ard:transformed_from ard:attDate) | |
value(ard:has_property ard:day) | |
value(ard:has_property ard:month) | |
value(ard:has_property ard:today)) | |
| |
Individual(ard:att_hour type(ard:attribute) | |
value(ard:transformed_from ard:attHour) | |
value(ard:is_prerequisite_for ard:att_operation)) | |
| |
| |
Individual(ard:att_month type(ard:attribute) | |
value(ard:has_property ard:month) | |
value(ard:transformed_from ard:att_day_month_today) | |
value(ard:is_prerequisite_for ard:att_season)) | |
| |
Individual(ard:att_day_today type(ard:attribute) | |
value(ard:has_property ard:day) | |
value(ard:has_property ard:today) | |
value(ard:transformed_from ard:att_day_month_today)) | |
| |
| |
Individual(ard:att_day type(ard:attribute) | |
value(ard:has_property ard:day) | |
value(ard:transformed_from ard:att_day_today) | |
value(ard:is_prerequisite_for ard:att_operation)) | |
| |
Individual(ard:att_today type(ard:attribute) | |
value(ard:has_property ard:today) | |
value(ard:transformed_from ard:att_day_today)) | |
value(ard:depends_on ard:att_day)) | |
| |
) | |
</code> | |
| |
====== Sprawozdanie ====== | |
| |
| |
====== Materiały ====== | |
[[http://www.w3.org/Style/XSL/|XSLT]] (tutoriale): | |
* [[http://zvon.org/xxl/XSLTutorial/Output/index.html|ZVON XSLT]] | |
* [[http://w3schools.com/xsl/default.asp|W3S XSLT]] | |
* [[wp>XSLT]], [[http://www.w3.org/TR/xslt20/|specyfikacja]]. | |
| |
narzędzia: | |
* http://protege.stanford.edu/ | |
| |
ARD: | |
* [[hekate:bib:hekate_bibliography#gjn2008flairs-ardformal-submitted|Towards Formalization of ARD+ Conceptual Design and Refinement Method]] | |
* [[hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog-submitted|An ARD+ Design and Visualization Toolchain Prototype in Prolog]] | |
* [[hekate:bib:hekate_bibliography#gjn2008flairs-userv-submitted|UServ Case Study, Conceptual Design with ARD+ Method]]. | |
| |
| |
| |