|
|
pl:miw:miw08_ard_xml:owl_thermostat [2008/05/26 00:15] miw utworzono |
pl:miw:miw08_ard_xml:owl_thermostat [2019/06/27 15:50] |
====== Opis termostatu w OWL ====== | |
| |
[Namespaces: | |
owl = http://www.w3.org/2002/07/owl# | |
rdfs = http://www.w3.org/2000/01/rdf-schema# | |
rdf = http://www.w3.org/1999/02/22-rdf-syntax-ns# | |
] | |
| |
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)) | |
| |
| |
Individual(ard:att_0 type(ard:Attribute) Label("Thermostat")) | |
Individual(ard:att_1 type(ard:Attribute) Label("Time")) | |
Individual(ard:att_2 type(ard:Attribute) Label("Temperature") Comment("input temperature from sensor number 1")) | |
Individual(ard:att_3 type(ard:Attribute) Label("Date")) | |
Individual(ard:att_4 type(ard:Attribute) Label("Hour")) | |
Individual(ard:att_5 type(ard:Attribute) Label("season")) | |
Individual(ard:att_6 type(ard:Attribute) Label("operation")) | |
Individual(ard:att_7 type(ard:Attribute) Label("thermostat_settings")) | |
Individual(ard:att_8 type(ard:Attribute) Label("day")) | |
Individual(ard:att_9 type(ard:Attribute) Label("month")) | |
Individual(ard:att_10 type(ard:Attribute) Label("today")) | |
Individual(ard:att_11 type(ard:Attribute) Label("hour")) | |
| |
Individual(ard:prp_0 type(ard:Property) | |
value(ard:has_attribute ard:att_0)) | |
| |
Individual(ard:prp_1 type(ard:Property) | |
value(ard:has_attribute ard:att_1) | |
value(ard:has_attribute ard:att_2) | |
value(ard:transformed_from ard:prp_0)) | |
| |
Individual(ard:prp_2 type(ard:Property) | |
value(ard:has_attribute ard:att_1) | |
value(ard:transformed_from ard:prp_1)) | |
| |
Individual(ard:prp_3 type(ard:Property) | |
value(ard:has_attribute ard:att_2) | |
value(ard:transformed_from ard:prp_1)) | |
| |
Individual(ard:prp_4 type(ard:Property) | |
value(ard:has_attribute ard:att_3) | |
value(ard:has_attribute ard:att_4) | |
value(ard:has_attribute ard:att_5) | |
value(ard:has_attribute ard:att_6) | |
value(ard:transformed_from ard:prp_2)) | |
| |
Individual(ard:prp_5 type(ard:Property) | |
value(ard:has_attribute ard:att_7) | |
value(ard:depends_on ard:prp_10) | |
value(ard:depends_on ard:prp_11) | |
value(ard:transformed_from ard:prp_3)) | |
| |
Individual(ard:prp_6 type(ard:Property) | |
value(ard:has_attribute ard:att_3) | |
value(ard:has_attribute ard:att_4) | |
value(ard:transformed_from ard:prp_4)) | |
| |
Individual(ard:prp_7 type(ard:Property) | |
value(ard:has_attribute ard:att_5) | |
value(ard:has_attribute ard:att_6) | |
value(ard:transformed_from ard:prp_4)) | |
| |
Individual(ard:prp_8 type(ard:Property) | |
value(ard:has_attribute ard:att_3) | |
value(ard:transformed_from ard:prp_6)) | |
| |
Individual(ard:prp_9 type(ard:Property) | |
value(ard:has_attribute ard:att_4) | |
value(ard:transformed_from ard:prp_6)) | |
| |
Individual(ard:prp_10 type(ard:Property) | |
value(ard:has_attribute ard:att_5) | |
value(ard:depends_on ard:prp_14) | |
value(ard:transformed_from ard:prp_7)) | |
| |
Individual(ard:prp_11 type(ard:Property) | |
value(ard:has_attribute ard:att_6) | |
value(ard:depends_on ard:prp_17) | |
value(ard:depends_on ard:prp_13) | |
value(ard:transformed_from ard:prp_7)) | |
| |
Individual(ard:prp_12 type(ard:Property) | |
value(ard:has_attribute ard:att_8) | |
value(ard:has_attribute ard:att_9) | |
value(ard:has_attribute ard:att_10) | |
value(ard:transformed_from ard:prp_8)) | |
| |
Individual(ard:prp_13 type(ard:Property) | |
value(ard:has_attribute ard:att_11) | |
value(ard:transformed_from ard:prp_9)) | |
| |
Individual(ard:prp_14 type(ard:Property) | |
value(ard:has_attribute ard:att_9) | |
value(ard:transformed_from ard:prp_12)) | |
| |
Individual(ard:prp_15 type(ard:Property) | |
value(ard:has_attribute ard:att_8) | |
value(ard:has_attribute ard:att_10) | |
value(ard:transformed_from ard:prp_12)) | |
| |
Individual(ard:prp_16 type(ard:Property) | |
value(ard:has_attribute ard:att_8) | |
value(ard:transformed_from ard:prp_15)) | |
| |
Individual(ard:prp_17 type(ard:Property) | |
value(ard:has_attribute ard:att_10) | |
value(ard:depends_on ard:prp_16) | |
value(ard:transformed_from ard:prp_15)) | |
| |
| |
) | |
| |