Namespace(rdf = http://www.w3.org/1999/02/22-rdf-syntax-ns#) Namespace(xsd = http://www.w3.org/2001/XMLSchema#) Namespace(rdfs = http://www.w3.org/2000/01/rdf-schema#) Namespace(owl = http://www.w3.org/2002/07/owl#) Namespace(temp = http://protege.stanford.edu/temperature#) Ontology( Class(temp:Person partial restriction(temp:has_temperature allValuesFrom (temp:Temperature_Relation))) Class(temp:Temperature_Relation partial restriction(temp:temperature_trend allValuesFrom (temp:Temperature_trend)) restriction(temp:temperature_value allValuesFrom (temp:Temperature_value))) Class(temp:Temperature_trend complete oneOf(temp:RISING temp:STABLE temp:FALLING)) Class(temp:Temperature_value complete oneOf(temp:ELEVATED temp:NORMAL temp:BELOW_NORMAL)) ObjectProperty(temp:has_temperature Functional range(temp:Temperature_Relation)) ObjectProperty(temp:temperature_trend Functional) ObjectProperty(temp:temperature_value Functional) Individual(temp:BELOW_NORMAL type(temp:Temperature_value)) Individual(temp:ELEVATED type(temp:Temperature_value)) Individual(temp:FALLING type(temp:Temperature_trend)) Individual(temp:NORMAL type(temp:Temperature_value)) Individual(temp:RISING type(temp:Temperature_trend)) Individual(temp:STABLE type(temp:Temperature_trend)) Individual(temp:Steve type(temp:Person)) Individual(temp:Temperature_Relation_1 type(temp:Temperature_Relation) value(temp:temperature_value temp:ELEVATED) value(temp:temperature_trend temp:FALLING)) DifferentIndividuals(temp:RISING temp:STABLE temp:FALLING) DifferentIndividuals(temp:ELEVATED temp:NORMAL temp:BELOW_NORMAL) )