CoinsCore:FloatProperty Class

Uit COINS2
Ga naar: navigatie, zoeken

FloatProperty is a subclass of NumericProperty. The inherited datatypeValue of SimpleProperty is overridden by xsd:float, restricting instances of FloatProperty to hold a single float-value, where values range from –infinite to +infinite. The number of decimals is infinite. An empty value (nil) is not allowed.

FloatProperty is disjoined with IntegerProperty.

FloatProperty is not an abstract class; it can be instantiated directly.

The FloatProperty class is extendable.

The nextTrunkVersion is restricted to one other instance of FloatProperty.


History
* New in COINS 2.0


Informative representation in UML

Informative representation of FloatProperty in UML

This image shows the informative representation of the FloatProperty class.


Attributes

Name Type Description
datatypeValue xsd:float Exactly one float value. Empty value not allowed.


Formal Representation in RDF/XML

 <owl:Class rdf:ID="FloatProperty">

   <rdfs:label xml:lang="en-GB">FloatProperty</rdfs:label>
   <rdfs:comment xml:lang="en-GB">FloatProperty</rdfs:comment>

   <rdfs:subClassOf rdf:resource="#NumericProperty"/>

   <owl:disjointWith rdf:resource="#IntegerProperty"/>

   <rdfs:subClassOf>
     <owl:Restriction>
       <owl:onProperty rdf:resource="#datatypeValue"/>
       <owl:allValuesFrom rdf:resource="xsd:float"/>
     </owl:Restriction>
   </rdfs:subClassOf>

   <owl:equivalentClass>
     <owl:Class>
       <owl:intersectionOf rdf:parseType="Collection">
         <rdf:Description rdf:ID="SimpleProperty"/>
         <owl:Restriction>
           <owl:onProperty rdf:resource="#datatypeValue"/>
           <owl:allValuesFrom rdf:resource="xsd:float"/>
         </owl:Restriction>
       </owl:intersectionOf>
     </owl:Class>
   </owl:equivalentClass>

   <isClassAbstract rdf:datatype="xsd:boolean">false</isClassAbstract>
   <isClassExtendable rdf:datatype="xsd:boolean">true</isClassExtendable>

   <rdfs:subClassOf>
     <owl:Restriction>
       <owl:onProperty rdf:resource="#nextTrunkVersion"/>
       <owl:allValuesFrom rdf:resource="#FloatProperty"/>
     </owl:Restriction>
   </rdfs:subClassOf>

   <classCreator rdf:resource="#COINSTechnicalManagementGroup"/>
   <classCreationDate rdf:datatype="xsd:dateTime">2016-04-04T12:00:00.00</classCreationDate>
   <classVersionID rdf:datatype="xsd:string">1.0</classVersionID>

 </owl:Class>