SWEET Ontology Representation Mathematics

Classes ↑

array^c

URI	`http://sweetontology.net/reprMath/Array`
Super-classes	sorepm:Seq^c
Sub-classes	sorepm:Vector^c sorepm:OrderedPair^c sorepm:OrderedTriple^c

bag^c

URI	`http://sweetontology.net/reprMath/Bag`
Super-classes	sorepm:Container^c
Sub-classes	sorepm:Set^c sorepm:UnorderedPair^c

collection^c

URI	`http://sweetontology.net/reprMath/Collection`
Super-classes	sorepm:NumericalEntity^c

constant^c

URI	`http://sweetontology.net/reprMath/Constant`
Super-classes	sorepm:NumericalEntity^c

container^c

URI	`http://sweetontology.net/reprMath/Container`
Super-classes	sorepm:NumericalEntity^c
Sub-classes	sorepm:Bag^c sorepm:Seq^c

equation^c

URI	`http://sweetontology.net/reprMath/Equation`
Super-classes	sorepm:Relation^c

exponent^c

URI	`http://sweetontology.net/reprMath/Exponent`
Super-classes	sorepm:NumericalEntity^c

fuzzy point^c

URI	`http://sweetontology.net/reprMath/FuzzyPoint`
Super-classes	sorepm:Neighborhood^c

fuzzy set^c

URI	`http://sweetontology.net/reprMath/FuzzySet`
Super-classes	sorepm:NumericalEntity^c

inequality^c

URI	`http://sweetontology.net/reprMath/Inequality`
Super-classes	sorepm:Relation^c

interval^c

URI	`http://sweetontology.net/reprMath/Interval`
Super-classes	sorepm:NumericalEntity^c
Restrictions	sorelm:hasDimension^dp value 1^c
Sub-classes	sorepm:Window^c

matrix^c

URI	`http://sweetontology.net/reprMath/Matrix`
Super-classes	sorepm:Seq^c
Restrictions	sorelm:eachElementHasType^op only sorepm:Array^c

multiset^c

URI	`http://sweetontology.net/reprMath/Multiset`

neighborhood^c

URI	`http://sweetontology.net/reprMath/Neighborhood`
Super-classes	sorepm:NumericalEntity^c
Sub-classes	sorepm:FuzzyPoint^c

numerical entity^c

URI	`http://sweetontology.net/reprMath/NumericalEntity`
Super-classes	sorep:Representation^c
Sub-classes	sorepm:Variable^c sorepm:Interval^c sorepm:Constant^c sorepm:Scalar^c sorepm:FuzzySet^c sorepm:Exponent^c sorepm:Container^c sorepm:Neighborhood^c sorepm:Point^c sorepm:Collection^c sorepm:Relation^c

order^c

URI	`http://sweetontology.net/reprMath/Order`

ordered pair^c

URI	`http://sweetontology.net/reprMath/OrderedPair`
Super-classes	sorepm:Array^c sorep:D^c
Restrictions	sorelm:hasFirstOperand^op exactly 1 sorelm:hasSecondOperand^op exactly 1

ordered triple^c

URI	`http://sweetontology.net/reprMath/OrderedTriple`
Super-classes	sorep:D^c sorepm:Array^c
Restrictions	sorelm:hasFirstOperand^op exactly 1 sorelm:hasThirdOperand^op exactly 1 sorelm:hasSecondOperand^op exactly 1

point^c

URI	`http://sweetontology.net/reprMath/Point`
Super-classes	sorepm:NumericalEntity^c
Restrictions	sorelm:hasDimension^dp value 0^c

relation^c

URI	`http://sweetontology.net/reprMath/Relation`
Super-classes	sorepm:NumericalEntity^c
Sub-classes	sorepm:Equation^c sorepm:Inequality^c

scalar^c

URI	`http://sweetontology.net/reprMath/Scalar`
Super-classes	sorepm:NumericalEntity^c

seq^c

URI	`http://sweetontology.net/reprMath/Seq`
Super-classes	sorepm:Container^c
Sub-classes	sorepm:Tensor^c sorepm:Array^c sorepm:Matrix^c

sequence^c

URI	`http://sweetontology.net/reprMath/Sequence`

set^c

URI	`http://sweetontology.net/reprMath/Set`
Super-classes	sorepm:Bag^c

tensor^c

URI	`http://sweetontology.net/reprMath/Tensor`
Super-classes	sorepm:Seq^c
Restrictions	sorelm:eachElementHasType^op only sorepm:Matrix^c

unordered pair^c

URI	`http://sweetontology.net/reprMath/UnorderedPair`
Super-classes	sorep:D^c sorepm:Bag^c

variable^c

URI	`http://sweetontology.net/reprMath/Variable`
Super-classes	sorepm:NumericalEntity^c

vector^c

URI	`http://sweetontology.net/reprMath/Vector`
Super-classes	sorepm:Array^c
Sub-classes	sorepm:Vector_3D^c

vector 3d^c

URI	`http://sweetontology.net/reprMath/Vector_3D`
Super-classes	sorepm:Vector^c sorep:D^c

window^c

URI	`http://sweetontology.net/reprMath/Window`
Super-classes	sorepm:Interval^c

URI	`http://sweetontology.net/relaMath/eachElementHasType`

URI	`http://sweetontology.net/relaMath/hasFirstOperand`

URI	`http://sweetontology.net/relaMath/hasSecondOperand`

URI	`http://sweetontology.net/relaMath/hasThirdOperand`

URI	`http://sweetontology.net/relaMath/hasDimension`

URI	`http://sweetontology.net/relaMath/hasLowerBound`

URI	`http://sweetontology.net/relaMath/hasUpperBound`

URI	`http://sweetontology.net/reprMath/NormalizedRange`

Namespaces ↑

dcterms: http://purl.org/dc/terms/
owl: http://www.w3.org/2002/07/owl#
prov: http://www.w3.org/ns/prov#
rdf: http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs: http://www.w3.org/2000/01/rdf-schema#
sdo: https://schema.org/
skos: http://www.w3.org/2004/02/skos/core#
sorelm: http://sweetontology.net/relaMath/
sorep: http://sweetontology.net/repr/
sorepm: http://sweetontology.net/reprMath/
xsd: http://www.w3.org/2001/XMLSchema#

^c	Classes
^op	Object Properties
^fp	Functional Properties
^dp	Data Properties
^dp	Annotation Properties
^p	Properties
ⁿⁱ	Named Individuals

SWEET Ontology Representation Mathematics

Metadata

Table of Contents

Overview

Classes ↑

arrayc

bagc

collectionc

constantc

containerc

equationc

exponentc

fuzzy pointc

fuzzy setc

inequalityc

intervalc

matrixc

multisetc

neighborhoodc

numerical entityc

orderc

ordered pairc

ordered triplec

pointc

relationc

scalarc

seqc

sequencec

setc

tensorc

unordered pairc

variablec

vectorc

vector 3dc

windowc

Object Properties ↑

eachElementHasTypeop

hasFirstOperandop

hasSecondOperandop

hasThirdOperandop

Datatype Properties ↑

hasDimensiondp

hasLowerBounddp

hasUpperBounddp

Named Individuals ↑

normalized rangeni

Namespaces ↑

Legend

array^c

bag^c

collection^c

constant^c

container^c

equation^c

exponent^c

fuzzy point^c

fuzzy set^c

inequality^c

interval^c

matrix^c

multiset^c

neighborhood^c

numerical entity^c

order^c

ordered pair^c

ordered triple^c

point^c

relation^c

scalar^c

seq^c

sequence^c

set^c

tensor^c

unordered pair^c

variable^c

vector^c

vector 3d^c

window^c

eachElementHasType^op

hasFirstOperand^op

hasSecondOperand^op

hasThirdOperand^op

hasDimension^dp

hasLowerBound^dp

hasUpperBound^dp

normalized rangeⁿⁱ