Docs For Class Erfurt_Reasoning_DIG1_1

Package: erfurt

Class `Erfurt_Reasoning_DIG1_1_DIGReasoner`

All Implemented Interfaces:

Erfurt_Reasoning_Reasoner

Description

* @package reasoning

Variable Summary
mixed	$Client
mixed	$debug_flag
mixed	$digvars
mixed	$internalURI
mixed	$model

Method Summary
Erfurt_Reasoning_DIG1_1_DIGReasoner	Erfurt_Reasoning_DIG1_1_DIGReasoner ( $OWLModel, $modelURI)
void	allConceptNames ()
void	allIndividuals ()
void	allRoleNames ()
void	ancestors ( $concept)
void	children ( $concept)
void	createKB ( $modelURI)
void	descendants ( $concept)
void	disjoint ( $concept1, $concept2)
void	equivalents ( $concept)
void	instance ( $individual, $concept)
void	instances ( $concept)
void	loadKB ( $OWLModel)
void	lookupURI ( $OWLmodel, $modelURI)
void	parents ( $concept)
void	rancestors ( $role)
void	rchildren ( $role)
void	rdescendants ( $role)
void	relatedIndividuals ( $role)
void	releaseKB ( $releaseURI)
void	roleFillers ( $individual, $role)
void	rparents ( $role)
void	satisfiable ( $concept)
void	subsumes ( $concept1, $concept2)
void	testReasoner ()
void	toldValues ( $individual, $attribute)
void	types ( $individual)

Variables

$Client

mixed $Client

$debug_flag

mixed $debug_flag

$digvars

mixed $digvars

$internalURI

mixed $internalURI

$model

mixed $model

Methods

Constructor Erfurt_Reasoning_DIG1_1_DIGReasoner

Erfurt_Reasoning_DIG1_1_DIGReasoner Erfurt_Reasoning_DIG1_1_DIGReasoner ( $OWLModel , $modelURI )

access: public

Parameters:

$OWLModel
$modelURI

allConceptNames

void allConceptNames ()

access: public

allIndividuals

void allIndividuals ()

access: public

allRoleNames

void allRoleNames ()

access: public

ancestors

void ancestors ( $concept )

access: public

Parameters:

$concept

children

void children ( $concept )

access: public

Parameters:

$concept

createKB

void createKB ( $modelURI )

access: public

Parameters:

$modelURI

descendants

void descendants ( $concept )

access: public

Parameters:

$concept

disjoint

void disjoint ( $concept1 , $concept2 )

access: public

Parameters:

$concept1
$concept2

equivalents

void equivalents ( $concept )

*****NOT WORKING YET

access: public

Parameters:

$concept

instance

void instance ( $individual , $concept )

access: public

Parameters:

$individual
$concept

instances

void instances ( $concept )

access: public

Parameters:

$concept

loadKB

void loadKB ( $OWLModel )

access: public

Parameters:

$OWLModel

lookupURI

void lookupURI ( $OWLmodel , $modelURI )

access: public

Parameters:

$OWLmodel
$modelURI

parents

void parents ( $concept )

access: public

Parameters:

$concept

rancestors

void rancestors ( $role )

access: public

Parameters:

$role

rchildren

void rchildren ( $role )

access: public

Parameters:

$role

rdescendants

void rdescendants ( $role )

access: public

Parameters:

$role

relatedIndividuals

void relatedIndividuals ( $role )

access: public

Parameters:

$role

releaseKB

void releaseKB ( $releaseURI )

access: public

Parameters:

$releaseURI

roleFillers

void roleFillers ( $individual , $role )

access: public

Parameters:

$individual
$role

rparents

void rparents ( $role )

access: public

Parameters:

$role

satisfiable

void satisfiable ( $concept )

access: public

Parameters:

$concept

subsumes

void subsumes ( $concept1 , $concept2 )

access: public

Parameters:

$concept1
$concept2

testReasoner

void testReasoner ()

access: public

toldValues

void toldValues ( $individual , $attribute )

access: public

Parameters:

$individual
$attribute

types

void types ( $individual )

access: public

Parameters:

$individual

Documentation generated on 2009-01-06 at 01:01 by phpDocumentor 1.4.1

Package: erfurt

Class Erfurt_Reasoning_DIG1_1_DIGReasoner

Class `Erfurt_Reasoning_DIG1_1_DIGReasoner`