axioms.md

SOL of Life

Asteroid

Axioms

1. • Asteroid SubClassOf FeatureOfInterest
     Every Asteroid is a Feature of Interest.
2. • NearEarthAsteroid SubClassOf Asteroid
     Every NearEarthAsteroid is an Asteroid.
3. • Asteroid SubClassOf hasNumericID only xsd:int
     The scoped range of hasNumericID, scoped by Asteroid, is an xsd:integer.
4. • Asteroid SubClassOf hasNumericID exactly 1 xsd:int
     Every Asteroid has exactly 1 Numeric ID.
5. • Asteroid SubClassOf hasCommonName only rdfs:Literal
     The scoped range of hasCommonName, scoped by Asteroid, is an rdfs:Literal
6. • Asteroid SubClassOf hasCommonName max 1 rdfs:Literal
     Every Asteroid has at maximum 1 Common Name.
7. • Asteroid SubClassOf hasDiscoveryName only rdfs:Literal
     The scoped range of hasDiscoveryName, scoped by Asteroid, is an rdfs:Literal
8. • Asteroid SubClassOf hasDiscoveryName exactly 1 rdfs:Literal
     Every Asteroid has exactly 1 Discovery Name.
9. • Asteroid SubClassOf hasAsteroidClassification only AsteroidClassification
     The scoped range of hasAsteroidClassification, scoped by Asteroid, is AsteroidClassification
10. • Asteroid SubClassOf hasAsteroidClassification exactly 1 AsteroidClassification
      Every Asteroid has exactly 1 AsteroidClassification.
11. • Asteroid SubClassOf hasDistanceRecord only DistanceRecord
      The scoped range of hasDistanceRecord, scoped by Asteroid, is DistanceRecord
12. • Asteroid SubClassOf hasDistanceRecord min 0 DistanceRecord
      Every Asteroid has at minimum 0 DistanceRecord.
13. • Asteroid SubClassOf hasObservation only Observation
      The scoped range of hasObservation, scoped by Asteroid, is Observation
14. • Asteroid SubClassOf hasObservation min 1 Observation
      Every Asteroid has at minimum 1 Observation.

AsteroidClassification

Axioms

1. • AsteroidClassification SubClassOf EntityWithProvenance
     Every AsteroidClassification is an Entity With Provenance .
2. • AsteroidClassification SubClassOf hasSMASSIIClass only SMASSIIClass
     The scoped range of hasSMASSIIClass, scoped by AsteroidClassification, is SMASSIIClass.
3. • AsteroidClassification SubClassOf hasSMASSIIClass exactly 1 SMASSIIClass
     Every AsteroidClassification has exactly 1 SMASSII Class.
4. • ElementalComposition SubClassOf derivesFrom min 1 SMASSIIClass
     Every ElementalComposition is derived from at minimum 1 SMASSII Class.
5. • ElementalComposition SubClassOf hasElement only dbo:ChemicalElement
     The scoped range of hasElement, scoped by ElementalComposition, is dbo:ChemicalElement.
6. • ElementalComposition SubClassOf hasElement min 1 dbo:ChemicalElement
     Every ElementalComposition has at minimum 1 Element.
7. • SMASSIIClass SubClassOf hasElementalComposition only ElementalComposition
     The scoped range of hasElementalComposition, scoped by SMASSIIClass, is ElementalComposition.
8. • SMASSIIClass SubClassOf hasElementalComposition exactly 1 ElementalComposition
     Every SMASSIIClass has exactly 1 ElementalComposition.
9. • SMASSIIClass SubClassOf hasLabel only rdfs:Literal
     The scoped range of hasLabel, scoped by SMASSIIClass, is an rdfs:Literal.
10. • SMASSIIClass SubClassOf hasLabel exactly 1 rdfs:Literal
      Every SMASSIIClass has exactly 1 Label.

DistanceRecord

Axioms

1. • DistanceRecord SubClassOf EntityWithProvenance
     Every DistanceRecord is an Entity With Provenance.
2. • DistanceRecord SubClassOf hasResult exactly 1 Result
     Every DistanceRecord has exactly 1 Result.
3. • DistanceRecord SubClassOf hasTemporalExtent only TemporalExtent
     The scoped range of hasTemporalExtent, scoped by DistanceRecord, is TemporalExtent.
4. • DistanceRecord SubClassOf hasTemporalExtent exactly 1 TemporalExtent
     Every DistanceRecord has exactly 1 Temporal Extent.
5. • TemporalExtent SubClassOf recordedAt only xsd:dateTime
     The scoped range of recordedAt, scoped by TemporalExtent, is an xsd:date.
6. • TemporalExtent SubClassOf recordedAt exactly 1 xsd:dateTime
     Every TemporalExtent has exactly 1 xsd:date.

Entity With Provenance

Axioms

1. • EntityWithProvenance SubClassOf generatedBy only ProvenanceActivity
     The scoped range of generatedBy, scoped by EntityWithProvenance, is ProvenanceActivity.
2. • EntityWithProvenance SubClassOf generatedBy exactly 1 ProvenanceActivity
     Every EntityWithProvenance is generated by exactly 1 Provenance Activity.
3. • EntityWithProvenance SubClassOf attributedTo only Agent
     The scoped range of attributedTo, scoped by EntityWithProvenance, is Agent.
4. • EntityWithProvenance SubClassOf attributedTo exactly 1 Agent
     Every EntityWithProvenance is attributed to by exactly 1 Agent.
5. • ProvenanceActivity SubClassOf performedBy only Agent
     The scoped range of performedBy, scoped by ProvenanceActivity, is Agent.
6. • ProvenanceActivity SubClassOf performedBy exactly 1 Agent
     Every ProvenanceActivity is performed by exactly 1 Agent.
7. • ProvenanceActivity SubClassOf hasDescription only xsd:string
     The scoped range of hasDescription, scoped by ProvenanceActivity, is an xsd:string.
8. • ProvenanceActivity SubClassOf hasDescription exactly 1 xsd:string
     Every ProvenanceActivity has exactly 1 Description.
9. • Agent SubClassOf hasName only xsd:string
     The scoped range of hasName, scoped by Agent, is an xsd:string.
10. • Agent SubClassOf hasName exactly 1 xsd:string
      Every Agent has exactly 1 Name.

Observation

Axioms

1. • Observation SubClassOf hasFeatureOfInterest only Asteroid
     The scoped range of hasFeatureOfInterest, scoped by Observation, is Asteroid.
2. • Observation SubClassOf hasFeatureOfInterest exactly 1 Asteroid
     Every Observation has exactly 1 Feature of Interest, which is an Asteroid.
3. • Observation SubClassOf hasObservableProperty only ObservableProperty
     The scoped range of hasObservableProperty, scoped by Observation, is ObservableProperty.
4. • Observation SubClassOf hasObservableProperty exactly 1 ObservableProperty
     Every Observation has exactly 1 ObservableProperty.
5. • Observation SubClassOf hasResult exactly 1 Result
     Every Observation has exactly 1 Result.
6. • Observation SubClassOf EntityWithProvenance
     Every Observation is an Entity With Provenance.
7. • EconomicProperty SubClassOf ObservableProperty
     Every EconomicProperty is an Observable Property.
8. • OrbitalProperty SubClassOf ObservableProperty
     Every OrbitalProperty is an Observable Property.
9. • PhysicalProperty SubClassOf ObservableProperty
     Every PhysicalProperty is an Observable Property.

Result

Axioms

1. • Quantity SubClassOf hasQuantityValue only QuantityValue
     The scoped range of hasQuantityValue, scoped by Quantity, is QuantityValue.
2. • Quantity SubClassOf hasQuantityKind only QuantityKind
     The scoped range of hasQuantityKind, scoped by Quantity, is QuantityKind.
3. • Quantity SubClassOf hasQuantityKind exactly 1 QuantityKind
     Every Quantity has exactly 1 Quantity Kind.
4. • Result SubClassOf hasQuantity only Quantity
     The scoped range of hasQuantity, scoped by Result, is Quantity.
5. • Quantity SubClassOf hasQuantityValue exactly 1 QuantityValue
     Every Quantity has exactly 1 Quantity Value.
6. • Result SubClassOf hasQuantity exactly 1 Quantity
     Every Result has exactly 1 Quantity.
7. • QuantityValue SubClassOf hasNumericValue only xsd:double
     The scoped range of hasNumericValue, scoped by QuantityValue, is an xsd:double.
8. • QuantityValue SubClassOf hasNumericValue exactly 1 xsd:double
     Every QuantityValue has exactly 1 Numeric Value.
9. • QuantityValue SubClassOf hasUnit only Unit
     The scoped range of hasUnit, scoped by QuantityValue, is Unit.
10. • QuantityValue SubClassOf hasUnit exactly 1 Unit
      Every QuantityValue has exactly 1 Unit.
11. • Result SubClassOf inverse (hasResult) exactly 1 (Observation or DistanceRecord) Every Result belongs to exactly 1 Observation or DistanceRecord.

Remarks

• A result can be associated with a DistanceRecord or an Observation