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

Table of Content

  1. Classes
  2. Object Properties
  3. Data Properties
  4. Named Individuals
  5. Annotation Properties
  6. Namespace Declarations

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.