AgentRole-2

IRI: http://draft.ottr.xyz/chess/AgentRole-2

Available formats

Specification

@prefix : <http://draft.ottr.xyz/chess/AgentRole-2#> .
@prefix chess: <http://draft.ottr.xyz/chess/ChessGame.ttl#> .
@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-axiom: <http://candidate.ottr.xyz/owl/axiom/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

http://draft.ottr.xyz/chess/AgentRole-2( :xAgentRole : 1 class , :xRoleProvider : 1 class )
  ::
  t-owl-axiom:SubObjectExactCardinality( :xAgentRole , "1"^^xsd:integer , _:b1 , :xRoleProvider )
  t-owl-axiom:SubObjectSomeValuesFrom( :xRoleProvider , chess:providesAgentRole , :xAgentRole )
  ( :xRoleProvider , rdf:type , owl:Class )
  ( :xAgentRole , rdf:type , owl:Class )
  ( :xAgentRole , rdfs:subClassOf , chess:AgentRole )
  ( _:b1 , owl:inverseOf , chess:providesAgentRole ) .

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://draft.ottr.xyz/chess/AgentRole-2#> .
@prefix chess: <http://draft.ottr.xyz/chess/ChessGame.ttl#> .
@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#> .

:xRoleProvider  a        owl:Class ;
        rdfs:subClassOf  [ a                   owl:Restriction ;
                           owl:onProperty      chess:providesAgentRole ;
                           owl:someValuesFrom  :xAgentRole
                         ] .

chess:providesAgentRole
        a       owl:ObjectProperty .

:xAgentRole  a           owl:Class ;
        rdfs:subClassOf  chess:AgentRole ;
        rdfs:subClassOf  [ a                         owl:Restriction ;
                           owl:onClass               :xRoleProvider ;
                           owl:onProperty            [ a              owl:ObjectProperty ;
                                                       owl:inverseOf  chess:providesAgentRole
                                                     ] ;
                           owl:qualifiedCardinality  1
                         ] .

Source

Raw source - http://draft.ottr.xyz/chess/AgentRole-2:

@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-axiom:     <http://candidate.ottr.xyz/owl/axiom/> .
@prefix t-owl-macro:     <http://candidate.ottr.xyz/owl/macro/> .
@prefix t-odp-content:   <http://candidate.ottr.xyz/odp/content/> .

@prefix chess:           <http://draft.ottr.xyz/chess/ChessGame.ttl#> .

@prefix :     <http://draft.ottr.xyz/chess/AgentRole-2#> .

<http://draft.ottr.xyz/chess/AgentRole-2>  a ottr:Template ;
  ottr:hasParameter :pAgentRole, :pRoleProvider .

:pAgentRole      ottr:index 1;  ottr:classVariable  :xAgentRole .
:pRoleProvider   ottr:index 2;  ottr:classVariable  :xRoleProvider .

:xAgentRole a owl:Class ;
  rdfs:subClassOf chess:AgentRole .

:xRoleProvider a owl:Class .

[] ottr:templateRef t-owl-axiom:SubObjectSomeValuesFrom ;
   ottr:withValues ( :xRoleProvider chess:providesAgentRole :xAgentRole ) .

[] ottr:templateRef t-owl-axiom:SubObjectExactCardinality ;
   ottr:withValues ( :xAgentRole 1 [ owl:inverseOf chess:providesAgentRole ] :xRoleProvider ) .