The vocabulary is published by the W3C Notation-3 Community Group.
A math:Function is unique in terms of math:EqualTo.
The class of things that are N3 lists where all of the members are math:Value items.
A logical operator allows evaluation eihter way, or testing relationship between two values
A math:ReverseFunction is unambiguous in terms of math:EqualTo.
The class of things that compare values.
This is the class of things that are math lists with only two members.
The class of things that derive from XSD numeric datatypes.
The object is calulated as the absolute value of the subject.
The object is calulated as the arc cosine value of the subject.
The object is calulated as the arc sine value of the subject.
The object is calulated as the arc tangent value of the subject.
The subject is an angle expressed in radians. The object is calulated as the cosine value of the subject.
The subject is an angle expressed in radians. The object is calulated as the #hyperbolic cosine value of the subject.
The subject is an angle expressed in radians. The object is calulated as the conversion in degrees of the value of the subject.
The subject is a pair of numbers. The object is calculated by subtracting the second number of the pair from the first.
schema:
$a1 math:equalTo $a2
summary: checks equality of numbers
definition:
true
if and only if $a1
is equal to $a2
.
requires:
$a_1
or $a_2
(or both) must be either concrete numerals, or variables bound to a numeral.
literal domains:
$a1
: xs:decimal
(or its derived types), xs:float
, or xs:double
(see note on type promotion, and casting from string)$a2
: xs:decimal
(or its derived types), xs:float
, or xs:double
(see note on type promotion, and casting from string)The subject is a pair of numbers. The object is calculated by raising the first number of the power of the second.
True iff the subject is a number which is greater than the object.
The subject is a pair of numbers. The object is calculated by dividing the first number of the pair by the second, ignoring remainder.
True iff the subject is a number which is LESS than a object.
The number of items in a list. The subject is a list, the object is calculated as the number of members. Obsolete, see list:length
The subject or object is calculated to be the negation of the other.
True iff the subject is a number which is NOT EQUAL to a object.
True iff the subject is a number which is NOT greater than the object.
True iff the subject is a number which is NOT LESS than a object.
The subject is a list of numbers. The object is calculated as the arithmentic product of those numbers.
The subject is a pair of numbers. The object is calculated by dividing the first number of the pair by the second.
The subject is a pair of integers. The object is calculated by dividing the first number of the pair by the second and taking the remainder.
The object is calulated as the number with no fractional part that is closest to the subject. If there are two such numbers, then the one that is closest to positive infinity is returned.
The subject is an angle expressed in radians. The object is calulated as the sine value of the subject.
The subject is an angle expressed in radians. The object is calulated as the hyperbolic sine value of the subject.
schema:
($a_1 .. $a_n) math:sum $a_s
summary: performs addition of numbers
definition:
true
if and only if the arithmetic sum of $a_1, .. $a_n
equals $a_s
.
requires:
all $a_1, .., $a_n
to be bound.
literal domains:
$a_1 .. $a_n
: xs:decimal
(or its derived types), xs:float
, or xs:double
(see note on type promotion, and casting from string)$a_s
: xs:decimal
(or its derived types), xs:float
, or xs:double
(see note on type promotion, and casting from string)The subject is an angle expressed in radians. The object is calulated as the tangent value of the subject.
The subject is an angle expressed in radians. The object is calulated as the hyperbolic tangent value of the subject.
This is an ontology for computable math functions.