Directives

Flora directives are statements that are used to give information other than knowledge to the Flora system. The most commonly used directive is the (already mentioned) namespace prefix declaration, for example,

:- iriprefix{eng_val = http://www.onistt.org/devel/ontology/domain/engineering/engineering_value.owl#}.

Another commonly used directive is:

:- setsemantics{inheritance(none)}.

which controls Flora’s built-in ontological rules. Sunflower’s OWL importer adds this directive to each generated file, in order to make Flora’s built-in class reasoning more closely aligned with OWL semantics.

At this point, you know enough to start experimenting with Flora content and Sunflower. The following sections contain more details on individual topics and Flora language features that are useful in specific situations.