Package com.semedy.reasoner.edb.zdb
Class Schemas
java.lang.Object
com.semedy.reasoner.edb.zdb.Schemas
Schema and hiearchy information
- Author:
- angele
-
Field Summary
Modifier and TypeFieldDescriptionstatic long
static long
static long
static long
symbol tablestatic long
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
build()
build schema and hierarchy information in edbboolean
containsClass
(long cls, long module) is class contained in modulegnu.trove.list.TLongList
getClasses
(long property) get all classes property is defined for (no inheritance)gnu.trove.list.TLongList
getClasses
(long property, long module) get all classes property is defined for (no inheritance) in modulelong
getMaxCardinality
(long property) get the max cardinality for propertylong
getMaxCardinality
(long property, long module) get the max cardinality for property in modulelong
getMinCardinality
(long property) get the min cardinality for propertylong
getMinCardinality
(long property, long module) get the min cardinality for property in modulelong
getRange
(long property) get the range for propertylong
getRange
(long property, long module) get the range for property in modulegnu.trove.set.TLongSet
getSubclasses
(long cls) get all sub classes of class clsgnu.trove.set.TLongSet
getSubclasses
(long cls, long module) get all sub classes of class cls in moduleboolean
isSubclass
(long cls, long supercls) is cls a sub-class of superclsboolean
isSubclass
(long cls, long supercls, long module) is cls a sub-class of supercls in module
-
Field Details
-
_propertiesCode
public static long _propertiesCodesymbol table -
_minCardinalityCode
public static long _minCardinalityCode -
_maxCardinalityCode
public static long _maxCardinalityCode -
_rangeCode
public static long _rangeCode -
_code1
public static long _code1
-
-
Constructor Details
-
Schemas
public Schemas(ExtensionalDB edb, SymbolTable symbols) throws EDBException, SemReasonerException, IOException
-
-
Method Details
-
build
build schema and hierarchy information in edb- Throws:
IOException
SemReasonerException
-
containsClass
public boolean containsClass(long cls, long module) is class contained in module- Parameters:
cls
-module
-- Returns:
-
isSubclass
public boolean isSubclass(long cls, long supercls, long module) is cls a sub-class of supercls in module- Parameters:
cls
-supercls
-module
-- Returns:
-
isSubclass
public boolean isSubclass(long cls, long supercls) is cls a sub-class of supercls- Parameters:
cls
-supercls
-module
-- Returns:
-
getSubclasses
public gnu.trove.set.TLongSet getSubclasses(long cls, long module) get all sub classes of class cls in module- Parameters:
cls
-module
-- Returns:
-
getSubclasses
public gnu.trove.set.TLongSet getSubclasses(long cls) get all sub classes of class cls- Parameters:
cls
-- Returns:
-
getClasses
public gnu.trove.list.TLongList getClasses(long property) get all classes property is defined for (no inheritance)- Parameters:
property
-- Returns:
-
getMinCardinality
public long getMinCardinality(long property) get the min cardinality for property- Parameters:
property
-- Returns:
-
getMaxCardinality
public long getMaxCardinality(long property) get the max cardinality for property- Parameters:
property
-- Returns:
-
getRange
public long getRange(long property) get the range for property- Parameters:
property
-- Returns:
-
getClasses
public gnu.trove.list.TLongList getClasses(long property, long module) get all classes property is defined for (no inheritance) in module- Parameters:
property
-- Returns:
-
getMinCardinality
public long getMinCardinality(long property, long module) get the min cardinality for property in module- Parameters:
property
-- Returns:
-
getMaxCardinality
public long getMaxCardinality(long property, long module) get the max cardinality for property in module- Parameters:
property
-- Returns:
-
getRange
public long getRange(long property, long module) get the range for property in module- Parameters:
property
-- Returns:
-