Warning:
This wiki has been archived and is now read-only.
Table of Examples
From OWL
Not sure how this relates to the Features page.
This is a table of various language features with concrete examples of how to write them in (eventually) various syntaxes. It is inspired by the chemical functional groups table.
Feature | English | Functional | RDF | Comment |
N-ary DataPredicate | All my heights are greater than my weights. | DataAllValuesFrom(height weight owl:lessThan) | We don't actually have any predefined n-ary predicates. Also, clearly I'd need more constraints to make this a sensible assertion (e.g., that height and weight are functional). |