org.coode.oppl

Class VariableScopeChecker

java.lang.Object

org.coode.oppl.VariableScopeChecker

public class VariableScopeChecker
extends Object

Visitor that checks whether a value is within the scope of the visited VariableScope or not

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
VariableScopeChecker(org.semanticweb.owlapi.model.OWLOntologyManager ontologyManager, org.semanticweb.owlapi.reasoner.OWLReasoner reasoner)

Method Summary

Modifier and Type	Method and Description
protected boolean	check(org.semanticweb.owlapi.model.OWLClass owlCass, SubClassVariableScope scope)
protected boolean	check(org.semanticweb.owlapi.model.OWLClass owlCass, SuperClassVariableScope scope)
protected boolean	check(org.semanticweb.owlapi.model.OWLIndividual individual, IndividualVariableScope scope)
org.semanticweb.owlapi.model.OWLOntologyManager	getOntologyManager()
org.semanticweb.owlapi.reasoner.OWLReasoner	getReasoner()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

VariableScopeChecker

public VariableScopeChecker(org.semanticweb.owlapi.model.OWLOntologyManager ontologyManager,
                            org.semanticweb.owlapi.reasoner.OWLReasoner reasoner)
                     throws OPPLException

Parameters:

ontologyManager - ontologyManager

reasoner - reasoner

Throws:

OPPLException - OPPLException

Method Detail

check

protected boolean check(org.semanticweb.owlapi.model.OWLClass owlCass,
                        SubClassVariableScope scope)

Parameters:

owlCass - owlCass

scope - scope

Returns:

true is the input owlClass is in the input scope, false otherwise

Throws:

org.semanticweb.owlapi.model.OWLRuntimeException - OWLRuntimeException

check

protected boolean check(org.semanticweb.owlapi.model.OWLClass owlCass,
                        SuperClassVariableScope scope)
                 throws org.semanticweb.owlapi.model.OWLRuntimeException

Parameters:

owlCass - owlCass

scope - scope

Returns:

true is the input owlClass is in the input scope, false otherwise

Throws:

org.semanticweb.owlapi.model.OWLRuntimeException - OWLRuntimeException

check

protected boolean check(org.semanticweb.owlapi.model.OWLIndividual individual,
                        IndividualVariableScope scope)
                 throws org.semanticweb.owlapi.model.OWLRuntimeException

Parameters:

individual - individual

scope - scope

Returns:

true is the input individual is in the input scope, false otherwise

Throws:

org.semanticweb.owlapi.model.OWLRuntimeException - OWLRuntimeException

getReasoner

public org.semanticweb.owlapi.reasoner.OWLReasoner getReasoner()

Returns:

the reasoner

Throws:

org.semanticweb.owlapi.model.OWLRuntimeException - OWLRuntimeException

getOntologyManager

public org.semanticweb.owlapi.model.OWLOntologyManager getOntologyManager()

Returns:

the ontologyManager