Mathematics
| owl:Ontology | |
|---|---|
| dct:creator |
Hans Cools, MD, knowledge engineer, ontologist, software developer, University of
Basel, Switzerland
|
| dct:description |
Formal description of general concepts in mathematics.
|
| dct:license | |
| dct:publisher |
University of Basel, Switzerland
|
| rdfs:seeAlso | |
| dct:title |
An ontology about mathematics
|
| owl:versionInfo |
2020-06-11
|
Classes
| mathematics:MathematicalObject a rdfs:Class |
|
|---|---|
| rdfs:comment |
Conceptual entity in mathematics.
|
| rdfs:isDefinedBy | |
| rdfs:label |
mathematisches Objekt
(de)
mathematical object
(en)
|
| rdfs:subClassOf | |
| mathematics:NaturalNumber a rdfs:Class |
|
|---|---|
| rdfs:comment |
Non-negative whole number used for counting and ordering.
|
| rdfs:isDefinedBy | |
| rdfs:label |
natural number
(en)
natürliche Zahl
(de)
|
| skos:note |
Conform ISO 80000-2:2009.
|
| rdfs:subClassOf | |
| mathematics:Number a rdfs:Class |
|
|---|---|
| rdfs:comment |
Mathematical object used for counting, measuring, ordering, labeling, and coding.
|
| rdfs:isDefinedBy | |
| rdfs:label |
number
(en)
Zahl
(de)
|
| rdfs:subClassOf | |
| mathematics:OrdinalNumber a rdfs:Class |
|
|---|---|
| rdfs:comment |
Natural number used to order, i.e. denoting the position of something in a sequence.
|
| rdfs:isDefinedBy | |
| rdfs:label |
ordinal number
(en)
Ordinalzahl
(de)
|
| rdfs:subClassOf | |
| mathematics:OrdinalSymbol a rdfs:Class |
|
|---|---|
| rdfs:comment |
Symbol used to order, i.e. denoting the position of something in a sequence, e.g.
the letters of an alphabet with literals a to z or A to Z.
|
| rdfs:isDefinedBy | |
| rdfs:label |
Ordinalsymbol
(de)
ordinal symbol
(en)
|
| rdfs:subClassOf | |
| mathematics:Set a rdfs:Class |
|
|---|---|
| rdfs:comment |
Set of mathematical objects.
|
| rdfs:isDefinedBy | |
| rdfs:label |
mathematical set
(en)
mathematische Reihe
(de)
|
| rdfs:subClassOf | |
Properties
| mathematics:hasNumber a owl:ObjectProperty |
|
|---|---|
| rdfs:comment |
Relating something to a number.
|
| rdfs:domain | |
| rdfs:isDefinedBy | |
| rdfs:label |
hat Zahl
(de)
has number
(en)
|
| rdfs:range | |
| rdfs:subPropertyOf | |
| mathematics:hasNumeral a owl:DatatypeProperty |
|
|---|---|
| rdfs:comment |
Relating something to a numeral.
|
| rdfs:domain | |
| rdfs:isDefinedBy | |
| rdfs:label |
hat Numeral
(de)
has numeral
(en)
|
| skos:note |
A reification of a numeral, i.e. a number, can always be interposed, see property
chain axiom.
|
| owl:propertyChainAxiom | |
| rdfs:range | |
| rdfs:subPropertyOf | |
| mathematics:hasOrdinalNumber a owl:ObjectProperty |
|
|---|---|
| rdfs:comment |
Relating something to the number denoting its position in a sequence.
|
| rdfs:domain | |
| rdfs:isDefinedBy | |
| rdfs:label |
hat Ordinalzahl
(de)
has ordinal number
(en)
|
| rdfs:range | |
| rdfs:subPropertyOf | |
| mathematics:hasOrdinalNumeral a owl:DatatypeProperty |
|||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| rdfs:comment |
Relating something to the numeral denoting its position in a sequence.
|
||||||||||||||||
| rdfs:domain | |||||||||||||||||
| rdfs:isDefinedBy | |||||||||||||||||
| rdfs:label |
has ordinal numeral
(en)
hat Ordinalnumeral
(de)
|
||||||||||||||||
| owl:propertyChainAxiom | |||||||||||||||||
| rdfs:range | |||||||||||||||||
| rdfs:subPropertyOf |
|
||||||||||||||||
| mathematics:hasOrdinalSymbol a owl:ObjectProperty |
|
|---|---|
| rdfs:comment |
Relating something to the symbolic entity denoting its position in a sequence.
|
| rdfs:domain | |
| rdfs:isDefinedBy | |
| rdfs:label |
has ordinal symbol
(en)
hat Ordinalsymbol
(de)
|
| rdfs:range | |
| rdfs:subPropertyOf | |
| mathematics:numberHasNumeral a owl:DatatypeProperty |
|
|---|---|
| rdfs:comment |
Relating a number to its representing numeral.
|
| rdfs:domain | |
| rdfs:isDefinedBy | |
| rdfs:label |
Nummer hat Numeral
(de)
number has numeral
(en)
|
| rdfs:range | |
| rdfs:subPropertyOf | |