Hi there
As per previous email, I am working on a piece of code that:
(i) re-writes an ontology, by keeping some of it unchanged, while changing
parts of it;
(ii) re-writes the output of (i) and outputs the input of (i).
I.e., full circle.
After completion of (ii) above, I compare in Protégé the input of (i) with the
output of (ii).
Question:
By looking at the ontology matrixes ( see below: value in input of (i) / value
in output of (ii) (note: all non-reported values are 0 in both ontologies) can
I conclude that the two ontologies are the same, despite the different values
for Axiom and Declaration axioms count?
Axiom: 11271 / 10794
Logical axiom count: 1592 / 1592
Declaration axioms count: 844 / 390
Class count: 11 / 11
Object property count: 2 / 2
Individual count: 587 / 587
DL expressivity: AL / AL
ClassAssertion: 587 / 587
ObjectPropertyAssertion: 1005 / 1005
AnnotationAssertion: 8555 / 8555
AnnotationPropertyRangeOf: 1 / 1
