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(a = http://a.com/ontology#) Ontology( Class(a:Person partial restriction(http://a.com/ontology#has_temperature allValuesFrom (http://a.com/ontology#Temperature_Relation))) Class(http://a.com/ontology#Temperature_Relation partial restriction(http://a.com/ontology#temperature_value allValuesFrom (http://a.com/ontology#Temperature_value)) restriction(http://a.com/ontology#temperature_trend allValuesFrom (http://a.com/ontology#Temperature_trend))) Class(http://a.com/ontology#Temperature_trend complete oneOf(a:FALLING a:RISING a:STABLE)) Class(http://a.com/ontology#Temperature_value complete oneOf(a:NORMAL http://a.com/ontology#BELOW_NORMAL a:ELEVATED)) ObjectProperty(http://a.com/ontology#has_temperature range(http://a.com/ontology#Temperature_Relation)) ObjectProperty(http://a.com/ontology#temperature_trend) ObjectProperty(http://a.com/ontology#temperature_value) Individual(http://a.com/ontology#BELOW_NORMAL type(http://a.com/ontology#Temperature_value)) Individual(a:ELEVATED type(http://a.com/ontology#Temperature_value)) Individual(a:FALLING type(http://a.com/ontology#Temperature_trend)) Individual(a:NORMAL type(http://a.com/ontology#Temperature_value)) Individual(a:RISING type(http://a.com/ontology#Temperature_trend)) Individual(a:STABLE type(http://a.com/ontology#Temperature_trend)) Individual(a:Steve type(a:Person)) Individual(http://a.com/ontology#Temperature_Relation_1 type(http://a.com/ontology#Temperature_Relation)) DifferentIndividuals(a:NORMAL http://a.com/ontology#BELOW_NORMAL a:ELEVATED) DifferentIndividuals(a:FALLING a:RISING a:STABLE) )