Mathematical concept
Classisq
isq:MathConceptURI
https://w3id.org/standards/isq/ontologies/core/MathConceptQualified Name
isq:MathConceptDefinition
A mathematical concept as defined in ISO/IEC 80000 Part 2.
Hierarchy
SHACL Constraints (1)
Shapeisq:MathConceptShape
| Property | Min | Max | Type / Class | Node Kind |
|---|---|---|---|---|
| rdf:type | 2 | — | = smart:TermEntry | — |
| dcterms:identifier | 1 | 1 | xsd:string | — |
| skosxl:prefLabel | 1 | — | smart:Term | sh:IRI |
| skosxl:altLabel | — | — | smart:Term | sh:IRI |
| skos:definition | 1 | — | rdf:langStringuniqueLang | — |
| skos:note | — | — | rdf:langString | — |
| smart:hasBindingnessType | 1 | 1 | smart:BindingnessType | sh:IRI |
| dcterms:isPartOf | 1 | 1 | sh:IRI |
Where Used (1)
- isq:MathConceptShapevia targetClass
@prefix isq: <https://w3id.org/standards/isq/ontologies/core/> .
@prefix smart: <https://w3id.org/standards/smart/ontologies/core/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
isq:MathConcept a,
owl:Class ;
rdfs:label "Mathematical concept" ;
skos:definition "A mathematical concept as defined in ISO/IEC 80000 Part 2." ;
rdfs:subClassOf smart:TermEntry
.