org.coode.suggestor.util

Class DataFillerAccumulator

java.lang.Object

org.coode.suggestor.util.RestrictionAccumulator

org.coode.suggestor.util.DataFillerAccumulator

public class DataFillerAccumulator
extends RestrictionAccumulator

Get all fillers in restrictions using the given data property.

Field Summary

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

r

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
protected void	add(O filler)
java.util.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, java.lang.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

DataFillerAccumulator

public DataFillerAccumulator(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,
                                                                 java.lang.Class<? extends org.semanticweb.owlapi.model.OWLRestriction<?,?,?>> type)

Overrides:

getVisitor in class RestrictionAccumulator

getFillers

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

add

protected void add(O filler)