org.mindswap.pellet.datatypes
Class DatatypeReasoner
java.lang.Object
org.mindswap.pellet.datatypes.DatatypeReasoner
public class DatatypeReasoner
- extends java.lang.Object
- Author:
- Evren Sirin
|
Field Summary |
static java.util.logging.Logger |
log
|
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
log
public static java.util.logging.Logger log
DatatypeReasoner
public DatatypeReasoner()
getDatatypeURIs
public final java.util.Set<java.lang.String> getDatatypeURIs()
isDefined
public final boolean isDefined(java.lang.String datatypeURI)
isDefined
public final boolean isDefined(Datatype datatype)
defineDatatype
public void defineDatatype(java.lang.String name,
Datatype dt)
defineUnknownDatatype
public void defineUnknownDatatype(java.lang.String name)
parseXMLSchema
public org.apache.xerces.xs.XSNamedMap parseXMLSchema(java.net.URL url)
throws java.lang.Exception
- Throws:
java.lang.Exception
defineDatatype
public java.lang.String defineDatatype(Datatype dt)
removeDatatype
public void removeDatatype(java.lang.String name)
getDatatype
public Datatype getDatatype(java.lang.String datatypeURI)
getDatatypeURI
public java.lang.String getDatatypeURI(Datatype datatype)
getValue
public java.lang.Object getValue(aterm.ATermAppl lit)
singleton
public Datatype singleton(aterm.ATermAppl term)
enumeration
public Datatype enumeration(java.util.Set values)
getCanonicalRepresentation
public aterm.ATermAppl getCanonicalRepresentation(aterm.ATermAppl literal)
- Returns the canonical representation of the given literal.
Datatyped literals are represented using their base type.
getRestrictedDatatype
public Datatype getRestrictedDatatype(aterm.ATermAppl restrictedDatatype)
getDatatype
public Datatype getDatatype(aterm.ATermAppl datatypeTerm)
negate
public Datatype negate(Datatype datatype)
isSubTypeOf
public boolean isSubTypeOf(aterm.ATermAppl d1,
aterm.ATermAppl d2)
- Check if a datatype is subsumed by another datatype
- Parameters:
d1 - d2 -
- Returns:
intersection
public Datatype intersection(aterm.ATermAppl[] datatypeTerms)
- Return a datatype that represents the intersection of a set of (possibly negated) datatypes.
- Parameters:
datatypeTerms -
- Returns:
Copyright © 2004 Evren Sirin. All Rights Reserved.