@prefix ns1: <http://w3id.org/opino/> .
@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 xsd: <http://www.w3.org/2001/XMLSchema#> .

ns1:Conclusion a owl:Class ;
    rdfs:label "Conclusion"@en ;
    rdfs:comment "A Predication that is concluded from another Predication. It is a defined class (Predication and isConcludedBy some Predication): a reasoner classifies a Predication here as soon as a concludesThat link points to it, so the class is never asserted by hand. It records the position of a claim in an inferential chain and says nothing about the quality of the inference or about the epistemic status of the conclusion, which are given on the Predication itself. Example: the dating of an object concluded from two stylistic observations."@en ;
    rdfs:isDefinedBy "http://w3id.org/opino/"^^xsd:anyURI ;
    rdfs:subClassOf ns1:Predication ;
    owl:equivalentClass [ a owl:Class ;
            owl:intersectionOf ( ns1:Predication [ a owl:Restriction ;
                        owl:onProperty ns1:isConcludedBy ;
                        owl:someValuesFrom ns1:Predication ] ) ] .