edu.stanford.smi.protegex.owl.ui.existential
Class Existential

java.lang.Object
  edu.stanford.smi.protegex.owl.ui.existential.Existential

public class Existential

extends Object

A utility class to compute transitive relationships between classes.

Author:

Holger Knublauch

Constructor Summary

Existential()

Method Summary

static OWLSomeValuesFrom	getDirectExistentialRelation(OWLNamedClass parentClass, OWLObjectProperty property, OWLNamedClass childClass)
private static void	getExistentialDependents(List result, OWLIntersectionClass superclass, OWLObjectProperty property)
static List	getExistentialDependents(OWLNamedClass cls, OWLObjectProperty property) Computes the collection of all NamedClses which are related to cls through a direct someValuesFrom restriction for a given property.
static boolean	isDirectExistentialDependent(OWLNamedClass parentClass, OWLObjectProperty property, OWLNamedClass childClass)
private static void	perhapsAdd(List result, RDFSClass superclass, OWLObjectProperty property)
static void	removeExistentialDependent(OWLNamedClass parentClass, OWLObjectProperty property, OWLNamedClass childClass)

Methods inherited from class java.lang.Object

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

Constructor Detail

Existential

public Existential()

Method Detail

getExistentialDependents

public static List getExistentialDependents(OWLNamedClass cls,
                                            OWLObjectProperty property)

Computes the collection of all NamedClses which are related to cls through a direct someValuesFrom restriction for a given property.

Parameters:

cls - the named class to start at

property - the (transitive) property to check

Returns:

a List of OWLNamedClass instances - sorted alphabetically

getExistentialDependents

private static void getExistentialDependents(List result,
                                             OWLIntersectionClass superclass,
                                             OWLObjectProperty property)

perhapsAdd

private static void perhapsAdd(List result,
                               RDFSClass superclass,
                               OWLObjectProperty property)

getDirectExistentialRelation

public static OWLSomeValuesFrom getDirectExistentialRelation(OWLNamedClass parentClass,
                                                             OWLObjectProperty property,
                                                             OWLNamedClass childClass)

isDirectExistentialDependent

public static boolean isDirectExistentialDependent(OWLNamedClass parentClass,
                                                   OWLObjectProperty property,
                                                   OWLNamedClass childClass)

removeExistentialDependent

public static void removeExistentialDependent(OWLNamedClass parentClass,
                                              OWLObjectProperty property,
                                              OWLNamedClass childClass)