diff options
| author | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2015-07-08 18:04:48 +0100 |
|---|---|---|
| committer | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2015-07-08 18:04:48 +0100 |
| commit | e5ca3594055c382cda23a4a4b190b101a80aaa50 (patch) | |
| tree | 671f0b3683ee237d7a5daac53ec1446234f35467 | |
| parent | 053631bf52fea593be6b0f7243f58b5abedcf5c9 (diff) | |
| download | definitions-e5ca3594055c382cda23a4a4b190b101a80aaa50.tar.gz | |
schema: Mark disjoint classes
For example, you can't be both a stratum and a chunk.
Change-Id: I3ef541c747c42fc5d9fea1d704cebed2cf5cba32
| -rw-r--r-- | schema/baserock-example.schema | 21 |
1 files changed, 14 insertions, 7 deletions
diff --git a/schema/baserock-example.schema b/schema/baserock-example.schema index 1fcd4834..a9e97851 100644 --- a/schema/baserock-example.schema +++ b/schema/baserock-example.schema @@ -35,7 +35,8 @@ # # (owLint is a tool written in Scala, it is likely not packaged for your # distro, but if you install Scala and the `sbt` build tool, you can build -# and run it from sources at https://github.com/Samangan/owLint). +# and run it from sources at <https://github.com/Samangan/owLint>. The schema +# has various issues according to owLint which I haven't figured out.) # # Edit with Protégé: # just open it in protege, it can save to Turtle format as well but will lose @@ -88,19 +89,23 @@ :Cluster a owl:Class ; rdfs:subClassOf :Morphology ; - rdfs:comment "Instructions for deploying one or systems." . + rdfs:comment "Instructions for deploying one or systems." ; + owl:disjointWith :System, :Stratum, :Chunk . :System a owl:Class ; rdfs:subClassOf :Morphology ; - rdfs:comment "A collection of strata in a form that can be executed." . + rdfs:comment "A collection of strata in a form that can be executed." ; + owl:disjointWith :Cluster, :Stratum, :Chunk . :Stratum a owl:Class ; rdfs:subClassOf :Morphology ; - rdfs:comment "A set of related chunks." . + rdfs:comment "A set of related chunks." ; + owl:disjointWith :Cluster, :System, :Chunk . :Chunk a owl:Class ; rdfs:subClassOf :Morphology ; - rdfs:comment "An individual component, that can be built from a Git repository." . + rdfs:comment "An individual component, that can be built from a Git repository." ; + owl:disjointWith :Cluster, :System, :Stratum . # Container contents @@ -117,11 +122,13 @@ :StratumArtifact a owl:Class ; rdfs:subClassOf :Artifact ; - rdfs:comment "Part of the result of building a stratum." . + rdfs:comment "Part of the result of building a stratum." ; + owl:disjointWith :ChunkArtifact. :ChunkArtifact a owl:Class ; rdfs:subClassOf :Artifact ; - rdfs:comment "Part of the result of building a chunk." . + rdfs:comment "Part of the result of building a chunk." ; + owl:disjointWith :StratumArtifact. ## Shared properties |