#
# Prefixes
#

@prefix chemprop: <http://sweet.jpl.nasa.gov/2.0/chemProperty.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 rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@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;
	rdfs:comment """Specific quantities are declared in respective ontologies, e.g. :DrugStrength and :hasDrugStrength in http://www.agfa.com/w3c/2009/drugTherapy#."""@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:Density
# phys:Pressure
# phys:Impedance
# chemprop:SubstanceConcentration sco chemprop:MassConcentration equivalentClass phys:Density sco math:Ratio sco math:Division sco math:BinaryOperation sco math:Operation
# chemprop:DissolvedConcentration sco chemprop: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, math:Ratio.

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:decimal
	].

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

quex:Fraction
	a rdfs:Class;
	rdfs:isDefinedBy quex:;
	rdfs:label """fraction"""@en;
	skos:definition """Part 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:Quantity, quex:Ratio.

# quex:MassDensity rdfs:subClassOf phys:Density.

quex:AmountOfSubstanceConcentration
	a rdfs:Class;
	rdfs:isDefinedBy quex:;
	rdfs:label """amount-of-substance concentration"""@en;
	skos:definition """Physical quantity expressing the amount of substance of something per unit of volume."""@en;
	rdfs:subClassOf quex:Quantity.

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 quex:Concentration. # chemprop:MassConcentration

#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 chemprop: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 solution."""@en;
	rdfs:subClassOf quex:Concentration. #, chemprop: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:hasPhysicalQuantity
	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:numeratorOf
	a owl:ObjectProperty;
	rdfs:isDefinedBy quex:;
	skos:definition """Specifying a ratio whereof a group is the numerator."""@en;
	rdfs:domain fos:Group;
	rdfs:range quex:Ratio.

quex:hasNumerator
	a owl:ObjectProperty;
	rdfs:isDefinedBy quex:;
	skos:definition """Specifying a group as the numerator of a ratio."""@en;
	owl:inverseOf quex:numeratorOf.

quex:denominatorOf
	a owl:ObjectProperty;
	rdfs:isDefinedBy quex:;
	skos:definition """Specifying a ratio whereof a group is the denominator."""@en;
	rdfs:domain fos:Group;
	rdfs:range quex:Ratio.

quex:hasDenominator
	a owl:ObjectProperty;
	rdfs:isDefinedBy quex:;
	skos:definition """Specifying a group as the denominator of a ratio."""@en;
	owl:inverseOf quex:denominatorOf.

quex:fractionMemberOf
	a owl:ObjectProperty;
	rdfs:isDefinedBy quex:;
	skos:definition """Specifying a percentage whereof something is a member of the fraction."""@en;
	rdfs:domain rdfs:Resource;
	rdfs:range quex:Percentage;
	owl:propertyChainAxiom (fos:memberOf quex:numeratorOf).

quex:hasFractionMember
	a owl:ObjectProperty;
	rdfs:isDefinedBy quex:;
	skos:definition """Specifying a member of the fraction of a percentage."""@en;
	owl:inverseOf quex:fractionMemberOf;
	owl:propertyChainAxiom (quex:hasNumerator fos:hasMember).

quex:totalMemberOf
	a owl:ObjectProperty;
	rdfs:isDefinedBy quex:;
	skos:definition """Specifying a percentage whereof something is a member of the total."""@en;
	rdfs:domain rdfs:Resource;
	rdfs:range quex:Percentage;
	owl:propertyChainAxiom (fos:memberOf quex:denominatorOf).

quex:hasTotalMember
	a owl:ObjectProperty;
	rdfs:isDefinedBy quex:;
	skos:definition """Specifying a member of the total of a percentage."""@en;
	owl:inverseOf quex:totalMemberOf;
	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 rdf: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.