Pellet Reasoning

classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

Pellet Reasoning

Miriam Oliveira dos Santos
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, Correspondence[i]) then
          CorrespondencesChecked [L] = Correspondence[i];
          L=L+1;
   END IF
NEXT



Thank you, 

Miriam Oliveira
PhD Student

_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user
Reply | Threaded
Open this post in threaded view
|

Re: Pellet Reasoning

Lorenz B.

OWL API is the Java API used by Protege and then look into the examples with the OWLReasoner used.


On 01.06.2018 15:58, Miriam Oliveira dos Santos wrote:
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, Correspondence[i]) then
          CorrespondencesChecked [L] = Correspondence[i];
          L=L+1;
   END IF
NEXT



Thank you, 

Miriam Oliveira
PhD Student


_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user


_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user