net.fortytwo.ripple.ripple.ttl Maven / Gradle / Ivy

Go to download
@prefix dc:     .
@prefix owl:    .
@prefix rdf:    .
@prefix rdfs:   .
@prefix rpl:    .
@prefix vann:  .
@prefix xsd:    .

rpl:
	a owl:Ontology ;
	dc:title "Ripple vocabulary" ;
	vann:preferredNamespacePrefix "rpl";
	dc:description "RDFS vocabulary for Ripple expressions" ;
	rdfs:isDefinedBy rpl: ;
	.

rpl:Function
	a rdfs:Class ;
	rdfs:label "Function" ;
	rdfs:comment "an abstraction which consumes a stream of rdf:Lists as input and produces a stream of rdf:Lists as output" ;
	rdfs:isDefinedBy rpl: ;
	.

rpl:Parameter
	a rdfs:Class ;
	rdfs:label "Parameter" ;
	rdfs:comment "a formal argument to a Function" ;
	rdfs:isDefinedBy rpl: ;
	.

rpl:ParameterList
	a rdfs:Class ;
	rdfs:subClassOf rdf:List ;
	rdfs:label "ParameterList" ;
	rdfs:comment "a list of Parameters" ;
	rdfs:isDefinedBy rpl: ;
	.

rpl:arity
	a rdfs:Property ;
	rdfs:domain rpl:Function ;
	rdfs:range xsd:integer ;
	rdfs:label "arity" ;
	rdfs:comment "the number of Parameters consumed by a Function" ;
	rdfs:isDefinedBy rpl: ;
	.

rpl:op
	a rdf:Resource ;
	rdfs:label "op" ;
	rdfs:comment "a single operator which pops a program off of the stack and executes it" ;
	rdfs:isDefinedBy rpl: ;
	.

rpl:parameters
	a rdf:Property ;
	rdfs:domain rpl:Function ;
	rdfs:range rpl:ParameterList ;
	rdfs:label "parameters" ;
	rdfs:comment "a list of the Function's Parameters" ;
	rdfs:isDefinedBy rpl: ;
	.

rpl:isTransparent
	a rdf:Property ;
	rdfs:domain rpl:Parameter ;
	rdfs:range xsd:boolean ;
	rdfs:label "isTransparent" ;
	rdfs:comment "property of a Function with no side-effects w.r.t. this Parameter" ;
	rdfs:isDefinedBy rpl: ;
	.

rpl:parameterType
	a rdf:Property ;
	rdfs:domain rpl:Parameter ;
	rdfs:range rdfs:DataType ;
	rdfs:comment "the data type of a Parameter" ;
	rdfs:label "parameterType" ;
	rdfs:isDefinedBy rpl: ;
	.

rpl:returnType
	a rdf:Property ;
	rdfs:domain rpl:Function ;
	rdfs:range rdfs:DataType ;
	rdfs:label "returnType" ;
	rdfs:comment "the data type of the values produced by a Function" ;
	rdfs:isDefinedBy rpl: ;
	.