This repository was archived by the owner on Dec 18, 2025. It is now read-only.
OWL Sequence support #82
Description
In order to have OWL DL-compatible sequences, we'll need something like this:
https://www.cs.man.ac.uk/~drummond/publications/OWLListsPaper/owl-lists-iswc.pdf
Not only does OWL have no support for ordering, but the natural constructs from
the underlying RDF vocabulary – rdf:List and rdf:nil – are unavailable in
OWL-DL because they are used in the RDF serialization of OWL1. Although
rdf:Seq is not illegal, it depends on lexical ordering and has no logical semantics
accessible to a DL classifier.