Uses of Class
com.clarkparsia.pellet.datatypes.exceptions.UnrecognizedDatatypeException

Packages that use UnrecognizedDatatypeException

Package	Description
com.clarkparsia.pellet.datatypes

Uses of UnrecognizedDatatypeException in com.clarkparsia.pellet.datatypes

Methods in com.clarkparsia.pellet.datatypes that throw UnrecognizedDatatypeException

Modifier and Type	Method and Description
boolean	DatatypeReasoner.containsAtLeast(int n, 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, 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)
Object	DatatypeReasoner.getValue(aterm.ATermAppl literal) Get the Java object representation of the data value.
Object	DatatypeReasonerImpl.getValue(aterm.ATermAppl literal)
boolean	DatatypeReasoner.isSatisfiable(Collection<aterm.ATermAppl> dataranges) Shorthand for DatatypeReasoner.isSatisfiable(Collection, Object) where value == null.
boolean	DatatypeReasonerImpl.isSatisfiable(Collection<aterm.ATermAppl> dataranges)
boolean	DatatypeReasoner.isSatisfiable(Collection<aterm.ATermAppl> dataranges, Object value) Check the data ranges on a single literal node are satisfiable (independent of other nodes).
boolean	DatatypeReasonerImpl.isSatisfiable(Collection<aterm.ATermAppl> dataranges, Object value)
boolean	DatatypeReasoner.isSatisfiable(Set<Literal> nodes, Map<Literal,Set<Literal>> ineqs) Check that the data ranges and inequalities asserted on a collection of literal nodes are satisfiable.
boolean	DatatypeReasonerImpl.isSatisfiable(Set<Literal> nodes, Map<Literal,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)
Iterator<?>	DatatypeReasoner.valueIterator(Collection<aterm.ATermAppl> dataranges) Get an iterator for the values of a finite datarange
Iterator<?>	DatatypeReasonerImpl.valueIterator(Collection<aterm.ATermAppl> dataranges)