Semantics of Conjectures
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.
cs.LO↗