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 boolean |
DEBUG
|
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
DEBUG
public static boolean DEBUG
DatatypeReasoner
public DatatypeReasoner()
getDatatypeURIs
public final java.util.Set 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
loadUserDefinedDatatype
public void loadUserDefinedDatatype(java.lang.String name)
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)
getDatatype
public Datatype getDatatype(aterm.ATermAppl datatypeTerm)
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 © 2007-2009 Natalya Keberle. All Rights Reserved.