Number
type: Class
comment: A mathemtical object used in counting and measuring.
label: Zahl @de

Z
type: Class
label: Integer
comment: A number that can be written without requiring a fractional or decimal part.
label: Ganze Zahl @de
subclass of: Number
subclass of: Restriction
  on property: -1
  some values from: Z
subclass of: Restriction
  some values from: Z
  on property: +1

0
type: Class
label: Positive number
comment: All numbers bigger than 0.
label: Positive Zahl @de
subclass of: Number
equivalent class: Restriction
  on property: >
  some values from: Class
    one of: 0

0
type: Integer
label: Zero
comment: The number 0, i.e. the neutral element on Addition.
label: Null @de
value: 0

N
type: Class
label: Number
comment: A positive integer, i.e. a number greater than zero that can be written without requiring fractional or decimal components.
label: Natürliche Zahl @de
subclass of: Z
subclass of: 0

Prime number
type: Class
comment: A number with no factors but itself and 1.
label: Primzahl @de
subclass of: N
subclass of: Restriction
  on property: Prime factor
  cardinality: 1

Value
type: DatatypeProperty
comment: Connects an integer individual with the integer literal. In OWL Full one may state that this property is a subproperty of owl:sameAs, and thus that the individuals and the literals are denoting the same entity.
label: Wert @de
domain: Z
range: int
type: FunctionalProperty

>
type: ObjectProperty
label: greater than
comment: A number that is smaller than the given one, i.e. 5 greaterThan 3.
label: größer als @de
domain: Number
range: Number
inverse of: <
type: TransitiveProperty

<
type: ObjectProperty
label: less than
comment: A number that is bigger than the given one, e.g. 8 lessThan 5 is correct.
label: kleiner als @de
domain: Number
range: Number
inverse of: >
type: TransitiveProperty

+1
type: ObjectProperty
label: Successor
comment: The number that is the sucessor of a number.
label: Nachfolger @de
sub property of: <
domain: Z
range: Z
type: FunctionalProperty
type: InverseFunctionalProperty
inverse of: -1

-1
type: ObjectProperty
label: Predecessor
comment: The number that is predecessing this one.
label: Vorgänger @de
sub property of: >
inverse of: +1
domain: Z
range: Z
type: FunctionalProperty
type: InverseFunctionalProperty

Prime factor
type: ObjectProperty
comment: A factor of the number that is a prime at the same time.
label: Primfaktor @de
domain: N
range: Prime number

Digit sum
type: ObjectProperty
comment: The sum of the individual digits of this number in Base 10.
label: Quersumme @de
domain: N
range: N

Roman literal
type: DatatypeProperty
comment: The roman literal representing the number.
label: Römische Zahl @de
domain: N
range: string
type: FunctionalProperty

ln
type: DatatypeProperty
label: Natural logarithm
comment: A number quite close to the natural logarithm of the given value.
label: Natürlicher Logarithmus @de
domain: 0
range: float