Connection of DocumentService and Offer

[cKlee]

This might be expressed this way:

dso:DocumentService a owl:Class ;
    rdfs:subClassOf [
        a owl:Restriction ;
        owl:onProperty daia:availableOf ;
        owl:allValuesFrom schema:Offer
    ] .

Meaning:All instances of DocumentService that have the property daia:availableOf or is connected through the inverse property daia:availableFor are also instances of the class schema:Offer.

This explicitly says that

$item daia:availableFor $interloan .
$interloan a dso:Interloan.
] .

$interloan is an instance of class schema:Offer.

@dini-ag-kim/bestandsdaten

[nichtich]

We could simply define daia:availableFor to imply a schema:Offer: gbv/daia-rdf#1

I strongly dislike any constructs in ontologies that make use of blank nodes.