qualityvalue

IRI: http://draft.ottr.xyz/i17/qualityvalue

Available formats

Specification

@prefix : <http://draft.ottr.xyz/i17/qualityvalue#> .
@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/i17/qualityvalue( :X : 1 class , :hasQuality : 1 objectProperty , :uom : 1 individual , "99"^^xsd:integer : 1 literal )
  ::
  ( :hasDatum , rdf:type , owl:ObjectProperty )
  ( _:b1 , rdf:type , owl:Restriction )
  ( _:b1 , owl:onProperty , :hasQuality )
  ( _:b1 , owl:someValuesFrom , _:b2 )
  ( _:b3 , rdf:type , owl:Restriction )
  ( _:b3 , owl:onProperty , :hasValue )
  ( _:b3 , owl:hasValue , "99"^^xsd:integer )
  ( <_:b4, _:b3> , rdf:first , _:b4 )
  ( <_:b4, _:b3> , rdf:rest , <_:b3> )
  ( _:b4 , rdf:type , owl:Restriction )
  ( _:b4 , owl:onProperty , :hasUOM )
  ( _:b4 , owl:someValuesFrom , _:b5 )
  ( :hasUOM , rdf:type , owl:ObjectProperty )
  ( _:b6 , rdf:type , owl:Class )
  ( _:b6 , owl:intersectionOf , <_:b4, _:b3> )
  ( :uom , rdf:type , owl:NamedIndividual )
  ( :hasQuality , rdf:type , owl:ObjectProperty )
  ( _:b2 , rdf:type , owl:Restriction )
  ( _:b2 , owl:onProperty , :hasDatum )
  ( _:b2 , owl:allValuesFrom , _:b6 )
  ( <:uom> , rdf:first , :uom )
  ( <:uom> , rdf:rest , <> )
  ( :hasValue , rdf:type , owl:DatatypeProperty )
  ( :X , rdf:type , owl:Class )
  ( :X , rdfs:subClassOf , _:b1 )
  ( _:b5 , rdf:type , owl:Class )
  ( _:b5 , owl:oneOf , <:uom> )
  ( <_:b3> , rdf:first , _:b3 )
  ( <_:b3> , rdf:rest , <> ) .

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/i17/qualityvalue#> .
@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#> .

:hasDatum  a    owl:ObjectProperty .

:hasUOM  a      owl:ObjectProperty .

:uom    a       owl:NamedIndividual .

:hasQuality  a  owl:ObjectProperty .

:hasValue  a    owl:DatatypeProperty .

:X      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      :hasUOM ;
                                                                                              owl:someValuesFrom  [ a          owl:Class ;
                                                                                                                    owl:oneOf  ( :uom )
                                                                                                                  ]
                                                                                            ]
                                                                                            [ a               owl:Restriction ;
                                                                                              owl:hasValue    99 ;
                                                                                              owl:onProperty  :hasValue
                                                                                            ]
                                                                                          )
                                                                    ] ;
                                                 owl:onProperty     :hasDatum
                                               ]
                         ] .

Source

Raw source - http://draft.ottr.xyz/i17/qualityvalue:

@prefix :     <http://draft.ottr.xyz/i17/qualityvalue#> .

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

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

<http://draft.ottr.xyz/i17/qualityvalue> a owl:Ontology, ottr:Template ;
  ottr:hasParameter :pX, :pQuality, :pUOM, :pValue .

:pX        ottr:index 1; ottr:classVariable            :X .
:pQuality  ottr:index 2; ottr:objectPropertyVariable   :hasQuality .
:pUOM      ottr:index 3; ottr:individualVariable       :uom .
:pValue    ottr:index 4; ottr:literalVariable          99 .

:X           a owl:Class .
:hasQuality  a owl:ObjectProperty .
:hasDatum    a owl:ObjectProperty .
:hasUOM      a owl:ObjectProperty .
:hasValue    a owl:DatatypeProperty .
:uom         a owl:NamedIndividual .

:X a owl:Class ;
   rdfs:subClassOf
     [ a owl:Restriction ;
       owl:onProperty :hasQuality ;
       owl:someValuesFrom
         [ a owl:Restriction ;
           owl:onProperty :hasDatum ;
           owl:allValuesFrom
             [ a owl:Class ;
               owl:intersectionOf
		 ( [ a owl:Restriction ;
                     owl:onProperty :hasUOM ;
                     owl:someValuesFrom
		       [ a owl:Class ;
                         owl:oneOf ( :uom ) ] ]
                    [ a owl:Restriction ;
	                 owl:onProperty :hasValue ;
	                 owl:hasValue 99 
	            ] ) ] ] ] .