# baseURI: http://sipport.tq.com/tracking
# imports: http://spinrdf.org/spinx

@prefix arg: <http://spinrdf.org/arg#> .
@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 sp: <http://spinrdf.org/sp#> .
@prefix spin: <http://spinrdf.org/spin#> .
@prefix spinx: <http://spinrdf.org/spinx#> .
@prefix spl: <http://spinrdf.org/spl#> .
@prefix tracking: <http://sipport.tq.com/tracking#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://sipport.tq.com/tracking>
  rdf:type owl:Ontology ;
  owl:imports <http://spinrdf.org/spinx> ;
  owl:versionInfo "Created with TopBraid Composer"^^xsd:string ;
.
tracking:isSmallDiff
  rdf:type spin:Function ;
  spin:constraint [
      rdf:type spl:Argument ;
      spl:predicate sp:arg1 ;
      spl:valueType xsd:integer ;
    ] ;
  spin:constraint [
      rdf:type spl:Argument ;
      spl:predicate sp:arg2 ;
      spl:valueType xsd:integer ;
    ] ;
  spin:constraint [
      rdf:type spl:Argument ;
      spl:predicate sp:arg3 ;
      spl:valueType xsd:integer ;
    ] ;
  spin:returnType xsd:integer ;
  spinx:javaScriptFile "isSmallDiff.js"^^xsd:string ;
  rdfs:label "is small diff"^^xsd:string ;
  rdfs:subClassOf spin:Functions ;
.