Skip to content

Commit 0abd076

Browse files
committed
Remove duplicates, declare operators
1 parent 5615dfa commit 0abd076

File tree

1 file changed

+18
-28
lines changed

1 file changed

+18
-28
lines changed

sparql-ns.ttl

Lines changed: 18 additions & 28 deletions
Original file line numberDiff line numberDiff line change
@@ -20,79 +20,69 @@ sparql:Aggregate rdf:type rdfs:Class .
2020

2121
## Operators
2222

23-
sparql:plus rdf:type sparql:Operator ;
23+
sparql:plus rdf:type sparql:Function, sparql:Operator ;
2424
rdfs:comment "This operator adds two numeric expressions and returns their sum." ;
2525
rdfs:isDefinedBy ;
2626
.
2727

28-
sparql:subtract rdf:type sparql:Operator ;
28+
sparql:subtract rdf:type sparql:Function, sparql:Operator ;
2929
rdfs:comment "This operator subtracts the second numeric expression from the first and returns the result." ;
3030
rdfs:isDefinedBy ;
3131
.
3232

33-
sparql:multiply rdf:type sparql:Operator ;
33+
sparql:multiply rdf:type sparql:Function, sparql:Operator ;
3434
rdfs:comment "This operator multiplies two numeric expressions and returns the product." ;
3535
rdfs:isDefinedBy ;
3636
.
3737

38-
sparql:divide rdf:type sparql:Operator ;
38+
sparql:divide rdf:type sparql:Function, sparql:Operator ;
3939
rdfs:comment "This operator divides the first numeric expression by the second and returns the result." ;
4040
rdfs:isDefinedBy ;
4141
.
4242

43-
sparql:unary-minus rdf:type sparql:Operator ;
43+
sparql:unary-minus rdf:type sparql:Function, sparql:Operator ;
4444
rdfs:comment "This unary operator returns the negation of a numeric expression." ;
4545
rdfs:isDefinedBy ;
4646
.
4747

48-
sparql:unary-plus rdf:type sparql:Operator ;
48+
sparql:unary-plus rdf:type sparql:Function, sparql:Operator ;
4949
rdfs:comment "This unary operator returns the numeric expression unchanged, acting primarily as a syntactic indicator." ;
5050
rdfs:isDefinedBy ;
5151
.
5252

53-
sparql:equals rdf:type sparql:Operator ;
53+
sparql:equals rdf:type sparql:Function, sparql:Operator ;
5454
rdfs:comment "This operator compares two expressions for equality.";
5555
rdfs:isDefinedBy ;
5656
.
5757

58-
sparql:not-equals rdf:type sparql:Operator ;
58+
sparql:not-equals rdf:type sparql:Function, sparql:Operator ;
5959
rdfs:comment "This operator tests two expressions for inequality.";
6060
rdfs:isDefinedBy ;
6161
.
6262

63-
sparql:greaterThan rdf:type sparql:Operator ;
63+
sparql:greaterThan rdf:type sparql:Function, sparql:Operator ;
6464
rdfs:comment "This operator tests whether the first RDF term is greater than the second RDF term.";
6565
rdfs:isDefinedBy ;
6666
.
6767

68-
sparql:lessThan rdf:type sparql:Operator ;
68+
sparql:lessThan rdf:type sparql:Function, sparql:Operator ;
6969
rdfs:comment "This operator tests whether the first RDF term is less than the second RDF term.";
7070
rdfs:isDefinedBy ;
7171
.
7272

73-
sparql:greaterThanOrEqual rdf:type sparql:Operator ;
73+
sparql:greaterThanOrEqual rdf:type sparql:Function, sparql:Operator ;
7474
rdfs:comment "This operator tests whether the first RDF term is greater or equal to the second RDF term.";
7575
rdfs:isDefinedBy ;
7676
.
7777

78-
sparql:lessThanOrEqual rdf:type sparql:Operator ;
78+
sparql:lessThanOrEqual rdf:type sparql:Function, sparql:Operator ;
7979
rdfs:comment "This operator tests whether the first RDF term is less than or equal to the second RDF term.";
8080
rdfs:isDefinedBy ;
8181
.
82-
83-
sparql:operator-and rdf:type sparql:Operator ;
84-
rdfs:comment "This operator calculates the logical 'and' of two RDF terms" ;
85-
rdfs:isDefinedBy ;
86-
.
87-
88-
sparql:operator-or rdf:type sparql:Operator ;
89-
rdfs:comment "This operator calculates the logical 'or' of two RDF terms" ;
90-
rdfs:isDefinedBy ;
91-
.
92-
93-
sparql:operator-not rdf:type sparql:Operator ;
94-
rdfs:comment "This operator calculates the logical 'not' of two RDF terms" ;
95-
rdfs:isDefinedBy ;
82+
83+
sparql:logical-not rdf:type sparql:Functional, sparql:Operator ;
84+
rdfs:comment "This form computes the logical NOT of a boolean expression." ;
85+
rdfs:isDefinedBy ;
9686
.
9787

9888
# Section: Functional Forms
@@ -122,12 +112,12 @@ sparql:filter-not-exists rdf:type sparql:FunctionalForm ;
122112
rdfs:isDefinedBy ;
123113
.
124114

125-
sparql:logical-or rdf:type sparql:FunctionalForm ;
115+
sparql:logical-or rdf:type sparql:FunctionalForm, sparql:Operator ;
126116
rdfs:comment "This form computes the logical OR of two boolean expressions." ;
127117
rdfs:isDefinedBy ;
128118
.
129119

130-
sparql:logical-and rdf:type sparql:FunctionalForm ;
120+
sparql:logical-and rdf:type sparql:FunctionalForm, sparql:Operator ;
131121
rdfs:comment "This form computes the logical AND of two boolean expressions." ;
132122
rdfs:isDefinedBy ;
133123
.

0 commit comments

Comments
 (0)