org.coode.patterns.locality

Class AxiomLocality

java.lang.Object

org.coode.patterns.locality.AxiomLocality

public class AxiomLocality
extends Object

Author:

Luigi Iannone

Constructor Summary

Constructors

Constructor and Description
AxiomLocality(org.semanticweb.owlapi.reasoner.OWLReasoner r)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	isLocal()
boolean	isLocal(org.semanticweb.owlapi.model.OWLAxiom axiom)
void	reset()

Methods inherited from class java.lang.Object

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

Constructor Detail

AxiomLocality

public AxiomLocality(org.semanticweb.owlapi.reasoner.OWLReasoner r)

Parameters:

r - r

Method Detail

isLocal

public boolean isLocal()

Returns:

true if local

isLocal

public boolean isLocal(org.semanticweb.owlapi.model.OWLAxiom axiom)

Parameters:

axiom - axiom

Returns:

true if local

reset

public void reset()