@prefix xsd: . @prefix rdf: . @prefix rdfs: . @prefix owl: . @prefix dbpedia: . @prefix dct: . @prefix schema: . @prefix sp: . @prefix void: . @prefix c: . a owl:Ontology ; dct:title "Completeness Vocabulary"@en ; dct:description "A vocabulary for completeness management in Linked Data."@en ; rdfs:seeAlso . c:CompletenessStatement a rdfs:Class ; rdfs:label "Completeness Statement"@en ; rdfs:comment "A completeness statement is a formal statement about the completeness of specific parts of a dataset."@en . c:hasComplStmt a rdf:Property ; rdfs:label "has completeness statement"@en ; rdfs:range c:CompletenessStatement . c:hasPattern a rdf:Property ; rdfs:label "has pattern"@en ; rdfs:domain c:CompletenessStatement . c:hasCondition a rdf:Property ; rdfs:label "has condition"@en ; rdfs:domain c:CompletenessStatement . c:subject a rdf:Property ; rdfs:label "subject"@en ; rdfs:subPropertyOf sp:subject . c:predicate a rdf:Property ; rdfs:label "predicate"@en ; rdfs:subPropertyOf sp:predicate . c:object a rdf:Property ; rdfs:label "object"@en ; rdfs:subPropertyOf sp:object . c:varName a rdf:Property ; rdfs:label "variable name"@en ; rdfs:subPropertyOf sp:varName . # an example of a completeness statement c:cs1 a c:CompletenessStatement ; rdfs:comment "A completeness statement of all movies directed by Quentin Tarantino."@en ; c:hasPattern [ c:subject [c:varName "m"] ; c:predicate rdf:type ; c:object schema:Movie ] ; c:hasPattern [ c:subject [c:varName "m"] ; c:predicate schema:director ; c:object dbpedia:Quentin_Tarantino] . # another example of a completeness statement c:cs2 a c:CompletenessStatement ; rdfs:comment "A completeness statement of all actors of movies directed by Quentin Tarantino."@en ; c:hasPattern [ c:subject [c:varName "m"] ; c:predicate schema:actor ; c:object [c:varName "a"] ] ; c:hasCondition [ c:subject [c:varName "m"] ; c:predicate rdf:type ; c:object schema:Movie ] ; c:hasCondition [ c:subject [c:varName "m"] ; c:predicate schema:director ; c:object dbpedia:Quentin_Tarantino] . # the hypothetical data source c:ds1 has completeness statement c:cs1 c:ds1 a void:Dataset ; c:hasComplStmt c:cs1 . ## vocabulary extension for timestamped completeness statements # the range can be a date or the infinity c:hasTimestamp a rdf:Property ; rdfs:label "has timestamp"@en ; rdfs:domain c:CompletenessStatement . # the special timestamp constant, the infinity c:infinity a rdfs:Resource . # an example of a timestamped completeness statement, the only difference to standard completeness statements is that it now has a timestamp c:tcs1 a c:CompletenessStatement ; rdfs:comment "A completeness statement of all movies directed by Quentin Tarantino up to 2014."@en ; c:hasPattern [ c:subject [c:varName "m"] ; c:predicate rdf:type ; c:object schema:Movie ] ; c:hasPattern [ c:subject [c:varName "m"] ; c:predicate schema:director ; c:object dbpedia:Quentin_Tarantino] ; c:hasTimestamp "2014-12-31"^^xsd:date . # another example of a timestamped completeness statement, this time the timestamp is the infinity (i.e., unbounded) c:tcs2 a c:CompletenessStatement ; rdfs:comment "A completeness statement of all movies directed by Charlie Chaplin regardless of the time."@en ; c:hasPattern [ c:subject [c:varName "m"] ; c:predicate rdf:type ; c:object schema:Movie ] ; c:hasPattern [ c:subject [c:varName "m"] ; c:predicate schema:director ; c:object dbpedia:Charlie_Chaplin] ; c:hasTimestamp c:infinity .