AgentRole-8

IRI: http://candidate.ottr.xyz/odp/content/AgentRole-8

Available formats

Specification

@prefix : <http://candidate.ottr.xyz/odp/content/AgentRole-8#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix t-odp-content: <http://candidate.ottr.xyz/odp/content/> .
@prefix t-owl-axiom: <http://candidate.ottr.xyz/owl/axiom/> .
@prefix t-owl-macro: <http://candidate.ottr.xyz/owl/macro/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

t-odp-content:AgentRole-8( :xAgentRole : 1 class , :xRoleProvider : 1 class , :xprovidesRole : 1 objectProperty , :xAgent : 1 class , :xperformedBy : 1 objectProperty , :xTimeInstant : 1 class , :xstartsAtTime : 1 objectProperty , :xendsAtTime : 1 objectProperty )
  ::
  t-odp-content:AgentRole-5( :xAgentRole , :xRoleProvider , :xprovidesRole , :xAgent , :xperformedBy )
  t-owl-axiom:DisjointClasses( <:xAgentRole, :xAgent, :xTimeInstant> )
  t-owl-axiom:SubObjectExactCardinality( :xAgentRole , "1"^^xsd:integer , :xstartsAtTime , :xTimeInstant )
  t-owl-axiom:SubObjectExactCardinality( :xAgentRole , "1"^^xsd:integer , :xendsAtTime , :xTimeInstant )
  t-owl-macro:ScopedDomainRange( :xstartsAtTime , :xAgentRole , :xTimeInstant )
  t-owl-macro:ScopedDomainRange( :xendsAtTime , :xAgentRole , :xTimeInstant )
  ( :xstartsAtTime , rdf:type , owl:ObjectProperty )
  ( :xTimeInstant , rdf:type , owl:Class )
  ( :xendsAtTime , rdf:type , owl:ObjectProperty ) .

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/odp/content/AgentRole-8#> .
@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#> .

:xstartsAtTime  a  owl:ObjectProperty .

[ a            owl:AllDisjointClasses ;
  owl:members  ( :xAgentRole :xAgent )
] .

:xTimeInstant  a  owl:Class .

:xendsAtTime  a  owl:ObjectProperty .

:xRoleProvider  a  owl:Class .

:xAgentRole  a           owl:Class ;
        rdfs:subClassOf  [ a                         owl:Restriction ;
                           owl:onClass               :xTimeInstant ;
                           owl:onProperty            :xendsAtTime ;
                           owl:qualifiedCardinality  1
                         ] ;
        rdfs:subClassOf  [ a                  owl:Restriction ;
                           owl:allValuesFrom  :xTimeInstant ;
                           owl:onProperty     :xendsAtTime
                         ] ;
        rdfs:subClassOf  [ a                   owl:Restriction ;
                           owl:onProperty      [ a              owl:ObjectProperty ;
                                                 owl:inverseOf  :xprovidesRole
                                               ] ;
                           owl:someValuesFrom  :xRoleProvider
                         ] ;
        rdfs:subClassOf  [ a                  owl:Restriction ;
                           owl:allValuesFrom  :xAgent ;
                           owl:onProperty     :xperformedBy
                         ] ;
        rdfs:subClassOf  [ a                   owl:Restriction ;
                           owl:onProperty      :xperformedBy ;
                           owl:someValuesFrom  :xAgent
                         ] ;
        rdfs:subClassOf  [ a                         owl:Restriction ;
                           owl:onClass               :xTimeInstant ;
                           owl:onProperty            :xstartsAtTime ;
                           owl:qualifiedCardinality  1
                         ] ;
        rdfs:subClassOf  [ a                  owl:Restriction ;
                           owl:allValuesFrom  :xTimeInstant ;
                           owl:onProperty     :xstartsAtTime
                         ] .

[ a            owl:AllDisjointClasses ;
  owl:members  ( :xAgentRole :xAgent :xTimeInstant )
] .

:xprovidesRole  a   owl:ObjectProperty ;
        rdfs:range  :xAgentRole .

:xAgent  a      owl:Class .

[ a                   owl:Restriction ;
  rdfs:subClassOf     :xAgentRole ;
  owl:onProperty      :xendsAtTime ;
  owl:someValuesFrom  :xTimeInstant
] .

[ a                   owl:Restriction ;
  rdfs:subClassOf     :xAgentRole ;
  owl:onProperty      :xperformedBy ;
  owl:someValuesFrom  :xAgent
] .

[ a                   owl:Restriction ;
  rdfs:subClassOf     :xAgentRole ;
  owl:onProperty      :xstartsAtTime ;
  owl:someValuesFrom  :xTimeInstant
] .

:xperformedBy  a  owl:ObjectProperty .

Source

Raw source - http://candidate.ottr.xyz/odp/content/AgentRole-8:

@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 :     <http://candidate.ottr.xyz/odp/content/AgentRole-8#> .

<http://candidate.ottr.xyz/odp/content/AgentRole-8>  a ottr:Template ;
  ottr:hasParameter :pAgentRole, :pRoleProvider, :pprovidesRole, :pAgent, :pperformedBy,
    :pTimeInstant, :pstartAtTime, :pendsAtTime .

# AgentRole-5:
:pAgentRole      ottr:index 1;  ottr:classVariable           :xAgentRole .
:pRoleProvider   ottr:index 2;  ottr:classVariable           :xRoleProvider .
:pprovidesRole   ottr:index 3;  ottr:objectPropertyVariable  :xprovidesRole .
:pAgent          ottr:index 4;  ottr:classVariable           :xAgent .
:pperformedBy    ottr:index 5;  ottr:objectPropertyVariable  :xperformedBy .
# AgentRole-8:
:pTimeInstant    ottr:index 6;  ottr:classVariable           :xTimeInstant .
:pstartAtTime    ottr:index 7;  ottr:objectPropertyVariable  :xstartsAtTime .
:pendsAtTime     ottr:index 8;  ottr:objectPropertyVariable  :xendsAtTime .

[] ottr:templateRef t-odp-content:AgentRole-5 ;
  ottr:withValues ( :xAgentRole :xRoleProvider :xprovidesRole :xAgent :xperformedBy ) .

:xTimeInstant   a  owl:Class .
:xstartsAtTime  a  owl:ObjectProperty .
:xendsAtTime    a  owl:ObjectProperty .

# axiom 1.2
[] ottr:templateRef t-owl-axiom:SubObjectExactCardinality ;
   ottr:withValues ( :xAgentRole "1"^^xsd:nonNegativeInteger :xstartsAtTime :xTimeInstant ) .
[] ottr:templateRef t-owl-axiom:SubObjectExactCardinality ;
   ottr:withValues ( :xAgentRole "1"^^xsd:nonNegativeInteger :xendsAtTime :xTimeInstant ) . 

# axiom 1.4 + 1.6
[] ottr:templateRef t-owl-macro:ScopedDomainRange ;
   ottr:withValues ( :xstartsAtTime :xAgentRole :xTimeInstant ) . 
[] ottr:templateRef t-owl-macro:ScopedDomainRange ;
   ottr:withValues ( :xendsAtTime :xAgentRole :xTimeInstant ) . 

# axiom 1.8
[] ottr:templateRef t-owl-axiom:DisjointClasses ;
   ottr:withValues ( ( :xAgentRole :xAgent :xTimeInstant ) ) .