@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:Assertion a owl:Class ;
    rdfs:label "Assertion"@en ;
    rdfs:comment "A Predication whose source puts the claim forward as a justified assertion. It is a defined class (Predication and hasEpistemicStatus value assertionValue): the status is asserted and a reasoner classifies the Predication here, so the class is never asserted by hand. It exists so that claims can be typed and retrieved by the attitude of the source, and it is disjoint from the other status classes and from Reference because hasEpistemicStatus is functional and a Reference carries no status."@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:hasValue ns1:assertionValue ;
                        owl:onProperty ns1:hasEpistemicStatus ] ) ] .

[] a owl:AllDisjointClasses ;
    owl:members ( ns1:Assertion ns1:Belief ns1:Hypothesis ns1:Conjecture ns1:Reference ) .