Help to found Pellet Java Code sample to check Consistency in correspondences (alignment)

[MiriamOliveira]

I look for an example in java using the reasoning pellet to check if given two ontologies and incrementally given the indication of correspondences between these ontologies if the alignment between them remains consistent.

Example:

Input: Ontology1, Ontology2, ArrayCorrespondencestoCheck Output: CorrespondencesChecked

FOR i = 0 to Len( ArrayCorrespondencestoCheck ) IF Is Consistent (Ontology1, Ontology2, ArrayCorrespondencestoCheck[i]) then CorrespondencesChecked [L] = ArrayCorrespondencestoCheck[i]; L=L+1; END IF NEXT

Thank you,

Miriam Oliveira PhD Student

[ignazio1977]

Are you using Pellet with the Jena or the OWLAPI library?

[MiriamOliveira]

I downloaded the two libraries..Would you have an example with one of the two libraries?

2018-06-01 16:08 GMT-03:00 Ignazio Palmisano notifications@github.com:

Are you using Pellet with the Jena or the OWLAPI library?

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/stardog-union/pellet/issues/43#issuecomment-393980809, or mute the thread https://github.com/notifications/unsubscribe-auth/AVIBv0AwCYSZMCz2xI0sMYGlNA9ss7Qaks5t4ZESgaJpZM4UW4vR .

[MiriamOliveira]

I found examples with code from the own pellet and hermit to test the consistency of a single ontology, including new axioms and checking its consistency. my problem is how to include axioms for two ontologies and the alignment between them from matches pointed to with equivalence relation and get from reasoning if this alignment is consistent.

[ignazio1977]

Create a new ontology that imports both ontologies to align and create a reasoner with the new ontology. Then you can add alignment axioms to the new ontology.