reasoner
Class Reasoner

java.lang.Object
  extended by reasoner.Reasoner
Direct Known Subclasses:
ReasonerOneOntology, ReasonerTwoOntologies

public class Reasoner
extends java.lang.Object

Author:
Dominique Ritze A class which contains some methods used in the classes ReasonerOneOntology and ReasonerTwoOntologies. One method create a reasoner: load the ontology, build a pellet reasoner and load the ontology into the reasoner. Another method computes all things like sub-or superclasses of a given classs.

Field Summary
static int ANCESTOR
           
static int DESCENDANT
           
static int SUB_CLASS
           
static int SUPER_CLASS
           
 
Constructor Summary
Reasoner()
           
 
Method Summary
 org.semanticweb.owl.inference.OWLReasoner createReasoner(java.net.URI ont)
          Create a pellet reasoner and load the ontology into the reasoner.
static java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLClass>> getClasses(int type, org.semanticweb.owl.inference.OWLReasoner reasoner, org.semanticweb.owl.model.OWLDescription ontologyClass)
          Get all sub/super/ancestor/descendant classes of a given class.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

SUB_CLASS

public static final int SUB_CLASS
See Also:
Constant Field Values

DESCENDANT

public static final int DESCENDANT
See Also:
Constant Field Values

SUPER_CLASS

public static final int SUPER_CLASS
See Also:
Constant Field Values

ANCESTOR

public static final int ANCESTOR
See Also:
Constant Field Values
Constructor Detail

Reasoner

public Reasoner()
Method Detail

createReasoner

public org.semanticweb.owl.inference.OWLReasoner createReasoner(java.net.URI ont)
                                                         throws ComplexMappingException
Create a pellet reasoner and load the ontology into the reasoner.

Parameters:
ont -
Returns:
Throws:
ComplexMappingException

getClasses

public static java.util.Set<java.util.Set<org.semanticweb.owl.model.OWLClass>> getClasses(int type,
                                                                                          org.semanticweb.owl.inference.OWLReasoner reasoner,
                                                                                          org.semanticweb.owl.model.OWLDescription ontologyClass)
                                                                                   throws ComplexMappingException
Get all sub/super/ancestor/descendant classes of a given class.

Parameters:
type -
reasoner -
ontologyClass -
Returns:
Throws:
ComplexMappingException