Assertion

http://w3id.org/opino/Assertion

as defined in OPINO - OPinions and INterpretations Ontology

version info
0.2.0
version
imports
Title
OPINO - OPinions and INterpretations Ontology
Description
OPINO is a DOLCE+DnS Ultralite-based ontology design pattern for representing scholarly opinions and interpretations in cultural heritage knowledge graphs. An Opinion is an information object that expresses a Predicative Content, a collection of Predications (reified claims). Each Predication is a situation with a subject, a predicate and an object, read through a claim-type Description and, where relevant, holding at a time. Epistemic status, confidence and certainty attach to each Predication, so the claims of an Opinion are qualified individually, or to the Predicative Content as a default for its members; the subclasses Assertion, Belief, Hypothesis and Conjecture classify Predications by status, and Reference marks a claim reported from another source. Argumentative relations (supports, evidences, conflicts with, negates, concludes that) link Predications, and hasAuthor shortcuts the provenance path from an Opinion to its author. Informed by the DOLCE epistemic layer (Masolo et al.) and the MITE observation ontology (Sanfilippo et al.), and aligned with HiCO, PROV-O, RDF reification and CRMinf. Developed within the INFINITY project (Horizon Europe, grant agreement no. 101233051). Competency questions with SPARQL queries and a worked example are in the documentation linked from dcterms:source.
Creator
Andrea Schimmenti
Publisher
License
Rights
Released under the Creative Commons Attribution 4.0 International licence (CC BY 4.0).
Source
see also
Alternative Title
OPINO
Bibliographic Citation
Schimmenti, A. (2026). OPINO - OPinions and INterpretations Ontology, version 0.2.0. Alma Mater Studiorum - Università di Bologna. http://w3id.org/opino/0.2.0
code repository
Date Created
2026-04-30
Date Issued
2026-10-21
Date Modified
2026-10-24
history note
Successor of the working draft PINO (Propositional Interpretation of situatioNs Ontology, v0.1.0, 2026-04-30). Versioning restarted at 0.2.0 for the first public release.
image
Language
en
logo
preferred namespace prefix
opino
preferred namespace uri
http://w3id.org/opino/
References
status
Subject
cultural heritage
epistemic status
knowledge graphs
scholarly interpretation
Other visualisation
WebVOWL Source
Export
Turtle RDF/XML JSON-LD N-Triples

Assertion
c

IRI: http://w3id.org/opino/Assertion

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
is disjoint with
Beliefc,
Hypothesisc,
Conjecturec,
Referencec
is defined by
http://w3id.org/opino/
is equivalent to
(
Predicationc
and
has epistemic statusop
value
Assertion valueni
)
is sub class of
Predicationc
label
Assertion
en

@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: {
    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 _:n05e38e3e681e41e3bf5572b0d4808b50b25 .

    _:n05e38e3e681e41e3bf5572b0d4808b50b55 a owl:AllDisjointClasses ;
        owl:members _:n05e38e3e681e41e3bf5572b0d4808b50b56 .

    _:n05e38e3e681e41e3bf5572b0d4808b50b25 a owl:Class ;
        owl:intersectionOf _:n05e38e3e681e41e3bf5572b0d4808b50b27 .

    _:n05e38e3e681e41e3bf5572b0d4808b50b26 a owl:Restriction ;
        owl:hasValue ns1:assertionValue ;
        owl:onProperty ns1:hasEpistemicStatus .

    _:n05e38e3e681e41e3bf5572b0d4808b50b27 rdf:first ns1:Predication ;
        rdf:rest _:n05e38e3e681e41e3bf5572b0d4808b50b28 .

    _:n05e38e3e681e41e3bf5572b0d4808b50b28 rdf:first _:n05e38e3e681e41e3bf5572b0d4808b50b26 ;
        rdf:rest () .

    _:n05e38e3e681e41e3bf5572b0d4808b50b56 rdf:first ns1:Assertion ;
        rdf:rest _:n05e38e3e681e41e3bf5572b0d4808b50b57 .

    _:n05e38e3e681e41e3bf5572b0d4808b50b57 rdf:first ns1:Belief ;
        rdf:rest _:n05e38e3e681e41e3bf5572b0d4808b50b58 .

    _:n05e38e3e681e41e3bf5572b0d4808b50b58 rdf:first ns1:Hypothesis ;
        rdf:rest _:n05e38e3e681e41e3bf5572b0d4808b50b59 .

    _:n05e38e3e681e41e3bf5572b0d4808b50b59 rdf:first ns1:Conjecture ;
        rdf:rest _:n05e38e3e681e41e3bf5572b0d4808b50b60 .

    _:n05e38e3e681e41e3bf5572b0d4808b50b60 rdf:first ns1:Reference ;
        rdf:rest () .
}


[
  {
    "@graph": [
      {
        "@id": "_:n05e38e3e681e41e3bf5572b0d4808b50b55",
        "@type": [
          "http://www.w3.org/2002/07/owl#AllDisjointClasses"
        ],
        "http://www.w3.org/2002/07/owl#members": [
          {
            "@list": [
              {
                "@id": "http://w3id.org/opino/Assertion"
              },
              {
                "@id": "http://w3id.org/opino/Belief"
              },
              {
                "@id": "http://w3id.org/opino/Hypothesis"
              },
              {
                "@id": "http://w3id.org/opino/Conjecture"
              },
              {
                "@id": "http://w3id.org/opino/Reference"
              }
            ]
          }
        ]
      },
      {
        "@id": "http://w3id.org/opino/Assertion",
        "@type": [
          "http://www.w3.org/2002/07/owl#Class"
        ],
        "http://www.w3.org/2000/01/rdf-schema#comment": [
          {
            "@language": "en",
            "@value": "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."
          }
        ],
        "http://www.w3.org/2000/01/rdf-schema#isDefinedBy": [
          {
            "@type": "http://www.w3.org/2001/XMLSchema#anyURI",
            "@value": "http://w3id.org/opino/"
          }
        ],
        "http://www.w3.org/2000/01/rdf-schema#label": [
          {
            "@language": "en",
            "@value": "Assertion"
          }
        ],
        "http://www.w3.org/2000/01/rdf-schema#subClassOf": [
          {
            "@id": "http://w3id.org/opino/Predication"
          }
        ],
        "http://www.w3.org/2002/07/owl#equivalentClass": [
          {
            "@id": "_:n05e38e3e681e41e3bf5572b0d4808b50b25"
          }
        ]
      },
      {
        "@id": "_:n05e38e3e681e41e3bf5572b0d4808b50b25",
        "@type": [
          "http://www.w3.org/2002/07/owl#Class"
        ],
        "http://www.w3.org/2002/07/owl#intersectionOf": [
          {
            "@list": [
              {
                "@id": "http://w3id.org/opino/Predication"
              },
              {
                "@id": "_:n05e38e3e681e41e3bf5572b0d4808b50b26"
              }
            ]
          }
        ]
      },
      {
        "@id": "_:n05e38e3e681e41e3bf5572b0d4808b50b26",
        "@type": [
          "http://www.w3.org/2002/07/owl#Restriction"
        ],
        "http://www.w3.org/2002/07/owl#hasValue": [
          {
            "@id": "http://w3id.org/opino/assertionValue"
          }
        ],
        "http://www.w3.org/2002/07/owl#onProperty": [
          {
            "@id": "http://w3id.org/opino/hasEpistemicStatus"
          }
        ]
      }
    ],
    "@id": "http://w3id.org/opino/"
  }
]
_:n05e38e3e681e41e3bf5572b0d4808b50b60 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://w3id.org/opino/Reference> <http://w3id.org/opino/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b26 <http://www.w3.org/2002/07/owl#onProperty> <http://w3id.org/opino/hasEpistemicStatus> <http://w3id.org/opino/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b28 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> <http://w3id.org/opino/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b25 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> <http://w3id.org/opino/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b60 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> <http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> <http://w3id.org/opino/> .
<http://w3id.org/opino/Assertion> <http://www.w3.org/2000/01/rdf-schema#label> "Assertion"@en <http://w3id.org/opino/> .
<http://w3id.org/opino/Assertion> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> <http://w3id.org/opino/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b57 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:n05e38e3e681e41e3bf5572b0d4808b50b58 <http://w3id.org/opino/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b25 <http://www.w3.org/2002/07/owl#intersectionOf> _:n05e38e3e681e41e3bf5572b0d4808b50b27 <http://w3id.org/opino/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b56 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:n05e38e3e681e41e3bf5572b0d4808b50b57 <http://w3id.org/opino/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b59 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:n05e38e3e681e41e3bf5572b0d4808b50b60 <http://w3id.org/opino/> .
<http://w3id.org/opino/Assertion> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://w3id.org/opino/Predication> <http://w3id.org/opino/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b27 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:n05e38e3e681e41e3bf5572b0d4808b50b28 <http://w3id.org/opino/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b26 <http://www.w3.org/2002/07/owl#hasValue> <http://w3id.org/opino/assertionValue> <http://w3id.org/opino/> .
<http://w3id.org/opino/Assertion> <http://www.w3.org/2002/07/owl#equivalentClass> _:n05e38e3e681e41e3bf5572b0d4808b50b25 <http://w3id.org/opino/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b59 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://w3id.org/opino/Conjecture> <http://w3id.org/opino/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b27 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://w3id.org/opino/Predication> <http://w3id.org/opino/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b57 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://w3id.org/opino/Belief> <http://w3id.org/opino/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b56 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://w3id.org/opino/Assertion> <http://w3id.org/opino/> .
<http://w3id.org/opino/Assertion> <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> "http://w3id.org/opino/"^^<http://www.w3.org/2001/XMLSchema#anyURI> <http://w3id.org/opino/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b26 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Restriction> <http://w3id.org/opino/> .
<http://w3id.org/opino/Assertion> <http://www.w3.org/2000/01/rdf-schema#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 <http://w3id.org/opino/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b28 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:n05e38e3e681e41e3bf5572b0d4808b50b26 <http://w3id.org/opino/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b58 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://w3id.org/opino/Hypothesis> <http://w3id.org/opino/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b58 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:n05e38e3e681e41e3bf5572b0d4808b50b59 <http://w3id.org/opino/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b55 <http://www.w3.org/2002/07/owl#members> _:n05e38e3e681e41e3bf5572b0d4808b50b56 <http://w3id.org/opino/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b55 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#AllDisjointClasses> <http://w3id.org/opino/> .
← Back to full documentation