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

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)
           
 



Copyright © 2004 Evren Sirin. All Rights Reserved.