Conjecture

http://w3id.org/opino/Conjecture

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

Conjecture
c

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

comment
A Predication whose source entertains the claim as possible without enough evidence to assert it. It is a defined class (Predication and hasEpistemicStatus value conjectureValue), classified by the reasoner and never asserted by hand, and it is disjoint from the other status classes and from Reference.
en
is disjoint with
Assertionc,
Beliefc,
Hypothesisc,
Referencec
is defined by
http://w3id.org/opino/
is equivalent to
(
Predicationc
and
has epistemic statusop
value
Conjecture valueni
)
is sub class of
Predicationc
label
Conjecture
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:Conjecture a owl:Class ;
        rdfs:label "Conjecture"@en ;
        rdfs:comment "A Predication whose source entertains the claim as possible without enough evidence to assert it. It is a defined class (Predication and hasEpistemicStatus value conjectureValue), classified by the reasoner and never asserted by hand, and it is disjoint from the other status classes and from Reference."@en ;
        rdfs:isDefinedBy "http://w3id.org/opino/"^^xsd:anyURI ;
        rdfs:subClassOf ns1:Predication ;
        owl:equivalentClass _:n05e38e3e681e41e3bf5572b0d4808b50b33 .

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

    _:n05e38e3e681e41e3bf5572b0d4808b50b33 a owl:Class ;
        owl:intersectionOf _:n05e38e3e681e41e3bf5572b0d4808b50b35 .

    _:n05e38e3e681e41e3bf5572b0d4808b50b34 a owl:Restriction ;
        owl:hasValue ns1:conjectureValue ;
        owl:onProperty ns1:hasEpistemicStatus .

    _:n05e38e3e681e41e3bf5572b0d4808b50b35 rdf:first ns1:Predication ;
        rdf:rest _:n05e38e3e681e41e3bf5572b0d4808b50b36 .

    _:n05e38e3e681e41e3bf5572b0d4808b50b36 rdf:first _:n05e38e3e681e41e3bf5572b0d4808b50b34 ;
        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/Conjecture",
        "@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 entertains the claim as possible without enough evidence to assert it. It is a defined class (Predication and hasEpistemicStatus value conjectureValue), classified by the reasoner and never asserted by hand, and it is disjoint from the other status classes and from Reference."
          }
        ],
        "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": "Conjecture"
          }
        ],
        "http://www.w3.org/2000/01/rdf-schema#subClassOf": [
          {
            "@id": "http://w3id.org/opino/Predication"
          }
        ],
        "http://www.w3.org/2002/07/owl#equivalentClass": [
          {
            "@id": "_:n05e38e3e681e41e3bf5572b0d4808b50b33"
          }
        ]
      },
      {
        "@id": "_:n05e38e3e681e41e3bf5572b0d4808b50b33",
        "@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": "_:n05e38e3e681e41e3bf5572b0d4808b50b34"
              }
            ]
          }
        ]
      },
      {
        "@id": "_:n05e38e3e681e41e3bf5572b0d4808b50b34",
        "@type": [
          "http://www.w3.org/2002/07/owl#Restriction"
        ],
        "http://www.w3.org/2002/07/owl#hasValue": [
          {
            "@id": "http://w3id.org/opino/conjectureValue"
          }
        ],
        "http://www.w3.org/2002/07/owl#onProperty": [
          {
            "@id": "http://w3id.org/opino/hasEpistemicStatus"
          }
        ]
      }
    ],
    "@id": "http://w3id.org/opino/"
  }
]
<http://w3id.org/opino/Conjecture> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> <http://w3id.org/opino/> .
<http://w3id.org/opino/Conjecture> <http://www.w3.org/2000/01/rdf-schema#label> "Conjecture"@en <http://w3id.org/opino/> .
<http://w3id.org/opino/Conjecture> <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://w3id.org/opino/Predication> <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/> .
<http://w3id.org/opino/Conjecture> <http://www.w3.org/2002/07/owl#equivalentClass> _:n05e38e3e681e41e3bf5572b0d4808b50b33 <http://w3id.org/opino/> .
<http://w3id.org/opino/Conjecture> <http://www.w3.org/2000/01/rdf-schema#isDefinedBy> "http://w3id.org/opino/"^^<http://www.w3.org/2001/XMLSchema#anyURI> <http://w3id.org/opino/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b34 <http://www.w3.org/2002/07/owl#hasValue> <http://w3id.org/opino/conjectureValue> <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/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b36 <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/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b57 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:n05e38e3e681e41e3bf5572b0d4808b50b58 <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/Conjecture> <http://www.w3.org/2000/01/rdf-schema#comment> "A Predication whose source entertains the claim as possible without enough evidence to assert it. It is a defined class (Predication and hasEpistemicStatus value conjectureValue), classified by the reasoner and never asserted by hand, and it is disjoint from the other status classes and from Reference."@en <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/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b57 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://w3id.org/opino/Belief> <http://w3id.org/opino/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b36 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> _:n05e38e3e681e41e3bf5572b0d4808b50b34 <http://w3id.org/opino/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b34 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Restriction> <http://w3id.org/opino/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b33 <http://www.w3.org/2002/07/owl#intersectionOf> _:n05e38e3e681e41e3bf5572b0d4808b50b35 <http://w3id.org/opino/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b33 <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#Class> <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/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b35 <http://www.w3.org/1999/02/22-rdf-syntax-ns#rest> _:n05e38e3e681e41e3bf5572b0d4808b50b36 <http://w3id.org/opino/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b35 <http://www.w3.org/1999/02/22-rdf-syntax-ns#first> <http://w3id.org/opino/Predication> <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/> .
_:n05e38e3e681e41e3bf5572b0d4808b50b34 <http://www.w3.org/2002/07/owl#onProperty> <http://w3id.org/opino/hasEpistemicStatus> <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