Event-10

IRI: http://candidate.ottr.xyz/odp/content/Event-10

Available formats

Specification

@prefix : <http://candidate.ottr.xyz/odp/content/Event-10#> .
@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/> .

t-odp-content:Event-10( :xEvent : 1 class , :xsubEventOf : 1 objectProperty , :xAgentRole : 1 class , :xprovidesRole : 1 objectProperty , :xAgent : 1 class , :xperformedBy : 1 objectProperty , :xPlace : 1 class , :xatPlace : 1 objectProperty , :xTemporalExtent : 1 class , :xatTime : 1 objectProperty )
  ::
  t-odp-content:AgentRole-5( :xAgentRole , :xEvent , :xprovidesRole , :xAgent , :xperformedBy )
  t-owl-axiom:DisjointClasses( <:xEvent, :xTemporalExtent, :xPlace, :xAgentRole, :xAgent> )
  t-owl-axiom:SubObjectSomeValuesFrom( :xEvent , :xatPlace , :xPlace )
  t-owl-axiom:SubObjectSomeValuesFrom( :xEvent , :xatTime , :xTemporalExtent )
  t-owl-macro:ScopedDomainRange( :xatTime , :xEvent , :xTemporalExtent )
  t-owl-macro:ScopedDomainRange( :xatPlace , :xEvent , :xPlace )
  t-owl-macro:ScopedDomainRange( :xsubEventOf , :xEvent , :xEvent )
  ( :xTemporalExtent , rdf:type , owl:Class )
  ( :xPlace , rdf:type , owl:Class )
  ( :xEvent , rdf:type , owl:Class )
  ( :xatTime , rdf:type , owl:ObjectProperty )
  ( :xatPlace , rdf:type , owl:ObjectProperty )
  ( :xsubEventOf , 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/Event-10#> .
@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#> .

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

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

:xTemporalExtent  a  owl:Class .

:xPlace  a      owl:Class .

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

[ a                   owl:Restriction ;
  rdfs:subClassOf     :xEvent ;
  owl:onProperty      :xsubEventOf ;
  owl:someValuesFrom  :xEvent
] .

:xAgentRole  a           owl:Class ;
        rdfs:subClassOf  [ a                  owl:Restriction ;
                           owl:allValuesFrom  :xAgent ;
                           owl:onProperty     :xperformedBy
                         ] ;
        rdfs:subClassOf  [ a                   owl:Restriction ;
                           owl:onProperty      [ a              owl:ObjectProperty ;
                                                 owl:inverseOf  :xprovidesRole
                                               ] ;
                           owl:someValuesFrom  :xEvent
                         ] ;
        rdfs:subClassOf  [ a                   owl:Restriction ;
                           owl:onProperty      :xperformedBy ;
                           owl:someValuesFrom  :xAgent
                         ] .

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

:xperformedBy  a  owl:ObjectProperty .

[ a                   owl:Restriction ;
  rdfs:subClassOf     :xEvent ;
  owl:onProperty      :xatTime ;
  owl:someValuesFrom  :xTemporalExtent
] .

:xEvent  a               owl:Class ;
        rdfs:subClassOf  [ a                   owl:Restriction ;
                           owl:onProperty      :xatTime ;
                           owl:someValuesFrom  :xTemporalExtent
                         ] ;
        rdfs:subClassOf  [ a                  owl:Restriction ;
                           owl:allValuesFrom  :xTemporalExtent ;
                           owl:onProperty     :xatTime
                         ] ;
        rdfs:subClassOf  [ a                  owl:Restriction ;
                           owl:allValuesFrom  :xPlace ;
                           owl:onProperty     :xatPlace
                         ] ;
        rdfs:subClassOf  [ a                   owl:Restriction ;
                           owl:onProperty      :xatPlace ;
                           owl:someValuesFrom  :xPlace
                         ] ;
        rdfs:subClassOf  [ a                  owl:Restriction ;
                           owl:allValuesFrom  :xEvent ;
                           owl:onProperty     :xsubEventOf
                         ] .

[ a                   owl:Restriction ;
  rdfs:subClassOf     :xEvent ;
  owl:onProperty      :xatPlace ;
  owl:someValuesFrom  :xPlace
] .

:xAgent  a      owl:Class .

:xatTime  a     owl:ObjectProperty .

:xatPlace  a    owl:ObjectProperty .

:xsubEventOf  a  owl:ObjectProperty .

Source

Raw source - http://candidate.ottr.xyz/odp/content/Event-10:

@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/Event-10#> .

<http://candidate.ottr.xyz/odp/content/Event-10>  a ottr:Template ;
  ottr:hasParameter :pEvent, :psubEventOf, :pAgentRole, :pprovidesRole, :pAgent, :pperformedBy, :pPlace, :patPlace, :pTemporalExtent, :patTime .

:pEvent           ottr:index 1;   ottr:classVariable           :xEvent .
:psubEventOf      ottr:index 2;   ottr:objectPropertyVariable  :xsubEventOf .
:pAgentRole       ottr:index 3;   ottr:classVariable           :xAgentRole .
:pprovidesRole    ottr:index 4;   ottr:objectPropertyVariable  :xprovidesRole .
:pAgent           ottr:index 5;   ottr:classVariable           :xAgent .
:pperformedBy     ottr:index 6;   ottr:objectPropertyVariable  :xperformedBy .
:pPlace           ottr:index 7;   ottr:classVariable           :xPlace .
:patPlace         ottr:index 8;   ottr:objectPropertyVariable  :xatPlace .
:pTemporalExtent  ottr:index 9;   ottr:classVariable           :xTemporalExtent .
:patTime          ottr:index 10;  ottr:objectPropertyVariable  :xatTime .

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

:xEvent           a  owl:Class .
:xPlace           a  owl:Class .
:xTemporalExtent  a  owl:Class .

:xsubEventOf      a  owl:ObjectProperty .
:xatPlace         a  owl:ObjectProperty .
:xatTime          a  owl:ObjectProperty .

# axiom 1.12
[] ottr:templateRef t-owl-axiom:DisjointClasses ;
   ottr:withValues ( ( :xEvent :xTemporalExtent :xPlace :xAgentRole :xAgent ) ) .

# axiom 1.9
[] ottr:templateRef t-owl-axiom:SubObjectSomeValuesFrom ;
   ottr:withValues ( :xEvent :xatPlace :xPlace ) .
[] ottr:templateRef t-owl-axiom:SubObjectSomeValuesFrom ;
   ottr:withValues ( :xEvent :xatTime :xTemporalExtent ) .

# axioms 1.10 + 1.11
[] ottr:templateRef t-owl-macro:ScopedDomainRange ;
   ottr:withValues ( :xatTime :xEvent :xTemporalExtent ) .
[] ottr:templateRef t-owl-macro:ScopedDomainRange ;
   ottr:withValues ( :xatPlace :xEvent :xPlace ) .
[] ottr:templateRef t-owl-macro:ScopedDomainRange ;
   ottr:withValues ( :xsubEventOf :xEvent :xEvent ) .