public class SubPropertyConstraint extends PropConstraint
Constructor and Description |
---|
SubPropertyConstraint(java.util.List<IRI> subProps) |
Modifier and Type | Method and Description |
---|---|
java.util.List<IRI> |
getSubProps() |
java.util.List<FOFormula> |
toFOL(IRI clazz,
Environment e) |
java.lang.String |
toString() |
getPropWithRange, setPropWithRangeType
public SubPropertyConstraint(java.util.List<IRI> subProps)
public java.util.List<IRI> getSubProps()
public java.lang.String toString()
toString
in class PropConstraint
public java.util.List<FOFormula> toFOL(IRI clazz, Environment e)
toFOL
in interface FOConvertableInContext
toFOL
in class PropConstraint