SWEET Ontology Representation Mathematics Graph

Classes ↑

arc^c

URI	`http://sweetontology.net/reprMathGraph/Arc`
Super-classes	sorepmg:StructuralComponent^c
Restrictions	sorelm:hasOrderedVertexPair^op exactly 1

circuit^c

URI	`http://sweetontology.net/reprMathGraph/Circuit`

connected graph^c

URI	`http://sweetontology.net/reprMathGraph/ConnectedGraph`
Super-classes	sorepmg:Graph^c

cycle^c

URI	`http://sweetontology.net/reprMathGraph/Cycle`
Super-classes	sorepmg:Path^c sorepsg:Path^c

digraph^c

URI	`http://sweetontology.net/reprMathGraph/Digraph`

directed graph^c

URI	`http://sweetontology.net/reprMathGraph/DirectedGraph`
Super-classes	sorepmg:Graph^c
Restrictions	sorelm:hasArc^op min 1

edge^c

URI	`http://sweetontology.net/reprMathGraph/Edge`
Super-classes	sorepmg:StructuralComponent^c
Restrictions	sorelm:hasUnorderedVertexPair^op exactly 1
Sub-classes	sorepmg:WeightedEdge^c sorepmg:Loop^c

forest^c

URI	`http://sweetontology.net/reprMathGraph/Forest`
Super-classes	sorepmg:Graph^c

graph^c

URI	`http://sweetontology.net/reprMathGraph/Graph`
Super-classes	sorepmg:StructuralModel^c
Restrictions	sorelm:hasVertex^op min 1 sorelm:hasEdge^op min 1
Sub-classes	sorepmg:UndirectedGraph^c sorepmg:Forest^c sorepmg:DirectedGraph^c sorepmg:Network^c sorepmg:Tree^c sorepmg:ConnectedGraph^c

isolated vertex^c

URI	`http://sweetontology.net/reprMathGraph/IsolatedVertex`
Super-classes	sorepmg:Vertex^c

leaf node^c

URI	`http://sweetontology.net/reprMathGraph/LeafNode`
Super-classes	sorepmg:Node^c

loop^c

URI	`http://sweetontology.net/reprMathGraph/Loop`
Super-classes	sorepmg:Edge^c

network^c

URI	`http://sweetontology.net/reprMathGraph/Network`
Super-classes	sorepmg:Graph^c
Restrictions	sorelm:hasWeightedEdge^op min 1

node^c

URI	`http://sweetontology.net/reprMathGraph/Node`
Sub-classes	sorepmg:LeafNode^c

ordered vertex pair^c

URI	`http://sweetontology.net/reprMathGraph/OrderedVertexPair`
Super-classes	sorepm:OrderedPair^c
Restrictions	sorelm:eachElementHasType^op only sorepmg:Vertex^c

path^c

URI	`http://sweetontology.net/reprMathGraph/Path`
Super-classes	sorepm:Array^c
Restrictions	sorelm:eachElementHasType^op only sorepmg:Edge^c
Sub-classes	sorepmg:Cycle^c

structural component^c

URI	`http://sweetontology.net/reprMathGraph/StructuralComponent`
Super-classes	sorepmg:StructuralModel^c
Sub-classes	sorepmg:Arc^c sorepmg:Edge^c sorepmg:Vertex^c

structural model^c

URI	`http://sweetontology.net/reprMathGraph/StructuralModel`
Super-classes	sorepsmo:Model^c
Sub-classes	sorepmg:Graph^c sorepmg:StructuralComponent^c

tree^c

URI	`http://sweetontology.net/reprMathGraph/Tree`
Super-classes	sorepmg:Graph^c

undirected graph^c

URI	`http://sweetontology.net/reprMathGraph/UndirectedGraph`
Super-classes	sorepmg:Graph^c

unordered vertex pair^c

URI	`http://sweetontology.net/reprMathGraph/UnorderedVertexPair`
Super-classes	sorepm:UnorderedPair^c
Restrictions	sorelm:eachElementHasType^op only sorepmg:Vertex^c

vertex^c

URI	`http://sweetontology.net/reprMathGraph/Vertex`
Super-classes	sorepm:Point^c sorepmg:StructuralComponent^c
Sub-classes	sorepmg:IsolatedVertex^c

vertice^c

URI	`http://sweetontology.net/reprMathGraph/Vertice`

weighted edge^c

URI	`http://sweetontology.net/reprMathGraph/WeightedEdge`
Super-classes	sorepmg:Edge^c
Restrictions	sorelm:hasWeight^dp exactly 1

Model^c

URI	`http://sweetontology.net/reprSciModel/Model`
Sub-classes	sorepmg:StructuralModel^c

Path^c

URI	`http://sweetontology.net/reprSpaceGeometry/Path`
Sub-classes	sorepmg:Cycle^c

eachElementHasType^op

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

hasArc^op

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

hasEdge^op

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

hasOrderedVertexPair^op

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

hasUnorderedVertexPair^op

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

hasVertex^op

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

hasWeightedEdge^op

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

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

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/
sorepm: http://sweetontology.net/reprMath/
sorepmg: http://sweetontology.net/reprMathGraph/
sorepsg: http://sweetontology.net/reprSpaceGeometry/
sorepsmo: http://sweetontology.net/reprSciModel/
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 Graph

Metadata

Table of Contents

Overview

Classes ↑

arcc

circuitc

connected graphc

cyclec

digraphc

directed graphc

edgec

forestc

graphc

isolated vertexc

leaf nodec

loopc

networkc

nodec

ordered vertex pairc

pathc

structural componentc

structural modelc

treec

undirected graphc

unordered vertex pairc

vertexc

verticec

weighted edgec

Modelc

Pathc

Object Properties ↑

eachElementHasTypeop

hasArcop

hasEdgeop

hasOrderedVertexPairop

hasUnorderedVertexPairop

hasVertexop

hasWeightedEdgeop

Datatype Properties ↑

hasWeightdp

Named Individuals ↑

Namespaces ↑

Legend

arc^c

circuit^c

connected graph^c

cycle^c

digraph^c

directed graph^c

edge^c

forest^c

graph^c

isolated vertex^c

leaf node^c

loop^c

network^c

node^c

ordered vertex pair^c

path^c

structural component^c

structural model^c

tree^c

undirected graph^c

unordered vertex pair^c

vertex^c

vertice^c

weighted edge^c

Model^c

Path^c

eachElementHasType^op

hasArc^op

hasEdge^op

hasOrderedVertexPair^op

hasUnorderedVertexPair^op

hasVertex^op

hasWeightedEdge^op

hasWeight^dp