concludes that

http://w3id.org/opino/concludesThat

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

concludes that
op

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

comment
A relation from a premise Predication to the Predication that is concluded from it. A Predication with an incoming concludesThat is classified as a Conclusion, and chains of concludesThat give the inferential path.
en
is sub property of
relates to predicationop
domain
Predicationc
range
Predicationc
is defined by
http://w3id.org/opino/
is inverse of
is concluded byop
label
concludes that
en

@prefix ns1: <http://w3id.org/opino/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

ns1: {
    ns1:concludesThat a owl:ObjectProperty ;
        rdfs:label "concludes that"@en ;
        rdfs:comment "A relation from a premise Predication to the Predication that is concluded from it. A Predication with an incoming concludesThat is classified as a Conclusion, and chains of concludesThat give the inferential path."@en ;
        rdfs:domain ns1:Predication ;
        rdfs:isDefinedBy "http://w3id.org/opino/"^^xsd:anyURI ;
        rdfs:range ns1:Predication ;
        rdfs:subPropertyOf ns1:relatesToPredication ;
        owl:inverseOf ns1:isConcludedBy .
}


[
  {
    "@graph": [
      {
        "@id": "http://w3id.org/opino/concludesThat",
        "@type": [
          "http://www.w3.org/2002/07/owl#ObjectProperty"
        ],
        "http://www.w3.org/2000/01/rdf-schema#comment": [
          {
            "@language": "en",
            "@value": "A relation from a premise Predication to the Predication that is concluded from it. A Predication with an incoming concludesThat is classified as a Conclusion, and chains of concludesThat give the inferential path."
          }
        ],
        "http://www.w3.org/2000/01/rdf-schema#domain": [
          {
            "@id": "http://w3id.org/opino/Predication"
          }
        ],
        "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": "concludes that"
          }
        ],
        "http://www.w3.org/2000/01/rdf-schema#range": [
          {
            "@id": "http://w3id.org/opino/Predication"
          }
        ],
        "http://www.w3.org/2000/01/rdf-schema#subPropertyOf": [
          {
            "@id": "http://w3id.org/opino/relatesToPredication"
          }
        ],
        "http://www.w3.org/2002/07/owl#inverseOf": [
          {
            "@id": "http://w3id.org/opino/isConcludedBy"
          }
        ]
      }
    ],
    "@id": "http://w3id.org/opino/"
  }
]
<http://w3id.org/opino/concludesThat> <http://www.w3.org/2000/01/rdf-schema#comment> "A relation from a premise Predication to the Predication that is concluded from it. A Predication with an incoming concludesThat is classified as a Conclusion, and chains of concludesThat give the inferential path."@en <http://w3id.org/opino/> .
<http://w3id.org/opino/concludesThat> <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> "http://w3id.org/opino/"^^<http://www.w3.org/2001/XMLSchema#anyURI> <http://w3id.org/opino/> .
<http://w3id.org/opino/concludesThat> <http://www.w3.org/2000/01/rdf-schema#range> <http://w3id.org/opino/Predication> <http://w3id.org/opino/> .
<http://w3id.org/opino/concludesThat> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://w3id.org/opino/relatesToPredication> <http://w3id.org/opino/> .
<http://w3id.org/opino/concludesThat> <http://www.w3.org/2000/01/rdf-schema#label> "concludes that"@en <http://w3id.org/opino/> .
<http://w3id.org/opino/concludesThat> <http://www.w3.org/2002/07/owl#inverseOf> <http://w3id.org/opino/isConcludedBy> <http://w3id.org/opino/> .
<http://w3id.org/opino/concludesThat> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#ObjectProperty> <http://w3id.org/opino/> .
<http://w3id.org/opino/concludesThat> <http://www.w3.org/2000/01/rdf-schema#domain> <http://w3id.org/opino/Predication> <http://w3id.org/opino/> .
← Back to full documentation