@prefix sub: <https://w3id.org/np/RAZWVzk0nYHkkBr6ql7crPHdXbFxM4sN3UGtQA1IpMR-8/> .
@prefix this: <https://w3id.org/np/RAZWVzk0nYHkkBr6ql7crPHdXbFxM4sN3UGtQA1IpMR-8> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix np: <http://www.nanopub.org/nschema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix vann: <http://purl.org/vocab/vann/> .
@prefix npx: <http://purl.org/nanopub/x/> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix ns1: <https://iolanta.tech/> .
@prefix orcid: <https://orcid.org/> .

sub:Head {
  this: a np:Nanopublication;
    np:hasAssertion sub:assertion;
    np:hasProvenance sub:provenance;
    np:hasPublicationInfo sub:pubinfo .
}

sub:assertion {
  owl: a owl:Ontology;
    vann:termGroup sub:_1, sub:_10, sub:_11, sub:_12, sub:_13, sub:_14, sub:_2, sub:_3,
      sub:_4, sub:_5, sub:_6, sub:_7, sub:_8, sub:_9 .
  
  owl:AllDifferent a sub:_8 .
  
  owl:AllDisjointClasses a sub:_8 .
  
  owl:AllDisjointProperties a sub:_8 .
  
  owl:Annotation a sub:_12 .
  
  owl:AnnotationProperty a sub:_12 .
  
  owl:AsymmetricProperty a sub:_2 .
  
  owl:Axiom a sub:_3 .
  
  owl:Class a sub:_14 .
  
  owl:DataRange a sub:_4 .
  
  owl:DatatypeProperty a sub:_7 .
  
  owl:DeprecatedClass a sub:_6;
    ns1:icon "🗑"@en .
  
  owl:DeprecatedProperty a sub:_6;
    ns1:icon "🗑"@en .
  
  owl:FunctionalProperty a sub:_2;
    ns1:icon "⇸"@en .
  
  owl:InverseFunctionalProperty a sub:_2;
    ns1:icon "↣"@en .
  
  owl:IrreflexiveProperty a sub:_2 .
  
  owl:NamedIndividual a sub:_8 .
  
  owl:NegativePropertyAssertion a sub:_9 .
  
  owl:Nothing a sub:_14;
    ns1:icon "⊥"@en .
  
  owl:ObjectProperty a sub:_7 .
  
  owl:Ontology a sub:_3 .
  
  owl:OntologyProperty a sub:_3 .
  
  owl:ReflexiveProperty a sub:_2 .
  
  owl:Restriction a sub:_5 .
  
  owl:SymmetricProperty a sub:_2 .
  
  owl:Thing a sub:_14;
    ns1:icon "⊤"@en .
  
  owl:TransitiveProperty a sub:_2 .
  
  owl:allValuesFrom a sub:_5;
    ns1:icon "∀"@en .
  
  owl:annotatedProperty a sub:_12 .
  
  owl:annotatedSource a sub:_12 .
  
  owl:annotatedTarget a sub:_12 .
  
  owl:assertionProperty a sub:_9 .
  
  owl:backwardCompatibleWith a sub:_13;
    ns1:icon "✓"@en .
  
  owl:bottomDataProperty a sub:_7;
    ns1:icon "↥"@en .
  
  owl:bottomObjectProperty a sub:_7;
    ns1:icon "↥"@en .
  
  owl:cardinality a sub:_11 .
  
  owl:complementOf a sub:_1;
    ns1:icon "¬"@en .
  
  owl:datatypeComplementOf a sub:_4;
    ns1:icon "¬"@en .
  
  owl:deprecated a sub:_6;
    ns1:icon "🗑"@en .
  
  owl:differentFrom a sub:_8;
    ns1:icon "≠"@en .
  
  owl:disjointUnionOf a sub:_1 .
  
  owl:disjointWith a sub:_1 .
  
  owl:distinctMembers a sub:_8 .
  
  owl:equivalentClass a sub:_1;
    ns1:icon "≡"@en .
  
  owl:equivalentProperty a sub:_10;
    ns1:icon "⇶"@en .
  
  owl:hasKey a sub:_1 .
  
  owl:hasSelf a sub:_5 .
  
  owl:hasValue a sub:_5 .
  
  owl:imports a sub:_3 .
  
  owl:incompatibleWith a sub:_13;
    ns1:icon "✗"@en .
  
  owl:intersectionOf a sub:_1;
    ns1:icon "⊓"@en .
  
  owl:inverseOf a sub:_10 .
  
  owl:maxCardinality a sub:_11;
    ns1:icon "⩽"@en .
  
  owl:maxQualifiedCardinality a sub:_11 .
  
  owl:members a sub:_8 .
  
  owl:minCardinality a sub:_11;
    ns1:icon "⩾"@en .
  
  owl:minQualifiedCardinality a sub:_11 .
  
  owl:onClass a sub:_5 .
  
  owl:onDataRange a sub:_5 .
  
  owl:onDatatype a sub:_5 .
  
  owl:onProperties a sub:_5 .
  
  owl:onProperty a sub:_5 .
  
  owl:oneOf a sub:_1 .
  
  owl:priorVersion a sub:_13;
    ns1:icon "⎗"@en .
  
  owl:propertyChainAxiom a sub:_10;
    ns1:icon "∘"@en .
  
  owl:propertyDisjointWith a sub:_10 .
  
  owl:qualifiedCardinality a sub:_11 .
  
  owl:sameAs a sub:_8 .
  
  owl:someValuesFrom a sub:_5;
    ns1:icon "∃"@en .
  
  owl:sourceIndividual a sub:_9 .
  
  owl:targetIndividual a sub:_9 .
  
  owl:targetValue a sub:_9 .
  
  owl:topDataProperty a sub:_7;
    ns1:icon "↧"@en .
  
  owl:topObjectProperty a sub:_7;
    ns1:icon "↧"@en .
  
  owl:unionOf a sub:_1;
    ns1:icon "⊔"@en .
  
  owl:versionIRI a sub:_13 .
  
  owl:versionInfo a sub:_13 .
  
  owl:withRestrictions a sub:_4 .
  
  sub:_1 rdfs:label "Class expressions"@en .
  
  sub:_10 rdfs:label "Property relations"@en .
  
  sub:_11 rdfs:label "Cardinality"@en .
  
  sub:_12 rdfs:label "Annotations"@en .
  
  sub:_13 rdfs:label "Versions"@en .
  
  sub:_14 rdfs:label "Classes"@en .
  
  sub:_2 rdfs:label "Property characteristics"@en .
  
  sub:_3 rdfs:label "Ontologies"@en .
  
  sub:_4 rdfs:label "Data ranges"@en .
  
  sub:_5 rdfs:label "Restrictions"@en .
  
  sub:_6 rdfs:label "Deprecated"@en .
  
  sub:_7 rdfs:label "Property classes"@en .
  
  sub:_8 rdfs:label "Individuals"@en .
  
  sub:_9 rdfs:label "Assertions"@en .
}

sub:provenance {
  sub:assertion rdfs:label "OWL terms by type"@en;
    prov:generatedAtTime "2026-09-27T09:23:57.491395"^^xsd:dateTime;
    ns1:visualizes owl: .
}

sub:pubinfo {
  this: <http://purl.org/dc/terms/created> "2026-09-27T09:23:57.508Z"^^xsd:dateTime;
    prov:generatedAtTime "2026-09-27T09:23:57.491395"^^xsd:dateTime;
    prov:wasAttributedTo orcid:0009-0001-8740-4213 .
  
  sub:sig npx:hasAlgorithm "RSA";
    npx:hasPublicKey "MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA79G1aksiLFmT7Lco5+qLImUeO0Dfli7k1R76QYoVtuMV0w4fQdv9oLXGGpLZ7U25pH7j2UHKk2R/4LSwoZCeMvIdbSfLpxTOSjD9scUiJWjwPHLH7/e946ENlhi52GANdYMGa+FxEQGR9HiHIoYn99AYUcYqkJ7qeOgXMJdkL6vZACdzeepAGajgC/jiscJuxmBtWCoqqi0GnG0AIXq14E9VgscSMLZ63i30mKDWwSZF1FFBLUHDSV+CLaFKBfjsGzVVU85jlYSWJ2E0FJ+w0cRnNB3B2bmPI7miy7okzQIqagEHop4bbaPmbgG5uMX2lMgb6RX0oU5hqU4B8FwHUwIDAQAB";
    npx:hasSignature "xAPCxpqMPVARmm1tvOQKcgvjx66TH3Q19JP7Iqjq1ihPBcy1pCQ02ugnfqkOH8omihHjPAwVI4YmhjmxslbXCH3aPfRYZvtBzHMJGltpWKjIwLwVTrqxB+r+WdVXwYP/iHJ1Td0+0W/hxxwfDazyBXJ9dRg45YdeRDjRlFvUD2DUhZLprdBDyzK5dBIX/LJhsBJ9ixl+qkG+0WnQ0Sw0RzvZst5K9Ah2huqaeRtsg1kq2fE1tYOmVs9NxwGyGSeztgC1kP+DH0PiDHC0QLhhI2B4fLvE0jN+N2KmTqyba++xz1YavlAd42uftK9+2+bsE8idzuyTf4ua82iwqypRQQ==";
    npx:hasSignatureTarget this: .
}