org.mindswap.pellet.utils

Class SizeEstimate

java.lang.Object

org.mindswap.pellet.utils.SizeEstimate

public class SizeEstimate
extends Object

Title:

Description:

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Petr Kremen

Property Summary

Properties

Type	Property and Description
double	avgPairsPer
double	avgSubjectsPer

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	CHECK_CONCEPT_SAT
protected static Logger	log
static double	UNKNOWN_PROB

Constructor Summary

Constructors

Constructor and Description
SizeEstimate(KnowledgeBase kb)

Method Summary

Methods

Modifier and Type	Method and Description
double	avg(aterm.ATermAppl pred)
double	avgClassesPerInstance(boolean direct)
double	avgComplementClasses()
double	avgDifferentsPerInstance()
double	avgDirectInstancesPerClass()
double	avgDisjointClasses()
double	avgEquivClasses()
double	avgEquivProperties()
double	avgInstancesPerClass(boolean direct)
double	avgInverseProperties()
double	avgPairsPerProperty()
double	avgSamesPerInstance()
double	avgSubClasses(boolean direct)
double	avgSubjectsPerProperty()
double	avgSubProperties(boolean direct)
double	avgSuperClasses(boolean direct)
double	avgSuperProperties(boolean direct)
int	classesPerInstance(aterm.ATermAppl i, boolean direct)
double	complements(aterm.ATermAppl sup)
void	compute(Collection<aterm.ATermAppl> cs, Collection<aterm.ATermAppl> ps)
void	computeAll()
void	computKBCosts()
double	differents(aterm.ATermAppl sup)
double	disjoints(aterm.ATermAppl sup)
double	equivClasses(aterm.ATermAppl sup)
double	equivProperties(aterm.ATermAppl sup)
int	getClassCount()
long	getCost(KBOperation operation)
int	getDataPropertyCount()
int	getFunctionalPropertyCount()
int	getInstanceCount()
int	getInverseFunctionalPropertyCount()
int	getObjectPropertyCount()
int	getPropertyCount()
int	getSymmetricPropertyCount()
int	getTransitivePropertyCount()
double	inverses(aterm.ATermAppl sup)
boolean	isComputed(aterm.ATermAppl term)
boolean	isKBComputed()
double	sames(aterm.ATermAppl sup)
int	size(aterm.ATermAppl c)
double	subClasses(aterm.ATermAppl sup, boolean direct)
double	subProperties(aterm.ATermAppl sup, boolean direct)
double	superClasses(aterm.ATermAppl sup, boolean direct)
double	superProperties(aterm.ATermAppl sup, boolean direct)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Property Detail

avgPairsPer

avgSubjectsPer

Field Detail

log

protected static final Logger log

UNKNOWN_PROB

public static double UNKNOWN_PROB

CHECK_CONCEPT_SAT

public static boolean CHECK_CONCEPT_SAT

Constructor Detail

SizeEstimate

public SizeEstimate(KnowledgeBase kb)

Method Detail

isKBComputed

public boolean isKBComputed()

computKBCosts

public void computKBCosts()

computeAll

public void computeAll()

isComputed

public boolean isComputed(aterm.ATermAppl term)

compute

public void compute(Collection<aterm.ATermAppl> cs,
           Collection<aterm.ATermAppl> ps)

size

public int size(aterm.ATermAppl c)

classesPerInstance

public int classesPerInstance(aterm.ATermAppl i,
                     boolean direct)

avg

public double avg(aterm.ATermAppl pred)

getClassCount

public int getClassCount()

getInstanceCount

public int getInstanceCount()

getPropertyCount

public int getPropertyCount()

getObjectPropertyCount

public int getObjectPropertyCount()

getDataPropertyCount

public int getDataPropertyCount()

getFunctionalPropertyCount

public int getFunctionalPropertyCount()

getInverseFunctionalPropertyCount

public int getInverseFunctionalPropertyCount()

getTransitivePropertyCount

public int getTransitivePropertyCount()

getSymmetricPropertyCount

public int getSymmetricPropertyCount()

avgInstancesPerClass

public double avgInstancesPerClass(boolean direct)

avgDirectInstancesPerClass

public double avgDirectInstancesPerClass()

avgPairsPerProperty

public double avgPairsPerProperty()

avgSubjectsPerProperty

public double avgSubjectsPerProperty()

avgSubClasses

public double avgSubClasses(boolean direct)

avgSuperClasses

public double avgSuperClasses(boolean direct)

avgEquivClasses

public double avgEquivClasses()

avgDisjointClasses

public double avgDisjointClasses()

avgComplementClasses

public double avgComplementClasses()

avgSubProperties

public double avgSubProperties(boolean direct)

avgSuperProperties

public double avgSuperProperties(boolean direct)

avgEquivProperties

public double avgEquivProperties()

avgInverseProperties

public double avgInverseProperties()

avgSamesPerInstance

public double avgSamesPerInstance()

avgDifferentsPerInstance

public double avgDifferentsPerInstance()

avgClassesPerInstance

public double avgClassesPerInstance(boolean direct)

subClasses

public double subClasses(aterm.ATermAppl sup,
                boolean direct)

subProperties

public double subProperties(aterm.ATermAppl sup,
                   boolean direct)

superClasses

public double superClasses(aterm.ATermAppl sup,
                  boolean direct)

superProperties

public double superProperties(aterm.ATermAppl sup,
                     boolean direct)

equivClasses

public double equivClasses(aterm.ATermAppl sup)

equivProperties

public double equivProperties(aterm.ATermAppl sup)

sames

public double sames(aterm.ATermAppl sup)

differents

public double differents(aterm.ATermAppl sup)

disjoints

public double disjoints(aterm.ATermAppl sup)

complements

public double complements(aterm.ATermAppl sup)

inverses

public double inverses(aterm.ATermAppl sup)

getCost

public long getCost(KBOperation operation)