Supported OWL 2 Features

Konclude currently supports the OWL2/XML and the OWL2 Functional Style format for ontologies. However, annotations are ignored in ontologies, i.e., they are not even parsed from ontology files. Moreover, there are the following restrictions on datatypes:

  • No support for HasKey axioms.
  • No support for xsd:pattern facets.
  • Only 64-bit values are supported for owl:real and all subtypes of owl:real.
  • The set of characters (for xsd:string) is interpreted to be infinite.