Jos Lehmann
2017-02-24 15:04:52 UTC
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
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