Page History

...

• • Declarations for the built-in entities, e.g. owl:Thing, owl:Nothing, are excluded from the OWL Refset refset because they are implicitly presented in every OWL 2 ontology.
  • Class declarations are excluded from the OWL refset to avoid duplication to the content that are represented by the RF2 concept file. Note, Class declaration should be included in cases where an entity type cannot be derived from the existing axiom.

...

For inferred relationships in the Necessary Normal Form (NNF), SubclassOfSubClassOf, SubObjectProperty and SubDataProperty in the OWL refset should be represented as

...