@prefix gist: <https://w3id.org/semanticarts/ns/ontology/gist/> .
@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 skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

gist:Offer rdfs:subClassOf gist:ContingentObligation ;
    owl:equivalentClass [ a owl:Class ;
            owl:intersectionOf ( gist:ContingentObligation [ a owl:Restriction ;
                        owl:onProperty gist:hasGiver ;
                        owl:someValuesFrom [ a owl:Class ;
                                owl:unionOf ( gist:Organization gist:Person ) ] ] [ a owl:Restriction ;
                        owl:onProperty gist:offersToProvide ;
                        owl:someValuesFrom owl:Thing ] [ a owl:Restriction ;
                        owl:onProperty gist:offersToReceive ;
                        owl:someValuesFrom owl:Thing ] [ a owl:Restriction ;
                        owl:onProperty gist:plannedEndDateTime ;
                        owl:someValuesFrom xsd:dateTime ] [ a owl:Restriction ;
                        owl:onProperty gist:plannedStartDateTime ;
                        owl:someValuesFrom xsd:dateTime ] ) ] .

gist:ContingentObligation a owl:Class ;
    rdfs:label "Contingent Obligation"^^xsd:string ;
    rdfs:comment "DEFINITION: An obligation that is not yet firm. There is some contingent event whose occurrence will cause the obligation to become firm."^^xsd:string,
        "NOTE: A contingent obligation might have a getter counterparty (as in the case of insurance); but it might not (as in the case of an offer)."^^xsd:string ;
    rdfs:isDefinedBy <https://w3id.org/semanticarts/ontology/gistCore14.1.0> ;
    rdfs:subClassOf gist:Commitment ;
    owl:equivalentClass [ a owl:Class ;
            owl:intersectionOf ( gist:Commitment [ a owl:Restriction ;
                        owl:onProperty gist:hasGiver ;
                        owl:someValuesFrom [ a owl:Class ;
                                owl:unionOf ( gist:Organization gist:Person ) ] ] [ a owl:Restriction ;
                        owl:onProperty gist:isTriggeredBy ;
                        owl:someValuesFrom gist:Event ] ) ] ;
    skos:definition "An obligation that is not yet firm. There is some contingent event whose occurrence will cause the obligation to become firm."^^xsd:string ;
    skos:prefLabel "Contingent Obligation"^^xsd:string ;
    skos:scopeNote "A contingent obligation might have a getter counterparty (as in the case of insurance); but it might not (as in the case of an offer)."^^xsd:string .