edu.stanford.smi.protegex.owl.model.util
Class ClosureAxiomFactory

java.lang.Object
  edu.stanford.smi.protegex.owl.model.util.ClosureAxiomFactory

public class ClosureAxiomFactory

extends Object

A utility for creating and detecting closure axioms.

Closure axioms can be applied to existential restrictions that are direct pure superclass or part of an equivalent intersection of an OWLNamedClass.

For example: hasParent some Mother hasParent some Father Can be closed by adding: hasParent all (Mother or Father)

Author:

Holger Knublauch

Constructor Summary

ClosureAxiomFactory()

Method Summary

static OWLAllValuesFrom	addClosureAxiom(OWLNamedClass namedClass, OWLExistentialRestriction restriction)
static OWLAllValuesFrom	getClosureAxiom(OWLNamedClass namedClass, OWLExistentialRestriction restriction) Checks whether a closure axiom exists for a given class/property pair.
private static Iterator	getClosureAxiomCandidates(OWLNamedClass namedClass, OWLExistentialRestriction restriction)
private static RDFSClass	getFiller(List existentials, OWLModel owlModel)
private static List	getFillerStrings(OWLNamedClass cls, RDFProperty property)

Methods inherited from class java.lang.Object

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

Constructor Detail

ClosureAxiomFactory

public ClosureAxiomFactory()

Method Detail

addClosureAxiom

public static OWLAllValuesFrom addClosureAxiom(OWLNamedClass namedClass,
                                               OWLExistentialRestriction restriction)

getClosureAxiom

public static OWLAllValuesFrom getClosureAxiom(OWLNamedClass namedClass,
                                               OWLExistentialRestriction restriction)

Checks whether a closure axiom exists for a given class/property pair. This is always true after addClosureAxiom() has been called.

Parameters:

namedClass - the named class

restriction - the restriction being (possibly) closed

Returns:

an existing OWLAllValuesFrom or null if no matching restriction exists

getClosureAxiomCandidates

private static Iterator getClosureAxiomCandidates(OWLNamedClass namedClass,
                                                  OWLExistentialRestriction restriction)

getFiller

private static RDFSClass getFiller(List existentials,
                                   OWLModel owlModel)

getFillerStrings

private static List getFillerStrings(OWLNamedClass cls,
                                     RDFProperty property)