Michał Tomana (4RI)

Translacja ARDML do innych formatów z użyciem XSLT. Ontologie, graphviz.

• koncepcja przejścia ARD→OWL (modelowanie słownika, vocabulary)

• j.w. + varda i hekate_case_thermostat

• próba preprezentacji w OWL pełnego modelu (VARDA/tic), HML

ARD Ontology. Abstract Syntax:

[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))
)

Thermostat example:

[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))
)

XSLT (tutoriale):

• ZVON XSLT
• W3S XSLT
• XSLT, specyfikacja.

narzędzia:

• http://protege.stanford.edu/

ARD:

• Towards Formalization of ARD+ Conceptual Design and Refinement Method
• An ARD+ Design and Visualization Toolchain Prototype in Prolog
• UServ Case Study, Conceptual Design with ARD+ Method.