device characteristic modeling, closes #23 (d3079535) · Commits · SAREF / saref4ehaw

examples/COVIDCase.ttl

+1 −1

Original line number	Diff line number	Diff line
		@@ -231,7 +231,7 @@ s4ehawInst:SpireStone rdf:type owl:NamedIndividual ,
		s4ehaw:DeviceCharacteristic ;
		s4ehaw:hasComputingPower s4ehawInst:SpireStoneProcessingUnit ;
		s4ehaw:hasPowerSource s4ehawInst:PolymerBattery ;
		s4ehaw:deviceCharacteristicName "Spire Stone"^^xsd:string ;
		saref:hasModel "Spire Stone"^^xsd:string ;
		s4ehaw:dimension "1.7 x 0.6 x 1.2 inches"^^xsd:string .

ontology/saref4ehaw.ttl

+88 −100

Original line number	Diff line number	Diff line
		@@ -136,14 +136,6 @@ s4ehaw:hasBanCommunicationType rdf:type owl:ObjectProperty ;
		rdfs:label "has BAN communication type"@en .


		### https://saref.etsi.org/saref4ehaw/hasComputingPower
		s4ehaw:hasComputingPower rdf:type owl:ObjectProperty ;
		rdfs:domain s4ehaw:DeviceCharacteristic ;
		rdfs:range s4ehaw:ComputingPower ;
		rdfs:comment "A health device characteristic describing the processing power or capabilities of the device (e.g. processor ID and manufacturer, duty cycle, available flash/RM memory, maximum flash/RAM memory...)."@en ;
		rdfs:label "has computing power"@en .


		### https://saref.etsi.org/saref4ehaw/hasDataConstraint
		s4ehaw:hasDataConstraint rdf:type owl:ObjectProperty ;
		rdfs:domain s4ehaw:Data ;
		@@ -224,14 +216,6 @@ s4ehaw:hasPosture rdf:type owl:ObjectProperty ;
		rdfs:label "has posture"@en .


		### https://saref.etsi.org/saref4ehaw/hasPowerSource
		s4ehaw:hasPowerSource rdf:type owl:ObjectProperty ;
		rdfs:domain s4ehaw:DeviceCharacteristic ;
		rdfs:range s4ehaw:PowerSource ;
		rdfs:comment "A health device characteristic is its power sources, mainly describing energy source and battery related capabilities of the health device (number of power source, source type, rechargeable or not, available power level...)."@en ;
		rdfs:label "has power source"@en .


		### https://saref.etsi.org/saref4ehaw/hasResponsibleParty
		s4ehaw:hasResponsibleParty rdf:type owl:ObjectProperty ;
		rdfs:domain s4ehaw:Ban ;
		@@ -364,22 +348,6 @@ s4ehaw:banDensity rdf:type owl:DatatypeProperty ;
		rdfs:label "BAN density"@en .


		### https://saref.etsi.org/saref4ehaw/deviceCharacteristicName
		s4ehaw:deviceCharacteristicName rdf:type owl:DatatypeProperty ;
		rdfs:domain s4ehaw:DeviceCharacteristic ;
		rdfs:range xsd:string ;
		rdfs:comment "The commercial name of a device."@en ;
		rdfs:label "device characteristic name"@en .


		### https://saref.etsi.org/saref4ehaw/dimension
		s4ehaw:dimension rdf:type owl:DatatypeProperty ;
		rdfs:domain s4ehaw:DeviceCharacteristic ;
		rdfs:range xsd:string ;
		rdfs:comment "The dimension of the device i.e. heightweightlength string."@en ;
		rdfs:label "dimension"@en .


		### https://saref.etsi.org/saref4ehaw/dob
		s4ehaw:dob rdf:type owl:DatatypeProperty ;
		rdfs:domain s4ehaw:HealthActor ;
		@@ -388,14 +356,6 @@ s4ehaw:dob rdf:type owl:DatatypeProperty ;
		rdfs:label "date of birth"@en .


		### https://saref.etsi.org/saref4ehaw/dutyCycle
		s4ehaw:dutyCycle rdf:type owl:DatatypeProperty ;
		rdfs:domain s4ehaw:ComputingPower ;
		rdfs:range xsd:int ;
		rdfs:comment "The duty cycle for each health device embedded processor, in percent."@en ;
		rdfs:label "duty cycle"@en .


		### https://saref.etsi.org/saref4ehaw/faultTolerence
		s4ehaw:faultTolerence rdf:type owl:DatatypeProperty ;
		rdfs:domain s4ehaw:MeasurementFunction ;
		@@ -420,14 +380,6 @@ s4ehaw:format rdf:type owl:DatatypeProperty ;
		rdfs:label "format"@en .


		### https://saref.etsi.org/saref4ehaw/frequency
		s4ehaw:frequency rdf:type owl:DatatypeProperty ;
		rdfs:domain s4ehaw:ComputingPower ;
		rdfs:range xsd:float ;
		rdfs:comment "The frequency is the number of instructions an embedded processor - within a health device - can perform per second (MIPS)."@en ;
		rdfs:label "frequency"@en .


		### https://saref.etsi.org/saref4ehaw/hasCalculationMethod
		s4ehaw:hasCalculationMethod rdf:type owl:DatatypeProperty ;
		rdfs:domain s4ehaw:ServiceProcess ;
		@@ -540,22 +492,6 @@ s4ehaw:lifetime rdf:type owl:DatatypeProperty ;
		rdfs:label "lifetime"@en .


		### https://saref.etsi.org/saref4ehaw/maximumFlash
		s4ehaw:maximumFlash rdf:type owl:DatatypeProperty ;
		rdfs:domain s4ehaw:ComputingPower ;
		rdfs:range xsd:long ;
		rdfs:comment "Indicates the maximum flash memory space (in byte) of a health device."@en ;
		rdfs:label "maximum flash"@en .


		### https://saref.etsi.org/saref4ehaw/maximumRam
		s4ehaw:maximumRam rdf:type owl:DatatypeProperty ;
		rdfs:domain s4ehaw:ComputingPower ;
		rdfs:range xsd:long ;
		rdfs:comment "Indicates the maximum volatile memory space (in byte) of a health device."@en ;
		rdfs:label "maximum ram"@en .


		### https://saref.etsi.org/saref4ehaw/maximumValue
		s4ehaw:maximumValue rdf:type owl:DatatypeProperty ;
		rdfs:domain s4ehaw:ValidityConstraint ;
		@@ -596,22 +532,6 @@ s4ehaw:portNumber rdf:type owl:DatatypeProperty ;
		rdfs:label "port number"@en .


		### https://saref.etsi.org/saref4ehaw/powerSourceType
		s4ehaw:powerSourceType rdf:type owl:DatatypeProperty ;
		rdfs:domain s4ehaw:PowerSource ;
		rdfs:range xsd:string ;
		rdfs:comment "The type of power source of a health device. It can be solar, battery, electricity..."@en ;
		rdfs:label "power source type"@en .


		### https://saref.etsi.org/saref4ehaw/rechargeable
		s4ehaw:rechargeable rdf:type owl:DatatypeProperty ;
		rdfs:domain s4ehaw:PowerSource ;
		rdfs:range xsd:boolean ;
		rdfs:comment "This boolean variable indicates if the power source is rechargeable or not, e.g. a rechargeable battery."@en ;
		rdfs:label "rechargeable"@en .


		### https://saref.etsi.org/saref4ehaw/remainingBatteryLevel
		s4ehaw:remainingBatteryLevel rdf:type owl:DatatypeProperty ;
		rdfs:domain s4ehaw:HealthDevice ;
		@@ -660,14 +580,6 @@ s4ehaw:serviceName rdf:type owl:DatatypeProperty ;
		rdfs:label "service name"@en .


		### https://saref.etsi.org/saref4ehaw/velocity
		s4ehaw:velocity rdf:type owl:DatatypeProperty ;
		rdfs:domain s4ehaw:DeviceCharacteristic ;
		rdfs:range xsd:float ;
		rdfs:comment "The velocity of a moving device (in m/s)."@en ;
		rdfs:label "velocity"@en .


		#################################################################
		# Classes
		#################################################################
		@@ -731,12 +643,6 @@ s4ehaw:BanCommunicationType rdf:type owl:Class ;
		rdfs:label "BAN Communication type"@en .


		### https://saref.etsi.org/saref4ehaw/ComputingPower
		s4ehaw:ComputingPower rdf:type owl:Class ;
		rdfs:comment "The computing power capabilities of a Health device."@en ;
		rdfs:label "Computing power"@en .


		### https://saref.etsi.org/saref4ehaw/DataConstraint
		s4ehaw:DataConstraint rdf:type owl:Class ;
		rdfs:comment "The Data constraints, e.g. validity, legal..."@en ;
		@@ -906,12 +812,6 @@ s4ehaw:Posture rdf:type owl:Class ;
		rdfs:label "Posture"@en .


		### https://saref.etsi.org/saref4ehaw/PowerSource
		s4ehaw:PowerSource rdf:type owl:Class ;
		rdfs:comment "The power sources of a health device, mainly describing energy source and battery related capabilities of the health device (number of power source, source type, rechargeable or not...)."@en ;
		rdfs:label "Power source"@en .


		### https://saref.etsi.org/saref4ehaw/ReminderCommand
		s4ehaw:ReminderCommand rdf:type owl:Class ;
		rdfs:subClassOf saref:NotifyCommand ;
		@@ -1249,4 +1149,92 @@ s4ehaw:StarBanTopology rdf:type saref:StateValue ;
		saref:isValueOfState s4ehaw:BanTopology .


		### https://saref.etsi.org/saref4ehaw/ComputingPower
		s4ehaw:ComputingPower rdf:type saref:Property ;
		rdfs:comment "The computing power capabilities of a device."@en ;
		rdfs:label "has computing power"@en ;
		saref:consistsOf s4ehaw:DutyCycle ,
		s4ehaw:MaximumFlash ,
		s4ehaw:MaximumRam ,
		s4ehaw:CPUFrequency .

		s4ehaw:DutyCycle rdf:type saref:Property ;
		rdfs:comment "The duty cycle of an embedded processor of a device, typically in percent."@en ;
		rdfs:label "Duty cycle"@en .

		s4ehaw:MaximumFlash rdf:type saref:Property ;
		rdfs:comment "The maximum flash memory space (in bytes) of a device."@en ;
		rdfs:label "Maximum flash"@en .

		s4ehaw:MaximumRam rdf:type saref:Property ;
		rdfs:comment "The maximum volatile memory space (in bytes) of a device."@en ;
		rdfs:label "Maximum ram"@en .

		s4ehaw:CPUFrequency rdf:type saref:Property ;
		rdfs:comment "The number of instructions an embedded processor - within a device - can perform per second (MIPS)."@en ;
		rdfs:label "Frequency"@en .

		### https://saref.etsi.org/saref4ehaw/velocity
		s4ehaw:Velocity rdf:type saref:Property ;
		rdfs:comment "The velocity of a moving entity. Typically expressed in m/s."@en ;
		rdfs:label "Velocity"@en .



		### https://saref.etsi.org/saref4ehaw/PowerSource
		### Characteristic describing energy source and battery related capabilities of the health device (number of power source, source type, rechargeable or not, available power level...).

		s4ehaw:SolarPowered rdf:type saref:FeatureKind ;
		rdfs:comment "Kind of feature of interest powered by the sun."@en ;
		rdfs:label "Solar Powered"@en .

		s4ehaw:BatteryPowered rdf:type saref:FeatureKind ;
		rdfs:comment "Kind of feature of interest powered by batteries."@en ;
		rdfs:label "BatteryPowered"@en .

		s4ehaw:MainsPowered rdf:type saref:FeatureKind ;
		rdfs:comment "Kind of feature of interest powered by the mains."@en ;
		rdfs:label "MainsPowered"@en .

		s4ehaw:Rechargeable rdf:type saref:FeatureKind ;
		rdfs:comment "Kind of feature of interest whose power source is rechargeable."@en ;
		rdfs:label "Rechargeable"@en .

		s4ehaw:NotRechargeable rdf:type saref:FeatureKind ;
		rdfs:comment "Kind of feature of interest whose power source is not rechargeable."@en ;
		rdfs:label "Not Rechargeable"@en .


		s4ehaw:NumberOfPowerSource rdf:type saref:Property ;
		rdfs:comment "Number of power source of a feature of interest."@en ;
		rdfs:label "Number Of Power Source"@en .

		s4ehaw:AvailablePowerLevel rdf:type saref:Property ;
		rdfs:comment "Power level still available for the feature of interest to function."@en ;
		rdfs:label "Available Power Level "@en .


		### https://saref.etsi.org/saref4ehaw/Dimensions
		s4ehaw:Dimensions rdf:type saref:Property ;
		rdfs:comment "The dimensions of a feature of interest, consisting of a height, a weight, and a length."@en ;
		rdfs:label "Dimensions"@en ;
		saref:consistsOf s4ehaw:Height, s4ehaw:Width, s4ehaw:Length .

		s4ehaw:Height rdf:type saref:Property ;
		rdfs:label "Height"@en ;
		rdfs:comment "The height dimension of a feature of interest."@en .

		s4ehaw:Width rdf:type saref:Property ;
		rdfs:label "Width"@en ;
		rdfs:comment "The width dimension of a feature of interest."@en .

		s4ehaw:Length rdf:type saref:Property ;
		rdfs:label "Length"@en ;
		rdfs:comment "The length dimension of a feature of interest."@en .

		s4ehaw:Weight rdf:type saref:Property ;
		rdfs:label "Weight"@en ;
		rdfs:comment "The weight of a feature of interest."@en .


		### Generated by the OWL API (version 4.2.8.20170104-2310) https://github.com/owlcs/owlapi