IRI:
http://km.aifb.kit.edu/projects/numbers/number
Other visualisation:
Ontology source

## Classes

### Integerc back to ToC or Class ToC

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
Numberc
Predecessorop some Integerc
Successorop some Integerc
has sub-classes
Numberc
is in domain of
Predecessorop, Successorop, Valuedp
is in range of
Predecessorop, Successorop
has members
Zeroni

### Numberc back to ToC or Class ToC

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
Integerc
Positive numberc
has sub-classes
Prime numberc
is in domain of
Digit sumop, Prime factorop, Roman literaldp
is in range of
Digit sumop

### Numberc back to ToC or Class ToC

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

A mathemtical object used in counting and measuring.
has sub-classes
Integerc, Positive numberc
is in domain of
greater thanop, less thanop
is in range of
greater thanop, less thanop

### Positive numberc back to ToC or Class ToC

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

All numbers bigger than 0.
is equivalent to
greater thanop some { Zero }
has super-classes
Numberc
has sub-classes
Numberc
is in domain of
Natural logarithmdp

### Prime numberc back to ToC or Class ToC

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

A number with no factors but itself and 1.
has super-classes
Numberc
Prime factorop exactly 1
is in range of
Prime factorop

## Object Properties

### Digit sumop back to ToC or Object Property ToC

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

The sum of the individual digits of this number in Base 10.
has domain
Numberc
has range
Numberc

### greater thanop back to ToC or Object Property ToC

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
Predecessorop
has domain
Numberc
has range
Numberc
is inverse of
less thanop

### less thanop back to ToC or Object Property ToC

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
Successorop
has domain
Numberc
has range
Numberc
is inverse of
greater thanop

### Predecessorop back to ToC or Object Property ToC

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 thanop
has domain
Integerc
has range
Integerc
is inverse of
Successorop

### Prime factorop back to ToC or Object Property ToC

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
Numberc
has range
Prime numberc

### Successorop back to ToC or Object Property ToC

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 thanop
has domain
Integerc
has range
Integerc
is inverse of
Predecessorop

## Data Properties

### Natural logarithmdp back to ToC or Data Property ToC

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 numberc
has range
float

### Roman literaldp back to ToC or Data Property ToC

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

The roman literal representing the number.

has characteristics: functional

has domain
Numberc
has range
string

### Valuedp back to ToC or Data Property ToC

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
Integerc
has range
int

## Named Individuals

### Zeroni back to ToC or Named Individual ToC

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

The number 0, i.e. the neutral element on Addition.
belongs to
Integerc
has facts
Valuedp "0"^^int

## Annotation Properties

### valueap back to ToC or Annotation Property ToC

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

## Namespace Declarations back to ToC

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.