|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of InvalidConstrainingFacetException in com.clarkparsia.pellet.datatypes |
---|
Methods in com.clarkparsia.pellet.datatypes that throw InvalidConstrainingFacetException | |
---|---|
RestrictedDatatype<T> |
RestrictedDatatype.applyConstrainingFacet(aterm.ATermAppl facet,
java.lang.Object value)
Apply a constraining facet to further restrict the value space |
boolean |
DatatypeReasoner.containsAtLeast(int n,
java.util.Collection<aterm.ATermAppl> ranges)
Check that the intersection of a collection of data ranges contains a minimum number of elements. |
boolean |
DatatypeReasonerImpl.containsAtLeast(int n,
java.util.Collection<aterm.ATermAppl> ranges)
|
boolean |
DatatypeReasoner.isSatisfiable(java.util.Collection<aterm.ATermAppl> dataranges)
Shorthand for DatatypeReasoner.isSatisfiable(Collection, Object) where
value == null . |
boolean |
DatatypeReasonerImpl.isSatisfiable(java.util.Collection<aterm.ATermAppl> dataranges)
|
boolean |
DatatypeReasoner.isSatisfiable(java.util.Collection<aterm.ATermAppl> dataranges,
java.lang.Object value)
Check the data ranges on a single literal node are satisfiable (independent of other nodes). |
boolean |
DatatypeReasonerImpl.isSatisfiable(java.util.Collection<aterm.ATermAppl> dataranges,
java.lang.Object value)
|
boolean |
DatatypeReasoner.isSatisfiable(java.util.Set<Literal> nodes,
java.util.Map<Literal,java.util.Set<Literal>> ineqs)
Check that the data ranges and inequalities asserted on a collection of literal nodes are satisfiable. |
boolean |
DatatypeReasonerImpl.isSatisfiable(java.util.Set<Literal> nodes,
java.util.Map<Literal,java.util.Set<Literal>> neqs)
|
java.util.Iterator<?> |
DatatypeReasoner.valueIterator(java.util.Collection<aterm.ATermAppl> dataranges)
Get an iterator for the values of a finite datarange |
java.util.Iterator<?> |
DatatypeReasonerImpl.valueIterator(java.util.Collection<aterm.ATermAppl> dataranges)
|
Uses of InvalidConstrainingFacetException in com.clarkparsia.pellet.datatypes.types.bool |
---|
Methods in com.clarkparsia.pellet.datatypes.types.bool that throw InvalidConstrainingFacetException | |
---|---|
RestrictedDatatype<java.lang.Boolean> |
RestrictedBooleanDatatype.applyConstrainingFacet(aterm.ATermAppl facet,
java.lang.Object value)
|
Uses of InvalidConstrainingFacetException in com.clarkparsia.pellet.datatypes.types.datetime |
---|
Methods in com.clarkparsia.pellet.datatypes.types.datetime that throw InvalidConstrainingFacetException | |
---|---|
RestrictedDatatype<javax.xml.datatype.XMLGregorianCalendar> |
RestrictedTimelineDatatype.applyConstrainingFacet(aterm.ATermAppl facet,
java.lang.Object value)
|
Uses of InvalidConstrainingFacetException in com.clarkparsia.pellet.datatypes.types.duration |
---|
Methods in com.clarkparsia.pellet.datatypes.types.duration that throw InvalidConstrainingFacetException | |
---|---|
RestrictedDatatype<javax.xml.datatype.Duration> |
RestrictedDurationDatatype.applyConstrainingFacet(aterm.ATermAppl facet,
java.lang.Object value)
|
Uses of InvalidConstrainingFacetException in com.clarkparsia.pellet.datatypes.types.text |
---|
Methods in com.clarkparsia.pellet.datatypes.types.text that throw InvalidConstrainingFacetException | |
---|---|
RestrictedDatatype<aterm.ATermAppl> |
RestrictedTextDatatype.applyConstrainingFacet(aterm.ATermAppl facet,
java.lang.Object value)
|
Uses of InvalidConstrainingFacetException in com.clarkparsia.pellet.datatypes.types.uri |
---|
Methods in com.clarkparsia.pellet.datatypes.types.uri that throw InvalidConstrainingFacetException | |
---|---|
RestrictedDatatype<aterm.ATermAppl> |
RestrictedURIDatatype.applyConstrainingFacet(aterm.ATermAppl facet,
java.lang.Object value)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |