version 1.5 An ontology of various properties and annotations that are used by some of the CO-ODE tools A much more restrictive OWL version of the rdf:List implementation in DL. This, in combination with the associated OWL Properties, provides stronger semantics than the RDF and can be used with OWL-DL ontologies. List termination. A list that can have neither contents nor any following elements. There is no default individual implementation of this class (like rdf:nil). 0 Element that directly follows on from the current list element Properties used in the definition of OWL Lists. Domain set to intentionally coerce classes using this property hierarchy (so that it is unnecessary to assert OWLList as superclass) Element that directly or indirectly follows on from the current one (could also be called isFollowedBy) isFollowedBy The property pointing to the contents of the list element (in this case, an object property, but there is no reason a datatype property could not be created)