Changes

Jump to navigation Jump to search
160 bytes added ,  15:40, 26 August 2018
Line 150: Line 150:  
=== General axioms ===
 
=== General axioms ===
 
Not sure yet how to use these.
 
Not sure yet how to use these.
 +
 +
=== Reasoner ===
 +
The tool Protégé has a reasoner, which checks the correctness of the ontology. It should be applied regularly in order to check any errors.
 
=== Issues ===
 
=== Issues ===
  
3,393

edits

Navigation menu