org.coode.suggestor.util

Class ExistentialObjectFillerAccumulator

java.lang.Object

org.coode.suggestor.util.RestrictionAccumulator

org.coode.suggestor.util.ExistentialObjectFillerAccumulator

public class ExistentialObjectFillerAccumulator
extends RestrictionAccumulator

Get all fillers of SomeValueFrom restrictions along the given object property.

Field Summary

Fields inherited from class org.coode.suggestor.util.RestrictionAccumulator

r

Constructor Summary

Constructors

Constructor and Description
ExistentialObjectFillerAccumulator(org.semanticweb.owlapi.reasoner.OWLReasoner r)

Method Summary

Modifier and Type	Method and Description
protected void	add(O filler)
Set<O>	getFillers(org.semanticweb.owlapi.model.OWLClassExpression descr, org.semanticweb.owlapi.model.OWLPropertyExpression<?,?> prop)
protected org.coode.suggestor.util.RestrictionVisitor	getVisitor(org.semanticweb.owlapi.model.OWLPropertyExpression<?,?> prop, Class<? extends org.semanticweb.owlapi.model.OWLRestriction<?,?,?>> type)

Methods inherited from class org.coode.suggestor.util.RestrictionAccumulator

accummulateRestrictions, getRestrictions, getRestrictions

Methods inherited from class java.lang.Object

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

Constructor Detail

ExistentialObjectFillerAccumulator

public ExistentialObjectFillerAccumulator(org.semanticweb.owlapi.reasoner.OWLReasoner r)

Parameters:

r - reasoner to use

Method Detail

getVisitor

protected org.coode.suggestor.util.RestrictionVisitor getVisitor(org.semanticweb.owlapi.model.OWLPropertyExpression<?,?> prop,
                                                                 Class<? extends org.semanticweb.owlapi.model.OWLRestriction<?,?,?>> type)

Overrides:

getVisitor in class RestrictionAccumulator

getFillers

public Set<O> getFillers(org.semanticweb.owlapi.model.OWLClassExpression descr,
                         org.semanticweb.owlapi.model.OWLPropertyExpression<?,?> prop)

add

protected void add(O filler)