org.coode.suggestor.impl

Class InRangeFillerSanctionRule

java.lang.Object

org.coode.suggestor.impl.InRangeFillerSanctionRule

All Implemented Interfaces:

FillerSanctionRule

public class InRangeFillerSanctionRule
extends Object
implements FillerSanctionRule

Checks if the filler is in the asserted range.

Constructor Summary

Constructors

Constructor and Description
InRangeFillerSanctionRule()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	meetsSanction(org.semanticweb.owlapi.model.OWLClassExpression c, org.semanticweb.owlapi.model.OWLDataProperty p, org.semanticweb.owlapi.model.OWLDataRange f)
boolean	meetsSanction(org.semanticweb.owlapi.model.OWLClassExpression c, org.semanticweb.owlapi.model.OWLObjectPropertyExpression p, org.semanticweb.owlapi.model.OWLClassExpression f)
void	setSuggestor(FillerSuggestor fs) Called by the suggestor when the rule has been registered (in case the rule requires suggestor methods)

Methods inherited from class java.lang.Object

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

Constructor Detail

InRangeFillerSanctionRule

public InRangeFillerSanctionRule()

Method Detail

setSuggestor

public void setSuggestor(FillerSuggestor fs)

Description copied from interface: FillerSanctionRule

Called by the suggestor when the rule has been registered (in case the rule requires suggestor methods)

Specified by:

setSuggestor in interface FillerSanctionRule

Parameters:

fs - the FillerSuggestor

meetsSanction

public boolean meetsSanction(org.semanticweb.owlapi.model.OWLClassExpression c,
                    org.semanticweb.owlapi.model.OWLObjectPropertyExpression p,
                    org.semanticweb.owlapi.model.OWLClassExpression f)

Specified by:

meetsSanction in interface FillerSanctionRule

Parameters:

c - a class expression

p - an object property

f - a filler class expression

Returns:

true if f is an "interesting" filler to use in the axiom SubClassOf(c, p some f)

meetsSanction

public boolean meetsSanction(org.semanticweb.owlapi.model.OWLClassExpression c,
                    org.semanticweb.owlapi.model.OWLDataProperty p,
                    org.semanticweb.owlapi.model.OWLDataRange f)

Specified by:

meetsSanction in interface FillerSanctionRule

Parameters:

c - a class expression

p - a data property

f - a filler data range

Returns:

true if f is an "interesting" filler to use in the axiom SubClassOf(c, p some f)