compared with
This line was removed.
This word was removed. This word was added.
This line was added.

Changes (1)

View Page History
h2. The Solution
Normally adding a rule requires reloading the repository, so that all facts from the new rule can be inferred. But in order to avoid reloading the BM data, we'll try this:
- Define a generic rule for the Proton predicate ptop:transitiveOver (see [FR Implementation#ptop:transitiveOver]) Implementation#transitiveOver])
- Restart OWLIM with the new rules
- Load the new file +FR-Transitive.ttl+ that declares certain FRs to be transitiveOver skos:broader, eg