- IRI:
- http://km.aifb.kit.edu/projects/numbers/number

- Other visualisation:
- Ontology source

**IRI:** http://km.aifb.kit.edu/projects/numbers/number#Integer

A number that can be written without requiring a fractional or decimal
part.

- has super-classes
- Number
^{c} - Predecessor
^{op}some Integer^{c} - Successor
^{op}some Integer^{c} - has sub-classes
- Number
^{c} - is in domain of
- Predecessor
^{op}, Successor^{op}, Value^{dp} - is in range of
- Predecessor
^{op}, Successor^{op} - has members
- Zero
^{ni}

**IRI:** http://km.aifb.kit.edu/projects/numbers/number#NaturalNumber

A positive integer, i.e. a number greater than zero that can be written
without requiring fractional or decimal components.

- has super-classes
- Integer
^{c} - Positive number
^{c} - has sub-classes
- Prime number
^{c} - is in domain of
- Digit sum
^{op}, Prime factor^{op}, Roman literal^{dp} - is in range of
- Digit sum
^{op}

**IRI:** http://km.aifb.kit.edu/projects/numbers/number#Number

A mathemtical object used in counting and measuring.

- has sub-classes
- Integer
^{c}, Positive number^{c} - is in domain of
- greater than
^{op}, less than^{op} - is in range of
- greater than
^{op}, less than^{op}

**IRI:** http://km.aifb.kit.edu/projects/numbers/number#PositiveNumber

All numbers bigger than 0.

- is equivalent to
- greater than
^{op}some { Zero } - has super-classes
- Number
^{c} - has sub-classes
- Number
^{c} - is in domain of
- Natural logarithm
^{dp}

**IRI:** http://km.aifb.kit.edu/projects/numbers/number#Prime

A number with no factors but itself and 1.

- has super-classes
- Number
^{c} - Prime factor
^{op}exactly 1 - is in range of
- Prime factor
^{op}

**IRI:** http://km.aifb.kit.edu/projects/numbers/number#digitsum

The sum of the individual digits of this number in Base 10.

**IRI:** http://km.aifb.kit.edu/projects/numbers/number#greaterThan

A number that is smaller than the given one, i.e. 5 greaterThan 3.

**has characteristics:** transitive

- has sub-properties
- Predecessor
^{op} - has domain
- Number
^{c} - has range
- Number
^{c} - is inverse of
- less than
^{op}

**IRI:** http://km.aifb.kit.edu/projects/numbers/number#lessThan

A number that is bigger than the given one, e.g. 8 lessThan 5 is correct.

**has characteristics:** transitive

- has sub-properties
- Successor
^{op} - has domain
- Number
^{c} - has range
- Number
^{c} - is inverse of
- greater than
^{op}

**IRI:** http://km.aifb.kit.edu/projects/numbers/number#previous

The number that is predecessing this one.

**has characteristics:** functional, inverse functional

- has super-properties
- greater than
^{op} - has domain
- Integer
^{c} - has range
- Integer
^{c} - is inverse of
- Successor
^{op}

**IRI:** http://km.aifb.kit.edu/projects/numbers/number#primefactor

A factor of the number that is a prime at the same time.

- has domain
- Number
^{c} - has range
- Prime number
^{c}

**IRI:** http://km.aifb.kit.edu/projects/numbers/number#next

The number that is the sucessor of a number.

**has characteristics:** functional, inverse functional

- has super-properties
- less than
^{op} - has domain
- Integer
^{c} - has range
- Integer
^{c} - is inverse of
- Predecessor
^{op}

**IRI:** http://km.aifb.kit.edu/projects/numbers/number#log

A number quite close to the natural logarithm of the given value.

- has domain
- Positive number
^{c} - has range
- float

**IRI:** http://km.aifb.kit.edu/projects/numbers/number#roman

The roman literal representing the number.

**has characteristics:** functional

- has domain
- Number
^{c} - has range
- string

**IRI:** http://km.aifb.kit.edu/projects/numbers/number#value

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.

**has characteristics:** functional

- has domain
- Integer
^{c} - has range
- int

**IRI:** http://km.aifb.kit.edu/projects/numbers/number#n0

The number 0, i.e. the neutral element on Addition.

**IRI:** http://www.w3.org/1999/02/22-rdf-syntax-ns#value

*default namespace*- http://km.aifb.kit.edu/projects/numbers/number#
- ns
- http://creativecommons.org/ns#
- number
- http://km.aifb.kit.edu/projects/numbers/number#
- numbers
- http://km.aifb.kit.edu/projects/numbers/
- owl
- http://www.w3.org/2002/07/owl#
- rdf
- http://www.w3.org/1999/02/22-rdf-syntax-ns#
- rdfs
- http://www.w3.org/2000/01/rdf-schema#
- xsd
- http://www.w3.org/2001/XMLSchema#

This HTML document was obtained by processing the OWL ontology source code through LODE, *Live OWL Documentation Environment*, developed by Silvio Peroni.