# Baserock Definitions schema, version -1

# This ontology teases out a simple formal model of the data represention
# aspect of the Baserock definitions format (v5).
#
# It's not a great example of an ontology, because it models a generic problem
# using terms and a data model tied closely to how a couple of specific tools
# work. In future we need to produce a more general-purpose model. I hope
# this schema is a useful step towards doing that.


# Things you can do with this:

# Check it is valid:
#  rapper -i turtle baserock-owl-schema.turtle
#
# Visualise it in a rubbish way:
#  rapper -i turtle -o dot baserock-owl-schema.turtle | dot -Tpng > schema.png
#
# Edit with Protégé:
#  just open it in protege, it can save to Turtle format as well but will lose
#  comments and formatting.


## Entities

@prefix : <http://baserock.org/definitions/example-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

:Morphology a owl:Class .

:Cluster a owl:Class ;
   rdfs:subClassOf :morphology .

:SystemDeployment a owl:Class .

:System a owl:Class ;
   rdfs:subClassOf :morphology .

:Stratum a owl:Class ;
   rdfs:subClassOf :morphology .

:ChunkReference a owl:Class .

:Chunk a owl:Class ;
   rdfs:subClassOf :morphology .


## Shared properties

:hasName a owl:DatatypeProperty , owl:FunctionalProperty ;
  rdfs:domain :Morphology ;
  rdfs:range xsd:string .

:hasDescription a owl:DatatypeProperty , owl:FunctionalProperty ;
  rdfs:domain :Morphology ;
  rdfs:range xsd:string .


## Cluster-specific properties

:containsSystemDeployment a owl:ObjectProperty ;
  rdfs:domain :Cluster ;
  rdfs:range :SystemDeployment .


## SystemDeployment-specific properties

:deploysSystem a owl:ObjectProperty , owl:FunctionalProperty ;
  rdfs:domain :SystemDeployment ;
  rdfs:range :System .

:hasLabel a owl:DatatypeProperty , owl:FunctionalProperty ;
  rdfs:domain :SystemDeployment ;
  rdfs:range xsd:string .

:hasType a owl:DatatypeProperty , owl:FunctionalProperty ;
  rdfs:domain :SystemDeployment ;
  rdfs:range xsd:string .

:hasLocation a owl:DatatypeProperty , owl:FunctionalProperty ;
  rdfs:domain :SystemDeployment ;
  rdfs:range xsd:string .

# FIXME: this is actually a key-value mapping, how do you do that?
:hasConfigurationSetting a owl:DatatypeProperty ;
  rdfs:domain :SystemDeployment ;
  rdfs:range xsd:string .


## System-specific properties

:containsStratum a owl:ObjectProperty ;
  rdfs:domain :System ;
  rdfs:range :Stratum .

:hasArchitecture a owl:DatatypeProperty, owl:FunctionalProperty ;
  rdfs:domain :System ;
  rdfs:range xsd:string .

:hasConfigurationExtension a owl:DatatypeProperty ;
  rdfs:domain :System ;
  rdfs:range xsd:string .


## Stratum-specific properties

:hasStratumBuildDependency a owl:ObjectProperty ;
  rdfs:domain :Stratum ;
  rdfs:range :Stratum .

:containsChunkReference a owl:ObjectProperty ;
  rdfs:domain :Stratum ;
  rdfs:range :Chunk .


## ChunkReference-specific properties

:refersToChunk a owl:ObjectProperty , owl:FunctionalProperty ;
  rdfs:domain :ChunkReference ;
  rdfs:range :Chunk .

:repo a owl:DatatypeProperty , owl:FunctionalProperty ;
  rdfs:domain :ChunkReference ;
  rdfs:range xsd:string .

:ref a owl:DatatypeProperty , owl:FunctionalProperty ;
  rdfs:domain :ChunkReference ;
  rdfs:range xsd:string .

:unpetrifyRef a owl:DatatypeProperty , owl:FunctionalProperty ;
  rdfs:domain :ChunkReference ;
  rdfs:range xsd:string .

:hasChunkBuildDependency a owl:ObjectProperty ;
  rdfs:domain :ChunkReference ;
  rdfs:range :Chunk .


## Chunk-specific properties

# build-system isn't included here, as it overlaps with the *-commands
# fields in an unfortunate way.

# FIXME: how do you do lists ??