qualityRange

IRI: http://draft.ottr.xyz/o2/qualityRange

Available formats

Specification

@prefix : <http://draft.ottr.xyz/o2/qualityRange#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

http://draft.ottr.xyz/o2/qualityRange( :Thing : 1 , :hasQuality : 1 , :uom : 1 , "0.0"^^xsd:float : 1 , "99.9"^^xsd:float : 1 )
  ::
  ( _:b1 , rdf:type , owl:Restriction )
  ( _:b1 , owl:onProperty , :datumUOM )
  ( _:b1 , owl:someValuesFrom , _:b2 )
  ( :qualityDatum , rdf:type , owl:ObjectProperty )
  ( <:uom> , rdf:first , :uom )
  ( <:uom> , rdf:rest , <> )
  ( _:b2 , rdf:type , owl:Class )
  ( _:b2 , owl:oneOf , <:uom> )
  ( <_:b1, _:b3> , rdf:first , _:b1 )
  ( <_:b1, _:b3> , rdf:rest , <_:b3> )
  ( _:b4 , xsd:minInclusive , "0.0"^^xsd:float )
  ( :datumUOM , rdf:type , owl:ObjectProperty )
  ( _:b5 , rdf:type , owl:Class )
  ( _:b5 , owl:intersectionOf , <_:b1, _:b3> )
  ( _:b6 , rdf:type , owl:Restriction )
  ( _:b6 , owl:onProperty , :qualityDatum )
  ( _:b6 , owl:allValuesFrom , _:b5 )
  ( <_:b4, _:b7> , rdf:first , _:b4 )
  ( <_:b4, _:b7> , rdf:rest , <_:b7> )
  ( <_:b7> , rdf:first , _:b7 )
  ( <_:b7> , rdf:rest , <> )
  ( <_:b3> , rdf:first , _:b3 )
  ( <_:b3> , rdf:rest , <> )
  ( :Thing , rdf:type , owl:Class )
  ( :Thing , rdfs:subClassOf , _:b8 )
  ( _:b7 , xsd:maxInclusive , "99.9"^^xsd:float )
  ( _:b3 , rdf:type , owl:Restriction )
  ( _:b3 , owl:onProperty , :datumValue )
  ( _:b3 , owl:someValuesFrom , _:b9 )
  ( :datumValue , rdf:type , owl:DatatypeProperty )
  ( _:b8 , rdf:type , owl:Restriction )
  ( _:b8 , owl:onProperty , :hasQuality )
  ( _:b8 , owl:someValuesFrom , _:b6 )
  ( _:b9 , rdf:type , rdfs:Datatype )
  ( _:b9 , owl:onDatatype , xsd:float )
  ( _:b9 , owl:withRestrictions , <_:b4, _:b7> ) .

Direct dependency templates

Templates instantiated in the body of this template:

This template contains no template instances.

Diagram of pattern

RDF graph visualisation of the expanded body:

Pattern

The pattern the template represents, i.e., the expanded template body.

@prefix :      <http://draft.ottr.xyz/o2/qualityRange#> .
@prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl:   <http://www.w3.org/2002/07/owl#> .
@prefix xsd:   <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .

:qualityDatum  a  owl:ObjectProperty .

:datumUOM  a    owl:ObjectProperty .

:Thing  a                owl:Class ;
        rdfs:subClassOf  [ a                   owl:Restriction ;
                           owl:onProperty      :hasQuality ;
                           owl:someValuesFrom  [ a                  owl:Restriction ;
                                                 owl:allValuesFrom  [ a                   owl:Class ;
                                                                      owl:intersectionOf  ( [ a                   owl:Restriction ;
                                                                                              owl:onProperty      :datumUOM ;
                                                                                              owl:someValuesFrom  [ a          owl:Class ;
                                                                                                                    owl:oneOf  ( :uom )
                                                                                                                  ]
                                                                                            ]
                                                                                            [ a                   owl:Restriction ;
                                                                                              owl:onProperty      :datumValue ;
                                                                                              owl:someValuesFrom  [ a                     rdfs:Datatype ;
                                                                                                                    owl:onDatatype        xsd:float ;
                                                                                                                    owl:withRestrictions  ( [ xsd:minInclusive  "0.0"^^xsd:float ]
                                                                                                                                            [ xsd:maxInclusive  "99.9"^^xsd:float ]
                                                                                                                                          )
                                                                                                                  ]
                                                                                            ]
                                                                                          )
                                                                    ] ;
                                                 owl:onProperty     :qualityDatum
                                               ]
                         ] .

:datumValue  a  owl:DatatypeProperty .

Source

Raw source - http://draft.ottr.xyz/o2/qualityRange:

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

@prefix dc:        <http://purl.org/dc/terms/> .
@prefix skos:      <http://www.w3.org/2004/02/skos/core#> .
@prefix vann:      <http://purl.org/vocab/vann/> .

@prefix ottr:         <http://ns.ottr.xyz/templates#> .
@prefix :       <http://draft.ottr.xyz/o2/qualityRange#> .

# head:
<http://draft.ottr.xyz/o2/qualityRange> a owl:Ontology , ottr:Template ;
  ottr:withVariables ( :Thing :hasQuality :uom "0.0"^^xsd:float "99.9"^^xsd:float ) .

# body:

:qualityDatum  a  owl:ObjectProperty .
:datumUOM      a  owl:ObjectProperty .
:datumValue    a  owl:DatatypeProperty .

:Thing a owl:Class ;
  rdfs:subClassOf [ a owl:Restriction ;
    owl:onProperty :hasQuality ;
    owl:someValuesFrom [ a owl:Restriction ;
      owl:onProperty :qualityDatum ;
      owl:allValuesFrom [ a owl:Class ;
	owl:intersectionOf (
	  [ a owl:Restriction ;
	    owl:onProperty :datumUOM ;
	    owl:someValuesFrom [ a owl:Class ; owl:oneOf (:uom ) ] ]
	  [ a owl:Restriction ;
	    owl:onProperty :datumValue ;
	    owl:someValuesFrom [ a rdfs:Datatype ;
	      owl:onDatatype xsd:float ;
	      owl:withRestrictions ([ xsd:minInclusive "0.0"^^xsd:float ]
				    [ xsd:maxInclusive "99.9"^^xsd:float ]
	      ) ] ] ) ] ] ] .