@prefix skos:   <http://www.w3.org/2004/02/skos/core#> .
@prefix prov:   <http://www.w3.org/ns/prov#> .
@prefix dct:    <http://purl.org/dc/terms/> .
@prefix owl:    <http://www.w3.org/2002/07/owl#> .
@prefix schema: <http://schema.org/> .
@prefix dbo:    <http://dbpedia.org/ontology/> .
@prefix dbr:    <http://dbpedia.org/resource/> .
@prefix wd:     <http://www.wikidata.org/entity/> .
@prefix rdfs:   <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd:    <http://www.w3.org/2001/XMLSchema#> .

#################################################################
# Frege (agent)
#################################################################

dbr:Gottlob_Frege
    a prov:Agent ;
    rdfs:label "Gottlob Frege"@en .

#################################################################
# Source work
#################################################################

dbr:Über_Sinn_und_Bedeutung
    a dbo:WrittenWork ;
    rdfs:label "Über Sinn und Bedeutung"@de ;
    dct:creator dbr:Gottlob_Frege ;
    dct:date "1892"^^xsd:gYear .

#################################################################
# Referent: Venus (cross-dataset identity)
#################################################################

dbr:Venus
    a dbo:Planet ;
    rdfs:label "Venus"@en ;
    owl:sameAs wd:Q313 ;
    schema:sameAs <https://www.wikidata.org/wiki/Q313> ;
    schema:sameAs <https://en.wikipedia.org/wiki/Venus> .

#################################################################
# Fregean semantic distinction (SKOS concepts)
#################################################################

dbr:Sinn
    a skos:Concept ;
    skos:prefLabel "Sinn (Sense)"@en ;
    skos:definition "The mode of presentation of a referent."@en ;
    dct:creator dbr:Gottlob_Frege ;
    prov:wasDerivedFrom dbr:Über_Sinn_und_Bedeutung .

dbr:Bedeutung
    a skos:Concept ;
    skos:prefLabel "Bedeutung (Reference)"@en ;
    skos:definition "The object that a term denotes."@en ;
    dct:creator dbr:Gottlob_Frege ;
    prov:wasDerivedFrom dbr:Über_Sinn_und_Bedeutung .

#################################################################
# Linguistic expressions (Morning / Evening Star)
#################################################################

dbr:Morning_star
    a skos:Concept ;
    skos:prefLabel "Morning Star"@en ;
    skos:definition "Appearance of Venus in the morning sky."@en ;
    skos:exactMatch dbr:Venus ;
    prov:wasDerivedFrom dbr:Über_Sinn_und_Bedeutung .

dbr:Evening_star
    a skos:Concept ;
    skos:prefLabel "Evening Star"@en ;
    skos:definition "Appearance of Venus in the evening sky."@en ;
    skos:exactMatch dbr:Venus ;
    prov:wasDerivedFrom dbr:Über_Sinn_und_Bedeutung .

#################################################################
# Fregean epistemic claim (identity is informative)
#################################################################

_:identity_statement
    a prov:Entity ;
    rdfs:label "Morning Star = Evening Star (empirical identity)"@en ;
    dct:creator dbr:Gottlob_Frege ;
    prov:wasDerivedFrom dbr:Über_Sinn_und_Bedeutung ;
    skos:note "Identity is informative because Sinn differs while Bedeutung is identical (Venus)."@en .