reasoner
Class Reasoner
java.lang.Object
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.
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 |
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
Reasoner
public Reasoner()
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