Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:miw08_ard_xml [2008/03/18 10:47] miw |
pl:miw:miw08_ard_xml [2008/06/14 09:41] gjn |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| - | ====== 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 | ||
| - | |||
| - | |||
| - | |||
| - | ====== 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_property_of domain(ard:attribute) range(ard:property)) | ||
| - | ObjectProperty(ard:has_property inverseOf(ard:is_property_of)) | ||
| - | | ||
| - | 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)) | ||
| - | |||
| - | | ||
| - | 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]]. | ||
| - | |||
| - | |||
