b'SWEET Ontology Representation MathematicsSWEET Ontology Representation Mathematics

SWEET Ontology Representation Mathematics

IRI:
http://sweetontology.net/reprMath
Current version:
3.2.0
Imported Ontologies:
http://sweetontology.net/relaMath (visualise it with LODE)
http://sweetontology.net/repr (visualise it with LODE)
Other visualisation:
Ontology source

Table of Content

  1. Classes
  2. Named Individuals
  3. Namespace Declarations

Classes

arrayc back to ToC or Class ToC

IRI: http://sweetontology.net/reprMath/Array

has super-classes
seqc
has sub-classes
ordered pairc, ordered triplec, vectorc

bagc back to ToC or Class ToC

IRI: http://sweetontology.net/reprMath/Bag

is equivalent to
multisetc
has super-classes
containerc
has sub-classes
setc, unordered pairc

collectionc back to ToC or Class ToC

IRI: http://sweetontology.net/reprMath/Collection

has super-classes
numerical entityc

constantc back to ToC or Class ToC

IRI: http://sweetontology.net/reprMath/Constant

has super-classes
numerical entityc

containerc back to ToC or Class ToC

IRI: http://sweetontology.net/reprMath/Container

has super-classes
numerical entityc
has sub-classes
bagc, seqc

equationc back to ToC or Class ToC

IRI: http://sweetontology.net/reprMath/Equation

has super-classes
relationc

exponentc back to ToC or Class ToC

IRI: http://sweetontology.net/reprMath/Exponent

has super-classes
numerical entityc

fuzzy pointc back to ToC or Class ToC

IRI: http://sweetontology.net/reprMath/FuzzyPoint

has super-classes
neighborhoodc

fuzzy setc back to ToC or Class ToC

IRI: http://sweetontology.net/reprMath/FuzzySet

has super-classes
numerical entityc

inequalityc back to ToC or Class ToC

IRI: http://sweetontology.net/reprMath/Inequality

has super-classes
relationc

intervalc back to ToC or Class ToC

IRI: http://sweetontology.net/reprMath/Interval

has super-classes
numerical entityc
has dimension value 1
has sub-classes
windowc
has members
normalized rangeni
is disjoint with
pointc

matrixc back to ToC or Class ToC

IRI: http://sweetontology.net/reprMath/Matrix

has super-classes
seqc
each element has type only arrayc

neighborhoodc back to ToC or Class ToC

IRI: http://sweetontology.net/reprMath/Neighborhood

has super-classes
numerical entityc
has sub-classes
fuzzy pointc

numerical entityc back to ToC or Class ToC

IRI: http://sweetontology.net/reprMath/NumericalEntity

has super-classes
representation
has sub-classes
collectionc, constantc, containerc, exponentc, fuzzy setc, intervalc, neighborhoodc, pointc, relationc, scalarc, variablec

orderc back to ToC or Class ToC

IRI: http://sweetontology.net/reprMath/Order

is equivalent to
seqc

ordered pairc back to ToC or Class ToC

IRI: http://sweetontology.net/reprMath/OrderedPair

has super-classes
d
arrayc
has first operand exactly 1
has second operand exactly 1

ordered triplec back to ToC or Class ToC

IRI: http://sweetontology.net/reprMath/OrderedTriple

has super-classes
d
arrayc
has second operand exactly 1
has third operand exactly 1
has first operand exactly 1

pointc back to ToC or Class ToC

IRI: http://sweetontology.net/reprMath/Point

has super-classes
numerical entityc
has dimension value 0
is disjoint with
intervalc

relationc back to ToC or Class ToC

IRI: http://sweetontology.net/reprMath/Relation

has super-classes
numerical entityc
has sub-classes
equationc, inequalityc

scalarc back to ToC or Class ToC

IRI: http://sweetontology.net/reprMath/Scalar

has super-classes
numerical entityc
is disjoint with
vectorc

seqc back to ToC or Class ToC

IRI: http://sweetontology.net/reprMath/Seq

is equivalent to
sequencec
has super-classes
containerc
has sub-classes
arrayc, matrixc, tensorc

setc back to ToC or Class ToC

IRI: http://sweetontology.net/reprMath/Set

has super-classes
bagc

tensorc back to ToC or Class ToC

IRI: http://sweetontology.net/reprMath/Tensor

has super-classes
seqc
each element has type only matrixc

unordered pairc back to ToC or Class ToC

IRI: http://sweetontology.net/reprMath/UnorderedPair

has super-classes
d
bagc

variablec back to ToC or Class ToC

IRI: http://sweetontology.net/reprMath/Variable

has super-classes
numerical entityc

vectorc back to ToC or Class ToC

IRI: http://sweetontology.net/reprMath/Vector

has super-classes
arrayc
has sub-classes
vector 3 dc
is disjoint with
scalarc

vector 3 dc back to ToC or Class ToC

IRI: http://sweetontology.net/reprMath/Vector_3D

has super-classes
d
vectorc

windowc back to ToC or Class ToC

IRI: http://sweetontology.net/reprMath/Window

has super-classes
intervalc

Named Individuals

normalized rangeni back to ToC or Named Individual ToC

IRI: http://sweetontology.net/reprMath/NormalizedRange

belongs to
intervalc

Namespace Declarations back to ToC

default namespace
http://sweetontology.net/reprMath#
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#
relaMath
http://sweetontology.net/relaMath/
repr
http://sweetontology.net/repr/
reprmath
http://sweetontology.net/reprMath/
sweetontology-net
http://sweetontology.net/
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.

\r\n'