|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use UnrecognizedDatatypeException | |
---|---|
com.clarkparsia.pellet.datatypes |
Uses of UnrecognizedDatatypeException in com.clarkparsia.pellet.datatypes |
---|
Methods in com.clarkparsia.pellet.datatypes that throw UnrecognizedDatatypeException | |
---|---|
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)
|
aterm.ATermAppl |
DatatypeReasoner.getCanonicalRepresentation(aterm.ATermAppl literal)
Get the canonical representation of a literal. |
aterm.ATermAppl |
DatatypeReasonerImpl.getCanonicalRepresentation(aterm.ATermAppl literal)
|
java.lang.Object |
DatatypeReasoner.getValue(aterm.ATermAppl literal)
Get the Java object representation of the data value. |
java.lang.Object |
DatatypeReasonerImpl.getValue(aterm.ATermAppl literal)
|
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)
|
boolean |
DatatypeReasoner.validLiteral(aterm.ATermAppl typedLiteral)
Check if a typed literal is valid (i.e., it is in the lexical space for its datatype) |
boolean |
DatatypeReasonerImpl.validLiteral(aterm.ATermAppl typedLiteral)
|
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |