@prefix IAO: <http://purl.obolibrary.org/obo/IAO_> .
@prefix core: <https://w3id.org/linkml/tests/core/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix linkml: <https://w3id.org/linkml/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@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#> .

prov:wasGeneratedBy a owl:ObjectProperty,
        linkml:SlotDefinition ;
    rdfs:label "was generated by" ;
    rdfs:range core:Activity .

linkml:SubsetDefinition a owl:Class ;
    rdfs:label "subset_definition" ;
    skos:definition "the name and description of a subset" .

linkml:TypeDefinition a owl:Class ;
    rdfs:label "type_definition" ;
    skos:definition "A data type definition." .

<https://w3id.org/linkml/tests/core> a owl:Ontology ;
    rdfs:label "core" ;
    IAO:0000700 core:Activity,
        core:Agent ;
    dcterms:license "https://creativecommons.org/publicdomain/zero/1.0/" ;
    skos:definition "core schema imported by kitchen_sink    " ;
    linkml:generation_date "2021-12-17T19:23:52" ;
    linkml:metamodel_version "1.7.0" ;
    linkml:source_file "core.yaml" ;
    linkml:source_file_date "2021-12-17T19:17:36" ;
    linkml:source_file_size 1667 .

core:activity_set a owl:ObjectProperty,
        linkml:SlotDefinition ;
    rdfs:label "activity set" ;
    rdfs:range core:Activity .

core:agent_set a owl:ObjectProperty,
        linkml:SlotDefinition ;
    rdfs:label "agent set" ;
    rdfs:range core:Agent .

core:name a owl:ObjectProperty,
        linkml:SlotDefinition ;
    rdfs:label "name" ;
    rdfs:range linkml:String .

linkml:topValue a owl:DatatypeProperty ;
    rdfs:label "value" .

prov:actedOnBehalfOf a owl:ObjectProperty,
        linkml:SlotDefinition ;
    rdfs:label "acted on behalf of" ;
    rdfs:range core:Agent .

prov:endedAtTime a owl:ObjectProperty,
        linkml:SlotDefinition ;
    rdfs:label "ended at time" ;
    rdfs:range linkml:Date .

prov:startedAtTime a owl:ObjectProperty,
        linkml:SlotDefinition ;
    rdfs:label "started at time" ;
    rdfs:range linkml:Date .

prov:used a owl:ObjectProperty,
        linkml:SlotDefinition ;
    rdfs:label "used" ;
    rdfs:domain core:Activity ;
    rdfs:range linkml:String .

prov:wasAssociatedWith a owl:ObjectProperty,
        linkml:SlotDefinition ;
    rdfs:label "was associated with" ;
    rdfs:range core:Agent .

core:description a owl:ObjectProperty,
        linkml:SlotDefinition ;
    rdfs:label "description" ;
    rdfs:range linkml:String .

prov:wasInformedBy a owl:ObjectProperty,
        linkml:SlotDefinition ;
    rdfs:label "was informed by" ;
    rdfs:range core:Activity .

linkml:ClassDefinition a owl:Class ;
    rdfs:label "class_definition" ;
    skos:definition "the definition of a class or interface" .

core:id a owl:ObjectProperty,
        linkml:SlotDefinition ;
    rdfs:label "id" ;
    rdfs:range linkml:String .

core:Agent a owl:Class,
        linkml:ClassDefinition ;
    rdfs:label "agent" ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:maxQualifiedCardinality 1 ;
            owl:onClass core:Activity ;
            owl:onProperty prov:wasInformedBy ],
        [ a owl:Restriction ;
            owl:maxQualifiedCardinality 1 ;
            owl:onClass core:Agent ;
            owl:onProperty prov:actedOnBehalfOf ],
        [ a owl:Restriction ;
            owl:onClass linkml:String ;
            owl:onProperty core:id ;
            owl:qualifiedCardinality 1 ] ;
    skos:definition "a provence-generating agent" ;
    skos:exactMatch prov:Agent .

core:Activity a owl:Class,
        linkml:ClassDefinition ;
    rdfs:label "activity" ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:maxQualifiedCardinality 1 ;
            owl:onClass linkml:Date ;
            owl:onProperty prov:startedAtTime ],
        [ a owl:Restriction ;
            owl:maxQualifiedCardinality 1 ;
            owl:onClass core:Activity ;
            owl:onProperty prov:wasInformedBy ],
        [ a owl:Restriction ;
            owl:maxQualifiedCardinality 1 ;
            owl:onClass linkml:Date ;
            owl:onProperty prov:endedAtTime ],
        [ a owl:Restriction ;
            owl:onClass linkml:String ;
            owl:onProperty core:id ;
            owl:qualifiedCardinality 1 ],
        [ a owl:Restriction ;
            owl:maxQualifiedCardinality 1 ;
            owl:onClass linkml:String ;
            owl:onProperty core:description ],
        [ a owl:Restriction ;
            owl:maxQualifiedCardinality 1 ;
            owl:onClass core:Agent ;
            owl:onProperty prov:wasAssociatedWith ],
        [ a owl:Restriction ;
            owl:maxQualifiedCardinality 1 ;
            owl:onClass linkml:String ;
            owl:onProperty prov:used ] ;
    skos:definition "a provence-generating activity" ;
    skos:exactMatch prov:Activity .

linkml:SlotDefinition a owl:Class ;
    rdfs:label "slot_definition" ;
    skos:definition "the definition of a property or a slot" .


