  This paper aims to expand and detail the notion of formal semantics of
Conjectures by applying a theoretic-model approach. After a short introduction
to the concepts and basics of Conjectures, we will start from the notion of
Simple Interpretation of RDF, applying and extending the semantic rules and
conditions to fully cover the concepts and features of Conjectures.
