@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix ws: <https://561.group/vocab#> .
@prefix prop: <https://561.group/vocab/predicate#> .
<https://561.group/vocab> a owl:Ontology ;
  rdfs:label "website-server vocabulary" ;
  rdfs:comment "Types the four-valued, citation-witnessed finite algebra this server publishes." .

ws:Subject a owl:Class ;
  rdfs:label "Subject" ;
  rdfs:comment "A thing the site holds settled claims about; its slug is its IRI." .

ws:AffirmedClaim a owl:Class ; rdfs:subClassOf rdf:Statement ;
  rdfs:label "Affirmed claim" ;
  rdfs:comment "A reified statement believed true, with prov:wasDerivedFrom its citation." .

ws:ContradictedClaim a owl:Class ; rdfs:subClassOf rdf:Statement ;
  rdfs:label "Contradicted claim" ;
  rdfs:comment "A proposition the sources disagree on (the bilattice top); carries both witnesses." .

ws:affirmedBy a owl:ObjectProperty ;
  rdfs:domain ws:ContradictedClaim ; rdfs:range prov:Entity ;
  rdfs:subPropertyOf prov:wasDerivedFrom ;
  rdfs:label "affirmed by" .

ws:deniedBy a owl:ObjectProperty ;
  rdfs:domain ws:ContradictedClaim ; rdfs:range prov:Entity ;
  rdfs:label "denied by" .