EquivalentObjectProperty

IRI: http://candidate.ottr.xyz/owl/axiom/EquivalentObjectProperty

Available formats

Specification

@prefix : <http://candidate.ottr.xyz/owl/axiom/EquivalentObjectProperty#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix t-owl-axiom: <http://candidate.ottr.xyz/owl/axiom/> .

t-owl-axiom:EquivalentObjectProperty( :xProperty1 : 1 objectProperty , :xProperty2 : 1 objectProperty )
  ::
  t-owl-axiom:EquivalentProperty( :xProperty1 , :xProperty2 )
  ( :xProperty1 , rdf:type , owl:ObjectProperty )
  ( :xProperty2 , 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/owl/axiom/EquivalentObjectProperty#> .
@prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl:   <http://www.w3.org/2002/07/owl#> .

:xProperty1  a                  owl:ObjectProperty ;
        owl:equivalentProperty  :xProperty2 .

:xProperty2  a  owl:ObjectProperty .

Source

Raw source - http://candidate.ottr.xyz/owl/axiom/EquivalentObjectProperty:

@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-axiom: <http://candidate.ottr.xyz/owl/axiom/> .

@prefix :     <http://candidate.ottr.xyz/owl/axiom/EquivalentObjectProperty#> .

t-owl-axiom:EquivalentObjectProperty a ottr:Template ;
    ottr:hasParameter :pProperty1, :pProperty2 .

:pProperty1  ottr:index 1;  ottr:objectPropertyVariable  :xProperty1 .
:pProperty2  ottr:index 2;  ottr:objectPropertyVariable  :xProperty2 .

:xProperty1 a owl:ObjectProperty .
:xProperty2 a owl:ObjectProperty .

[] ottr:templateRef t-owl-axiom:EquivalentProperty ;
   ottr:withValues ( :xProperty1 :xProperty2) .