Versions Compared

Old Version 26

changes.mady.by.user Tenille Johnson

Saved on

compared with

New Version 27

changes.mady.by.user Tenille Johnson

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

  1. Start Protégé and open an ontology. Any ontology will work. A dialog may appear asking you about importing OWL files; if so, click Cancel.
  2. Open the Save tab under Preferences and ensure ‘Use XML Entities’ is NOT checked.
  3. Go to: Preferences > New Entities and set up your new entity URI settings as shown in the figures below:
Image Modified

...

iconfalse
Entity URI
Entity Label (for use with Auto-generated ID)
  • Select 'Same as label renderer'
Auto-generated ID
  • Select 'Numeric (iterative)'
  • Prefix: enter 'ERO_'
  • Digit count: enter '7'
  • Start: enter a four digit number one higher than that of the last ID created. To determine correct number:
    • consult the IDs.xlsx spreadsheet, located in trunk > docs to find the last ID number used
    • search for the next highest ID number in Protégé to double check no additional IDs have been created
  • End: -1

Step 4: Reasoning

The reasoner tests the logic and consistency of the asserted axioms in the ontology and computes the inferred hierarchy. The suggested reasoner for eagle-i is FaCT++. It is good practice to run the reasoner periodically before committing, to ensure nothing has been accidentally moved.

The ‘Class hierarchy’ tab shows only the asserted hierarchy; the ‘Class hierarchy (inferred)’ tab shows the inferred hierarchy relationships (i.e. the hierarchy seen in the software). The inferred hierarchy is only visible after the reasoner has been run in that file. 

Viewing the eagle-i ontology

...

Before viewing or editing the ontology, make sure you’re looking at the most current version:

...