Work in progress

<rdf:RDF
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:j.0="http://purl.org/dc/terms/"
    xmlns:j.1="http://qudt.org/schema/qudt/"
    xmlns:j.2="http://www.linkedmodel.org/schema/dtype#"
    xmlns:owl="http://www.w3.org/2002/07/owl#"
    xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > 
  <rdf:Description rdf:about="http://qudt.org/schema/qudt/CT_FINITE">
    <j.0:description rdf:datatype="http://qudt.org/schema/qudt/LatexString">Any set $X$ with cardinality less than that of the natural numbers, or $| X | \\; &lt;  \; | \\mathbb N | $, is said to be a finite set.</j.0:description>
    <rdfs:isDefinedBy rdf:resource="http://qudt.org/2.1/schema/qudt"/>
    <rdf:type rdf:resource="http://qudt.org/schema/qudt/CardinalityType"/>
    <j.0:description rdf:datatype="http://qudt.org/schema/qudt/LatexString">
  Any set $X$ with cardinality less than that of the natural numbers, or $| X | \\; &lt;  \; | \\mathbb N | $, is said to be a finite set.
  </j.0:description>
    <j.2:literal>finite</j.2:literal>
    <rdfs:isDefinedBy rdf:resource="http://qudt.org/2.1/schema/shacl/datatype"/>
    <rdfs:label>Finite Cardinality Type</rdfs:label>
  </rdf:Description>
</rdf:RDF>

@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://qudt.org/schema/qudt/CT_FINITE>
  rdf:type <http://qudt.org/schema/qudt/CardinalityType> ;
  <http://purl.org/dc/terms/description> """
  Any set $X$ with cardinality less than that of the natural numbers, or $| X | \\\\; <  \\; | \\\\mathbb N | $, is said to be a finite set.
  """^^<http://qudt.org/schema/qudt/LatexString> ;
  <http://purl.org/dc/terms/description> "Any set $X$ with cardinality less than that of the natural numbers, or $| X | \\\\; <  \\; | \\\\mathbb N | $, is said to be a finite set."^^<http://qudt.org/schema/qudt/LatexString> ;
  <http://www.linkedmodel.org/schema/dtype#literal> "finite" ;
  rdfs:isDefinedBy <http://qudt.org/2.1/schema/qudt> ;
  rdfs:isDefinedBy <http://qudt.org/2.1/schema/shacl/datatype> ;
  rdfs:label "Finite Cardinality Type" ;
.

{"resource":"Finite Cardinality Type" 
 ,"qname":"qudt:CT_FINITE" 
 ,"uri":"http:\/\/qudt.org\/schema\/qudt\/CT_FINITE" 
 ,"properties":["description":"\n  Any set $X$ with cardinality less than that of the natural numbers, or $| X | \\\\; <  \\; | \\\\mathbb N | $, is said to be a finite set.\n  " 
    ,"description":"Any set $X$ with cardinality less than that of the natural numbers, or $| X | \\\\; <  \\; | \\\\mathbb N | $, is said to be a finite set." 
    ,"isDefinedBy":"<http:\/\/qudt.org\/2.1\/schema\/qudt>" 
    ,"isDefinedBy":"<http:\/\/qudt.org\/2.1\/schema\/shacl\/datatype>" 
    ,"label":"Finite Cardinality Type" 
    ,"literal":"finite" 
    ,"type":"qudt:CardinalityType" 
    ]}

{
  "@id" : "http://qudt.org/schema/qudt/CT_FINITE",
  "@type" : "http://qudt.org/schema/qudt/CardinalityType",
  "description" : [ "Any set $X$ with cardinality less than that of the natural numbers, or $| X | \\\\; <  \\; | \\\\mathbb N | $, is said to be a finite set.", "\n  Any set $X$ with cardinality less than that of the natural numbers, or $| X | \\\\; <  \\; | \\\\mathbb N | $, is said to be a finite set.\n  " ],
  "literal" : "finite",
  "isDefinedBy" : [ "http://qudt.org/2.1/schema/qudt", "http://qudt.org/2.1/schema/shacl/datatype" ],
  "label" : "Finite Cardinality Type",
  "@context" : {
    "description" : {
      "@id" : "http://purl.org/dc/terms/description",
      "@type" : "http://qudt.org/schema/qudt/LatexString"
    },
    "isDefinedBy" : {
      "@id" : "http://www.w3.org/2000/01/rdf-schema#isDefinedBy",
      "@type" : "@id"
    },
    "literal" : {
      "@id" : "http://www.linkedmodel.org/schema/dtype#literal"
    },
    "label" : {
      "@id" : "http://www.w3.org/2000/01/rdf-schema#label"
    },
    "rdf" : "http://www.w3.org/1999/02/22-rdf-syntax-ns#",
    "owl" : "http://www.w3.org/2002/07/owl#",
    "xsd" : "http://www.w3.org/2001/XMLSchema#",
    "rdfs" : "http://www.w3.org/2000/01/rdf-schema#"
  }
}