reasoner
Class ReasonerTwoOntologies

java.lang.Object
  extended by reasoner.Reasoner
      extended by reasoner.ReasonerTwoOntologies

public class ReasonerTwoOntologies
extends Reasoner

Author:
Dominique Ritze This class is used to gather inferred information about an ontology and especially information about classes and properties in another ontolgy. Information about the other ontology can be collected through a given alignment. If a class can be found in an alignment it is equivalent to a class in the other ontology. All subclasses of the class are also subclasses of the equivalent in the other ontology.

Field Summary
 
Fields inherited from class reasoner.Reasoner
ANCESTOR, DESCENDANT, SUB_CLASS, SUPER_CLASS
 
Constructor Summary
ReasonerTwoOntologies(java.net.URI onto1, java.net.URI onto2, OntologyAlignment ali)
          Constructor to save all information.
 
Method Summary
 java.util.Set<org.semanticweb.owl.model.OWLClass> getTypeClassesBothOntologies(org.semanticweb.owl.model.OWLDescription con, int type)
          Get all typed(sub, super, ancestor, descendant) classes out of both ontologies (an alignment is required).
 
Methods inherited from class reasoner.Reasoner
createReasoner, getClasses
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ReasonerTwoOntologies

public ReasonerTwoOntologies(java.net.URI onto1,
                             java.net.URI onto2,
                             OntologyAlignment ali)
                      throws ComplexMappingException
Constructor to save all information.

Parameters:
onto1 -
onto2 -
ali -
Throws:
ComplexMappingException
Method Detail

getTypeClassesBothOntologies

public java.util.Set<org.semanticweb.owl.model.OWLClass> getTypeClassesBothOntologies(org.semanticweb.owl.model.OWLDescription con,
                                                                                      int type)
                                                                               throws ComplexMappingException
Get all typed(sub, super, ancestor, descendant) classes out of both ontologies (an alignment is required).

Parameters:
con -
onto1 -
onto2 -
ali -
type -
Returns:
Throws:
ComplexMappingException