org.coode.suggestor.api

Interface FillerSanctionRule

All Known Implementing Classes:

InRangeFillerSanctionRule

public interface FillerSanctionRule

A pluggable way of determining if a certain filler is "interesting" for a given (class, property) pair

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)

Method Detail

setSuggestor

void setSuggestor(FillerSuggestor fs)

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

Parameters:

fs - the FillerSuggestor

meetsSanction

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

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

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

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)