CoinsCore:IntegerProperty Class

Uit COINS2
Ga naar: navigatie, zoeken

IntegerProperty is a subclass of NumericProperty. The inherited datatypeValue of SimpleProperty is overridden by xsd:integer, restricting instances of IntegerProperty to hold a single integer-value, where values range from –infinite to +infinite. Decimals are not allowed, nor is an empty value (nil) allowed.

IntegerProperty is not disjoint with FloatProperty, since an integer value is also an float value.

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

The IntegerProperty class is extendable.

The nextTrunkVersion is restricted to one other instance of IntegerProperty.


History
* New in COINS 2.0


Informative representation in UML

Informative representation of IntegerProperty in UML

This image shows the informative representation of the IntegerProperty class.


Attributes

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


Formal Representation in RDF/XML

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

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

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

   <rdfs:subClassOf>
     <owl:Restriction>
       <owl:onProperty rdf:resource="#datatypeValue"/>
       <owl:allValuesFrom rdf:resource="xsd:integer"/>
     </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:integer"/>
         </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="#IntegerProperty"/>
     </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>