org.coode.suggestor.impl

Class UniversalRestrictionsSanctionRule

java.lang.Object

org.coode.suggestor.impl.UniversalRestrictionsSanctionRule

All Implemented Interfaces:

PropertySanctionRule

public class UniversalRestrictionsSanctionRule
extends java.lang.Object
implements PropertySanctionRule

Check the restrictions on the class for universals

Constructor Summary

Constructors

Constructor and Description
UniversalRestrictionsSanctionRule()

Method Summary

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)

Methods inherited from class java.lang.Object

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

Constructor Detail

UniversalRestrictionsSanctionRule

public UniversalRestrictionsSanctionRule()

Method Detail

setSuggestor

public void setSuggestor(PropertySuggestor ps)

Description copied from interface: PropertySanctionRule

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

Specified by:

setSuggestor in interface PropertySanctionRule

Parameters:

ps - The PropertySuggestor

meetsSanction

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

Specified by:

meetsSanction in interface PropertySanctionRule

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

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

Specified by:

meetsSanction in interface PropertySanctionRule

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)