DataCardinality

IRI: http://candidate.ottr.xyz/owl/atom/DataCardinality

Available formats

Specification

@prefix : <http://candidate.ottr.xyz/owl/atom/DataCardinality#> .
@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 t-owl-atom: <http://candidate.ottr.xyz/owl/atom/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

t-owl-atom:DataCardinality( :xRestriction : 1 nonLiteral , :xCardinalityType : 1 property , "97"^^xsd:nonNegativeInteger : 1 literal , :xProperty : 1 dataProperty , rdf:PlainLiteral : 1 datatype )
  ::
  t-owl-atom:Cardinality( :xRestriction , :xCardinalityType , "97"^^xsd:nonNegativeInteger , :xProperty )
  ( rdf:PlainLiteral , rdf:type , rdfs:Datatype )
  ( :xProperty , rdf:type , owl:DatatypeProperty )
  ( :xRestriction , owl:onDataRange , rdf:PlainLiteral ) .

Direct dependency templates

Templates instantiated in the body of this template:

Diagram of pattern

RDF graph visualisation of the expanded body:

Pattern

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

@prefix :      <http://candidate.ottr.xyz/owl/atom/DataCardinality#> .
@prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl:   <http://www.w3.org/2002/07/owl#> .
@prefix rdfs:  <http://www.w3.org/2000/01/rdf-schema#> .

rdf:PlainLiteral  a  rdfs:Datatype .

:xProperty  a   owl:DatatypeProperty .

:xRestriction  a           owl:Restriction ;
        :xCardinalityType  "97"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger> ;
        owl:onDataRange    rdf:PlainLiteral ;
        owl:onProperty     :xProperty .

Source

Raw source - http://candidate.ottr.xyz/owl/atom/DataCardinality:

@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#> .

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

@prefix t-owl-atom: <http://candidate.ottr.xyz/owl/atom/> .
@prefix t-owl-rstr: <http://candidate.ottr.xyz/owl/restriction/> .
@prefix t-owl-ax: <http://candidate.ottr.xyz/owl/axiom/> .

@prefix :     <http://candidate.ottr.xyz/owl/atom/DataCardinality#> .

t-owl-atom:DataCardinality a ottr:Template ;
    ottr:hasParameter :pRestriction, :pCardinalityType, :pCardinality, :pProperty, :pRange .

:pRestriction       ottr:index 1;  ottr:nonLiteralVariable  :xRestriction .
:pCardinalityType   ottr:index 2;  ottr:propertyVariable    :xCardinalityType .
:pCardinality       ottr:index 3;  ottr:literalVariable     "97"^^xsd:nonNegativeInteger .
:pProperty          ottr:index 4;  ottr:dataPropertyVariable    :xProperty .
:pRange             ottr:index 5;  ottr:datatypeVariable  rdf:PlainLiteral .

[] ottr:templateRef t-owl-atom:Cardinality ;
    ottr:withValues ( :xRestriction :xCardinalityType "97"^^xsd:nonNegativeInteger :xProperty ) .

:xRestriction owl:onDataRange rdf:PlainLiteral .

:xProperty a owl:DatatypeProperty .
rdf:PlainLiteral a rdfs:Datatype .