NegativeObjectPropertyAssertion

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

Available formats

Specification

@prefix : <http://candidate.ottr.xyz/owl/axiom/NegativeObjectPropertyAssertion#> .
@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:NegativeObjectPropertyAssertion( :xSource : 1 individual , :xProperty : 1 objectProperty , :xTarget : 1 individual )
  ::
  ( _:b1 , rdf:type , owl:NegativePropertyAssertion )
  ( _:b1 , owl:sourceIndividual , :xSource )
  ( _:b1 , owl:assertionProperty , :xProperty )
  ( _:b1 , owl:targetIndividual , :xTarget ) .

Direct dependency templates

Templates instantiated in the body of this template:

This template contains no template instances.

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/NegativeObjectPropertyAssertion#> .
@prefix rdf:   <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl:   <http://www.w3.org/2002/07/owl#> .

[ a                      owl:NegativePropertyAssertion ;
  owl:assertionProperty  :xProperty ;
  owl:sourceIndividual   :xSource ;
  owl:targetIndividual   :xTarget
] .

Source

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

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

t-owl-axiom:NegativeObjectPropertyAssertion a ottr:Template ;
	  ottr:hasParameter :pSource, :pProperty, :pTarget .
:pSource    ottr:index 1;  ottr:individualVariable :xSource .
:pProperty  ottr:index 2;  ottr:objectPropertyVariable :xProperty .
:pTarget    ottr:index 3;  ottr:individualVariable :xTarget .

[] rdf:type owl:NegativePropertyAssertion ;
   owl:sourceIndividual :xSource ;
   owl:assertionProperty :xProperty ;
   owl:targetIndividual :xTarget .