To jest stara wersja strony!


Opis

Michał Tomana (4RI)

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

Spotkania

080304

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

080311

080318

  • próba preprezentacji w OWL pełnego modelu (VARDA/tic), 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:

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

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

)

Sprawozdanie

Materiały

pl/miw/miw08_ard_xml.1207608783.txt.gz · ostatnio zmienione: 2017/07/16 23:25 (edycja zewnętrzna)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0