@prefix dvex: <http://theme-e.adaptcentre.ie/dvex#> .
@prefix dave: <http://theme-e.adaptcentre.ie/dave#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

dvex:TraceableExplainability
  a	rdfs:Class, owl:Class  ;
  rdfs:subClassOf prov:Generation .

dvex:Explainability
  a	rdfs:Class, owl:Class  ;
  rdfs:subClassOf prov:Entity .

dvex:DataValueCalculation
  a	rdfs:Class, owl:Class  ;
  rdfs:subClassOf prov:Activity .

dvex:CustomWeight
  a	rdfs:Class, owl:Class  .

dvex:on
  a	rdf:Property, owl:ObjectProperty ;
  rdfs:subPropertyOf prov:wasDerivedFrom ;
  rdfs:domain dvex:Explainability ;
	rdfs:range dave:DataValue .

dvex:definedWeights
  a	rdf:Property, owl:ObjectProperty ;
  rdfs:domain dvex:TraceableExplainability ;
  rdfs:range dave:CustomWeight .

dvex:observedMeasurements
  a	rdf:Property, owl:ObjectProperty ;
  rdfs:domain dvex:TraceableExplainability ;
  rdfs:range dave:ValueMeasurement .

dvex:generatedDataValue
  a	rdf:Property, owl:DatatypeProperty ;
  rdfs:domain dvex:TraceableExplainability ;
  rdfs:range xsd:integer .

dvex:value
  a	rdf:Property, owl:DatatypeProperty ;
  rdfs:domain dvex:CustomWeight ;
  rdfs:range xsd:double .

dvex:for
  a	rdf:Property, owl:ObjectProperty ;
  rdfs:domain dvex:CustomWeight ;
  rdfs:range dave:Dimension .