org.coode.suggestor.impl

Class CheckSubsSanctionRule

java.lang.Object

org.coode.suggestor.impl.CheckSubsSanctionRule

All Implemented Interfaces:

PropertySanctionRule

public class CheckSubsSanctionRule
extends Object
implements PropertySanctionRule

Looks at the direct subclasses to determine which properties are used as they may be considered distinguishing features.

Sanction is met if for all d where DirectStrictSubClassOf(c, d) if isCurrent(d, p, true) is entailed.

See OWLReasoner for definition of DirectStrictSubClassOf

Constructor Summary

Constructors

Constructor and Description
CheckSubsSanctionRule()

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

CheckSubsSanctionRule

public CheckSubsSanctionRule()

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)