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 04:38] miw pytania |
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: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: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 ====== | ||
| - | |||
| - | |||
| - | ====== 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]]. | ||
| - | |||
| - | |||
