org.coode.suggestor.api

Interface PropertySanctionRule

All Known Implementing Classes:

CheckSubsSanctionRule, CheckSubsSanctionRule, CheckSubsStructureSanctionRule, CheckSubsStructureSanctionRule, MinCardinalitySanctionRule, MinCardinalitySanctionRule, SimpleAnnotationPropertySanctionRule, SimpleAnnotationPropertySanctionRule, UniversalRestrictionsSanctionRule, UniversalRestrictionsSanctionRule

public interface PropertySanctionRule

A pluggable way of determining if a property is "interesting" for a given class.

Method Summary

Methods

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

Method Detail

setSuggestor

void setSuggestor(PropertySuggestor ps)

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

Parameters:

ps - The PropertySuggestor

meetsSanction

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

Parameters:

c - a class expression

p - an object property

Returns:

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

meetsSanction

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

Parameters:

c - a class expression

p - a data property

Returns:

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