W3C

String Processing Ontology

This is an ontology for computable string functions. It is implemented, for example, in CWM and Euler.

The vocabulary is published by the W3C Notation-3 Community Group.

Vocabulary Terms

Property Definitions
string:concat is concatenation of (link)

(obsolete - (was backwards!) - use: string:concatenation)

owl:inverse
string:concatenation
vs:term_status
deprecated
rdfs:domain
log:String
rdfs:range
log:List
string:concatenation concatenate into (link)

schema: ($a_1 .. $a_n) string:concatenation $a_s

summary: concatenates the given resources

definition: true if and only if the string concatenation of $a_1, .. $a_n equals $a_s.

requires: all $a_1, .., $a_n to be bound.

literal domains:

  • $a_1 .. $a_n : xs:string (see note on casting to string)
  • $a_s: xs:string (see note on casting to string)
rdfs:domain
log:List
rdfs:range
log:String
string:contains contains (link)

True iff the subject string contains the object string.

rdfs:domain
log:String
rdfs:range
log:String
string:containsIgnoringCase contains (link)

True iff the subject string contains the object string, with the comparison done ignoring the difference between upper case and lower case characters.

rdfs:domain
log:String
rdfs:range
log:String
string:endsWith ends with (link)

True iff the subject string ends with the object string.

rdfs:domain
log:String
rdfs:range
log:String
string:equalIgnoringCase contains (link)

True iff the subject string is the same as object string ignoring differences between upper and lower case.

rdfs:domain
log:String
rdfs:range
log:String
string:format is the string formatted function of (link)

The subject is a list, whose first member is a format string, and whose remaining members are arguments to the format string. The formating string is in the style of python's % operator, very similar to C's sprintf(). The object is calculated from the subject.

rdfs:domain
log:List
rdfs:range
log:String
string:greaterThan is greater than (link)

True iff the string is greater than the object when ordered according to Unicode(tm) code order.

rdfs:domain
log:String
rdfs:range
log:String
string:lessThan is less than (link)

True iff the string is less than the object when ordered according to Unicode(tm) code order.

rdfs:domain
log:String
rdfs:range
log:String
string:matches contains (link)

The subject is a string; the object is is a regular expression in the perl, python style. It is true iff the string matches the regexp.

rdfs:domain
log:String
rdfs:range
log:String
string:notEqualIgnoringCase contains (link)

True iff the subject string is the NOT same as object string ignoring differences between upper and lower case.

rdfs:domain
log:String
rdfs:range
log:String
string:notGreaterThan is not greater than (link)

True iff the string is NOT greater than the object when ordered according to Unicode(tm) code order.

rdfs:domain
log:String
rdfs:range
log:String
string:notLessThan is not less than (link)

True iff the string is NOT less than the object when ordered according to Unicode(tm) code order.

rdfs:domain
log:String
rdfs:range
log:String
string:notMatches contains (link)

The subject string; the object is is a regular expression in the perl, python style. It is true iff the string does NOT match the regexp.

rdfs:domain
log:String
rdfs:range
log:String
string:replace replace (link)

A built-in for replacing characters or sub. takes a list of 3 strings; the first is the input data, the second the old and the third the new string. The object is calculated as the replaced string. For example, ("fofof bar", "of", "baz") string:replace "fbazbaz bar".

rdfs:domain
log:List
rdfs:range
log:String
string:scrape scrape (link)

The subject is a list of two strings. The second string is a regular expression in the perl, python style. It must contain one group (a part in parentheses). If the first string in the list matches the regular expression, then the object is calculated as being the part of the first string which matches the group.

rdfs:domain
log:List
rdfs:range
log:String
string:startsWith starts with (link)

True iff the subject string starts with the object string.

rdfs:domain
log:String
rdfs:range
log:String