@prefix : <https://ontology.inferal.com/modules/type-system/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix mod: <https://w3id.org/mod#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix pubacc: <https://ontology.inferal.com/modules/publication-access/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix vann: <http://purl.org/vocab/vann/> .

<https://ontology.inferal.com/modules/type-system/owl>
    a owl:Ontology, pubacc:PublicationManagedOntology ;
    dcterms:accessRights pubacc:PublicAccess ;
    owl:imports : ;
    dcterms:title "Type System Ontology - OWL Addendum" ;
    dcterms:description "OWL class and property typing layered on the RDFS Type System Ontology." ;
    dcterms:license <https://creativecommons.org/licenses/by/4.0/> ;
    dcterms:source : ;
    vann:preferredNamespacePrefix "ts" ;
    vann:preferredNamespaceUri "https://ontology.inferal.com/modules/type-system/" ;
    mod:status "draft" ;
    rdfs:label "Type System Ontology - OWL Addendum" ;
    rdfs:comment "This addendum imports the RDFS base vocabulary and adds OWL typing and transitive-property axioms for consumers that want OWL reasoning support." ;
    owl:versionInfo "0.1.0" .

:Alias a owl:Class .

:AliasDeclaration a owl:Class .

:AlternativeMatch a owl:Class .

:AnonymousTypeExpression a owl:Class .

:AnyType a owl:Class .

:ArrayExpression a owl:Class .

:ArrayType a owl:Class .

:ArrayValue a owl:Class .

:ArrayValueItem a owl:Class .

:AssignableTypeRelation a owl:Class .

:BooleanLiteralType a owl:Class .

:BooleanType a owl:Class .

:BooleanValue a owl:Class .

:BytesType a owl:Class .

:CallableSetMembership a owl:Class .

:CallableSetType a owl:Class .

:CallableType a owl:Class .

:CollectionElementTypeMatch a owl:Class .

:CollectionType a owl:Class .

:ConstValue a owl:Class .

:DataType a owl:Class .

:DateTimeType a owl:Class .

:DateType a owl:Class .

:DecimalType a owl:Class .

:Declaration a owl:Class .

:Discriminator a owl:Class .

:DiscriminatorEnvelope a owl:Class .

:DurationType a owl:Class .

:Entity a owl:Class .

:Enum a owl:Class .

:EnumMember a owl:Class .

:EnumMemberReferenceLiteralType a owl:Class .

:EnumValue a owl:Class .

:ErrorType a owl:Class .

:ExactTypeRelation a owl:Class .

:Field a owl:Class .

:FieldKey a owl:Class .

:FieldKeyKind a owl:Class .

:FieldMatch a owl:Class .

:FloatType a owl:Class .

:IndexerSlot a owl:Class .

:InitializerArgument a owl:Class .

:IntegerType a owl:Class .

:InterfaceType a owl:Class .

:IntersectionExpression a owl:Class .

:IntersectionType a owl:Class .

:IntrinsicType a owl:Class .

:LiteralKind a owl:Class .

:LiteralType a owl:Class .

:Namespace a owl:Class .

:NeverType a owl:Class .

:NonAssignableTypeRelation a owl:Class .

:NullLiteralType a owl:Class .

:NullType a owl:Class .

:NullValue a owl:Class .

:NullableType a owl:Class .

:NumericLiteralType a owl:Class .

:NumericType a owl:Class .

:NumericValue a owl:Class .

:ObjectValue a owl:Class .

:ObjectValueMember a owl:Class .

:OptionRecordType a owl:Class .

:ParameterSlot a owl:Class .

:RecordExpression a owl:Class .

:RecordMapType a owl:Class .

:RecordType a owl:Class .

:ResultSlot a owl:Class .

:Scalar a owl:Class .

:ScalarConstructorInitializer a owl:Class .

:ScalarInitializer a owl:Class .

:ScalarInitializerCall a owl:Class .

:ScalarInitializerSemanticKind a owl:Class .

:ScalarValue a owl:Class .

:StreamType a owl:Class .

:StringLiteralType a owl:Class .

:StringTemplateLiteralType a owl:Class .

:StringTemplatePart a owl:Class .

:StringType a owl:Class .

:StringValue a owl:Class .

:StructuredType a owl:Class .

:SubtypeRelation a owl:Class .

:TemplateArgument a owl:Class .

:TemplateInstantiation a owl:Class .

:TemplateParameter a owl:Class .

:TemporalKind a owl:Class .

:TemporalType a owl:Class .

:TemporalZoneSemantics a owl:Class .

:TimeType a owl:Class .

:TupleElement a owl:Class .

:TupleElementMatch a owl:Class .

:TupleExpression a owl:Class .

:TupleType a owl:Class .

:Type a owl:Class .

:TypeArgument a owl:Class .

:TypeDeclaration a owl:Class .

:TypeOfValue a owl:Class .

:TypeOrValueParameter a owl:Class .

:TypeParameter a owl:Class .

:TypeRelation a owl:Class .

:TypeRelationEvidence a owl:Class .

:TypedSlot a owl:Class .

:Union a owl:Class .

:UnionAlternative a owl:Class .

:UnionExpression a owl:Class .

:UnionVariant a owl:Class .

:UnionVariantReferenceLiteralType a owl:Class .

:UnknownType a owl:Class .

:UrlType a owl:Class .

:Value a owl:Class .

:ValueArgument a owl:Class .

:ValueDeclaration a owl:Class .

:ValueOfType a owl:Class .

:ValueParameter a owl:Class .

:Vocabulary a owl:Class .

:VoidType a owl:Class .

:additionalPropertiesRecord a owl:ObjectProperty .

:additionalPropertyType a owl:ObjectProperty .

:admittedByUnion a owl:ObjectProperty .

:aliasTarget a owl:ObjectProperty .

:alternativeMatchRelation a owl:ObjectProperty .

:alternativeType a owl:ObjectProperty .

:argumentConformance a owl:ObjectProperty .

:argumentEvaluationOrdinal a owl:DatatypeProperty .

:argumentExpression a owl:ObjectProperty .

:argumentName a owl:DatatypeProperty .

:argumentParameter a owl:ObjectProperty .

:argumentType a owl:ObjectProperty .

:argumentValue a owl:ObjectProperty .

:arrayItem a owl:ObjectProperty .

:arrayValueType a owl:ObjectProperty .

:assignableTo a owl:ObjectProperty .

:baseScalar a owl:ObjectProperty .

:booleanValue a owl:DatatypeProperty .

:collectionElementMatchRelation a owl:ObjectProperty .

:declaredType a owl:ObjectProperty .

:declares a owl:ObjectProperty .

:defaultValue a owl:ObjectProperty .

:discriminatorEnvelope a owl:ObjectProperty .

:discriminatorField a owl:ObjectProperty .

:discriminatorValue a owl:ObjectProperty .

:elementType a owl:ObjectProperty .

:enumMemberOf a owl:ObjectProperty .

:enumMemberType a owl:ObjectProperty .

:enumMemberValue a owl:ObjectProperty .

:evidenceRelation a owl:ObjectProperty .

:evidenceRule a owl:DatatypeProperty .

:evidenceSourceType a owl:ObjectProperty .

:evidenceTargetType a owl:ObjectProperty .

:fieldKey a owl:ObjectProperty .

:fieldKeyKind a owl:ObjectProperty .

:fieldMatchRelation a owl:ObjectProperty .

:fieldType a owl:ObjectProperty .

:hasAlternativeMatch a owl:ObjectProperty .

:hasCallable a owl:ObjectProperty .

:hasCollectionElementTypeMatch a owl:ObjectProperty .

:hasDeclaration a owl:ObjectProperty .

:hasDiscriminator a owl:ObjectProperty .

:hasEnumMember a owl:ObjectProperty .

:hasEvidence a owl:ObjectProperty .

:hasField a owl:ObjectProperty .

:hasFieldMatch a owl:ObjectProperty .

:hasIndexerSlot a owl:ObjectProperty .

:hasInitializer a owl:ObjectProperty .

:hasInitializerArgument a owl:ObjectProperty .

:hasParameterSlot a owl:ObjectProperty .

:hasResultSlot a owl:ObjectProperty .

:hasTemplateParameter a owl:ObjectProperty .

:hasTemplatePart a owl:ObjectProperty .

:hasTupleElementMatch a owl:ObjectProperty .

:hasTypeOrValueParameter a owl:ObjectProperty .

:hasTypeParameter a owl:ObjectProperty .

:hasUnionAlternative a owl:ObjectProperty .

:hasValueParameter a owl:ObjectProperty .

:indexerKeyType a owl:ObjectProperty .

:indexerValueType a owl:ObjectProperty .

:inferredType a owl:ObjectProperty .

:initializerArgumentFor a owl:ObjectProperty .

:initializerArgumentValue a owl:ObjectProperty .

:initializerParameter a owl:ObjectProperty .

:initializerResult a owl:ObjectProperty .

:initializerSemanticKind a owl:ObjectProperty .

:instantiates a owl:ObjectProperty .

:intersectionConstituent a owl:ObjectProperty .

:invokesInitializer a owl:ObjectProperty .

:isAnonymous a owl:DatatypeProperty .

:isBuiltInType a owl:DatatypeProperty .

:isExactType a owl:DatatypeProperty .

:isIntegralNumericValue a owl:DatatypeProperty .

:isNamedArgument a owl:DatatypeProperty .

:isOptional a owl:DatatypeProperty .

:isUserDefinedType a owl:DatatypeProperty .

:isVariadic a owl:DatatypeProperty .

:itemValue a owl:ObjectProperty .

:keyText a owl:DatatypeProperty .

:lexicalValue a owl:DatatypeProperty .

:literalBaseType a owl:ObjectProperty .

:literalKind a owl:ObjectProperty .

:literalValue a owl:DatatypeProperty .

:matchSourceAlternative a owl:ObjectProperty .

:matchSourceElementType a owl:ObjectProperty .

:matchSourceField a owl:ObjectProperty .

:matchSourceTupleElement a owl:ObjectProperty .

:matchTargetAlternative a owl:ObjectProperty .

:matchTargetElementType a owl:ObjectProperty .

:matchTargetField a owl:ObjectProperty .

:matchTargetTupleElement a owl:ObjectProperty .

:maxCount a owl:DatatypeProperty .

:maxExponent a owl:DatatypeProperty .

:maxItems a owl:DatatypeProperty .

:maxLength a owl:DatatypeProperty .

:maxValue a owl:DatatypeProperty .

:memberName a owl:DatatypeProperty .

:memberValue a owl:ObjectProperty .

:membershipCallable a owl:ObjectProperty .

:membershipSet a owl:ObjectProperty .

:minCount a owl:DatatypeProperty .

:minExponent a owl:DatatypeProperty .

:minItems a owl:DatatypeProperty .

:minLength a owl:DatatypeProperty .

:minValue a owl:DatatypeProperty .

:nullableBaseType a owl:ObjectProperty .

:numericBitWidth a owl:DatatypeProperty .

:numericMaxFiniteMagnitude a owl:DatatypeProperty .

:numericMinFiniteMagnitude a owl:DatatypeProperty .

:numericPrecisionDigits a owl:DatatypeProperty .

:numericRadix a owl:DatatypeProperty .

:numericRangeAssignableTo a owl:ObjectProperty,
        owl:TransitiveProperty .

:numericValue a owl:DatatypeProperty .

:objectMember a owl:ObjectProperty .

:ordinal a owl:DatatypeProperty .

:parameterDefaultConformance a owl:ObjectProperty .

:parameterType a owl:ObjectProperty .

:recordKeyType a owl:ObjectProperty .

:recordValueType a owl:ObjectProperty .

:relationSourceType a owl:ObjectProperty .

:relationTargetType a owl:ObjectProperty .

:resultType a owl:ObjectProperty .

:resultingType a owl:ObjectProperty .

:standardBaseScalar a owl:ObjectProperty .

:streamElementType a owl:ObjectProperty .

:stringValue a owl:DatatypeProperty .

:subtypeOf a owl:ObjectProperty,
        owl:TransitiveProperty .

:templateArgument a owl:ObjectProperty .

:templatePartConformance a owl:ObjectProperty .

:templatePartExpression a owl:ObjectProperty .

:templatePartValue a owl:ObjectProperty .

:temporalKind a owl:ObjectProperty .

:temporalZoneSemantics a owl:ObjectProperty .

:tupleElement a owl:ObjectProperty .

:tupleElementMatchRelation a owl:ObjectProperty .

:tupleElementType a owl:ObjectProperty .

:typeOfResultType a owl:ObjectProperty .

:typeOfValue a owl:ObjectProperty .

:typeParameterConstraint a owl:ObjectProperty .

:typeParameterDefaultType a owl:ObjectProperty .

:typeParameterDefaultValue a owl:ObjectProperty .

:typeParameterValueConstraint a owl:ObjectProperty .

:unionVariantOf a owl:ObjectProperty .

:valueOfBaseType a owl:ObjectProperty .

:valueType a owl:ObjectProperty .