org.coode.suggestor.impl

Class CheckSubsStructureSanctionRule

java.lang.Object

org.coode.suggestor.impl.CheckSubsStructureSanctionRule

All Implemented Interfaces:

PropertySanctionRule

public class CheckSubsStructureSanctionRule
extends Object
implements PropertySanctionRule

Looks at the direct subclasses to determine which properties are restricted.

Sanction is met if for all d where DirectStrictSubClassOf(c, d) if SubClassOf(d, p only x) is asserted (where x is any class expression).

NNF is used when evaluating candidate restrictions.

Constructor Summary

Constructors

Constructor and Description
CheckSubsStructureSanctionRule()

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)

Methods inherited from class java.lang.Object

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

Constructor Detail

CheckSubsStructureSanctionRule

public CheckSubsStructureSanctionRule()

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)