#
# Prefixes
#

@prefix chem: <http://sweet.jpl.nasa.gov/2.0/chem.owl#>.
@prefix dce: <http://purl.org/dc/elements/1.1/>.
@prefix dct: <http://purl.org/dc/terms/>.
@prefix math: <http://sweet.jpl.nasa.gov/2.0/math.owl#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix phys: <http://sweet.jpl.nasa.gov/2.0/phys.owl#>.
@prefix physDynamics: <http://sweet.jpl.nasa.gov/2.0/physDynamics.owl#>.
@prefix physThermo: <http://sweet.jpl.nasa.gov/2.0/physThermo.owl#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix skos: <http://www.w3.org/2004/02/skos/core#>.
@prefix space: <http://sweet.jpl.nasa.gov/2.0/space.owl#>.
@prefix time: <http://sweet.jpl.nasa.gov/2.0/time.owl#>.
@prefix units: <http://sweet.jpl.nasa.gov/2.0/sciUnits.owl#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.

@prefix fos: <http://eulersharp.sourceforge.net/2003/03swap/foster#>.

@prefix quex: <http://eulersharp.sourceforge.net/2003/03swap/quantitiesExtension#>.

quex:
	a owl:Ontology;
	dce:title """Quantities Extension"""@en;
	dce:creator """Hans Cools, Pieterjan De Potter"""@en;
	dce:description """Formal description of quantities, as an extension of the NASA 'SWEET' ontologies."""@en;
	dce:format """OWL Full"""@en;
	dce:identifier """quex"""@en;
	dce:language """English"""@en.

# Physical quantities declared in the NASA 'SWEET' ontologies:
# space:Length sco space:LinearExtent sco space:SpatialMeasure sco sci:Quantity
# phys:Mass sco phys:ExtensiveProperty
# time:Time
# physThermo:Temperature sco phys:PhysicalProperty
# space:Area sco space:SpatialMeasure
# space:Volume sco space:SpatialMeasure
# physDynamics:Velocity
# phys:Pressure
# phys:Impedance
# chem:SubstanceConcentration sco chem:MassConcentration equivalentClass chem:MassContent sco math:Ratio sco math:Division sco math:BinaryOperation sco math:Operation
# chem:DissolvedConcentration sco chem:MassConcentration

phys:Mass owl:disjointWith space:Volume.

quex:Quantity
	a rdfs:Class;
	rdfs:isDefinedBy quex:;
	rdfs:label """quantity"""@en;
	skos:definition """Property that can be quantified by the product of a numeric value and a unit value."""@en;
	skos:definition """Property of a phenomenon, body, or substance, where the property has a magnitude that can be expressed as a number and a reference. http://www.w3.org/2005/Incubator/w3pm/XGR-w3pm-20091008/#A"""@en.

quex:PhysicalQuantity
	a rdfs:Class;
	rdfs:isDefinedBy quex:;
	rdfs:label """physical quantity"""@en;
	skos:definition """Physical property that can be quantified by the product of a numeric value and a unit value."""@en;
	rdfs:subClassOf quex:Quantity.

quex:AmountOfSubstance
	a rdfs:Class;
	rdfs:isDefinedBy quex:;
	rdfs:label """amount of substance"""@en;
	skos:definition """Physical quantity proportional to the number of elementary entities which may be atoms, molecules, ions, electrons, or particles, the choice of which is dependent upon context and must be stated."""@en;
	rdfs:subClassOf quex:PhysicalQuantity.

quex:Surface
	a rdfs:Class;
	rdfs:isDefinedBy quex:;
	rdfs:label """surface"""@en;
	skos:definition """Any two-dimensional thing."""@en;
	rdfs:subClassOf quex:PhysicalQuantity, space:Area.

quex:Ratio
	a rdfs:Class;
	rdfs:isDefinedBy quex:;
	rdfs:label """ratio"""@en;
	skos:definition """Quantity of something as fractional representation of something else."""@en;
	rdfs:subClassOf quex:Quantity.

quex:Probability
	a rdfs:Class;
	rdfs:isDefinedBy quex:;
	rdfs:label """probability"""@en;
	skos:definition """Numerical expression of the chance of something to happen."""@en;
	rdfs:subClassOf quex:Quantity.

quex:Percentage
	a rdfs:Class;
	rdfs:isDefinedBy quex:;
	rdfs:label """percentage"""@en;
	skos:definition """Quantity of something as fractional representation of 100 of something more general."""@en;
	rdfs:subClassOf quex:Ratio;
	rdfs:subClassOf [
		a owl:Restriction;
		owl:onProperty quex:hasNumerator;
      		owl:allValuesFrom quex:Fraction
	];
	rdfs:subClassOf [
		a owl:Restriction;
		owl:onProperty quex:hasDenominator;
      		owl:allValuesFrom quex:Total
	];
	rdfs:subClassOf [
		a owl:Restriction;
		owl:onProperty quex:hasUnit;
      		owl:allValuesFrom units:percent
	];
	rdfs:subClassOf [
		a owl:Restriction;
		owl:onProperty quex:hasValue;
      		owl:allValuesFrom xsd:double
	].

quex:Fraction
	a rdfs:Class;
	rdfs:isDefinedBy quex:;
	rdfs:label """fraction"""@en;
	skos:definition """Part count of something."""@en;
	rdfs:subClassOf fos:Group.

quex:Total
	a rdfs:Class;
	rdfs:isDefinedBy quex:;
	rdfs:label """total"""@en;
	skos:definition """Full count of something."""@en;
	rdfs:subClassOf fos:Group.

quex:Frequency
	a rdfs:Class;
	rdfs:isDefinedBy quex:;
	rdfs:label """frequency"""@en;
	skos:definition """Physical quantity expressing the number of recurrent events per unit of time."""@en;
	rdfs:subClassOf quex:PhysicalQuantity.

quex:Concentration
	a rdfs:Class;
	rdfs:isDefinedBy quex:;
	rdfs:label """concentration"""@en;
	skos:definition """Physical quantity expressing the amount of something per unit of something else."""@en;
	rdfs:subClassOf quex:PhysicalQuantity.

quex:MassConcentration
	a rdfs:Class;
	rdfs:isDefinedBy quex:;
	rdfs:label """mass concentration"""@en;
	skos:definition """Physical quantity expressing the amount of mass of something per unit of something else."""@en;
	rdfs:subClassOf chem:MassConcentration, quex:Concentration.

quex:SubstanceConcentration
	a rdfs:Class;
	rdfs:isDefinedBy quex:;
	rdfs:label """substance concentration"""@en;
	skos:definition """Physical quantity expressing the amount of mass of a substance per unit of something else."""@en;
	rdfs:subClassOf chem:SubstanceConcentration,
		quex:MassConcentration.

quex:SolutionConcentration
	a rdfs:Class;
	rdfs:isDefinedBy quex:;
	rdfs:label """solution concentration"""@en;
	skos:definition """Physical quantity expressing the amount of a solute per unit of a solvent."""@en;
	rdfs:subClassOf quex:MassConcentration,
		chem:DissolvedConcentration.

quex:DigitalSize
	a rdfs:Class;
	rdfs:isDefinedBy quex:;
	rdfs:label """digital size"""@en;
	skos:definition """Physical quantity expressing the amount of information storage or communication in digital computing."""@en;
	rdfs:subClassOf quex:PhysicalQuantity;
	rdfs:subClassOf [
		a owl:Restriction;
		owl:onProperty quex:hasValue;
		owl:allValuesFrom xsd:nonNegativeInteger
	];
	rdfs:subClassOf [
		a owl:Restriction;
		owl:onProperty quex:hasUnit;
		owl:allValuesFrom [
			a owl:Restriction;
			owl:onProperty quex:unitOf;
			owl:hasValue quex:DigitalSize
		]
	].

#
#	Properties
#

# sci:hasQuantity has range sci:Quantity, no domain
# units:hasValue has domain units:Prefix.
# units:hasUnit has no domain.

quex:physicalQuantity
	a owl:ObjectProperty;
	rdfs:isDefinedBy quex:;
	skos:definition """Specifying a quantifiable physical property of something."""@en;
	rdfs:domain dct:PhysicalResource;
	rdfs:range quex:PhysicalQuantity.

quex:unitOf
	a owl:ObjectProperty;
	rdfs:isDefinedBy quex:;
	skos:definition """Specifying for which quantity a unit is used."""@en;
	rdfs:domain units:Unit;
	rdfs:range quex:Quantity.

quex:hasUnit
	a owl:ObjectProperty;
	rdfs:isDefinedBy quex:;
	skos:definition """Specifying a unit of a quantity."""@en;
	owl:inverseOf quex:unitOf.

quex:hasValue
	a owl:DatatypeProperty, owl:FunctionalProperty;
	rdfs:isDefinedBy quex:;
	skos:definition """Specifying the value of a quantity."""@en;
	skos:note """Range is not fixed."""@en;
	rdfs:domain quex:Quantity.

quex:hasNumerator
	a owl:ObjectProperty;
	rdfs:isDefinedBy quex:;
	skos:definition """Specifying a numerator of a ratio."""@en;
	rdfs:domain rdfs:Ratio;
	rdfs:range fos:Group.

quex:hasDenominator
	a owl:ObjectProperty;
	rdfs:isDefinedBy quex:;
	skos:definition """Specifying a denominator of a ratio."""@en;
	rdfs:domain rdfs:Ratio;
	rdfs:range fos:Group.

quex:hasFractionMember
	rdfs:domain quex:Percentage;
	rdfs:range rdfs:Resource;
	owl:propertyChainAxiom (quex:hasNumerator fos:hasMember).

quex:hasTotalMember
	rdfs:domain quex:Percentage;
	rdfs:range rdfs:Resource;
	owl:propertyChainAxiom (quex:hasDenominator fos:hasMember).

quex:hasPercentage
	a owl:ObjectProperty;
	rdfs:isDefinedBy quex:;
	skos:definition """Specifying a percentage of certain members of the total of members of a group."""@en;
	skos:note """Calculated in an N3 query using built-ins."""@en;
	rdfs:domain rdfs:List;
	rdfs:range quex:Percentage.

quex:percentageOf
	a owl:ObjectProperty;
	rdfs:isDefinedBy quex:;
	skos:definition """Specifying of a fraction and total of a percentage."""@en;
	owl:inverseOf quex:hasPercentage.