|
Protégé-OWL 3.4 | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.stanford.smi.protegex.owl.model.util.ClosureAxiomFactory
public class ClosureAxiomFactory
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)
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. |
static OWLAllValuesFrom |
getClosureAxiom(OWLNamedClass namedClass,
RDFProperty prop)
Use to find a potential restriction as a base for adding closure on a particular property Will only return universals that have a named class or union of named classes as filler |
static OWLAllValuesFrom |
getClosureAxiom(OWLNamedClass namedClass,
RDFProperty prop,
RDFResource filler)
Use to find a closure axiom for a given property (that already contains the given filler) |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public ClosureAxiomFactory()
Method Detail |
---|
public static OWLAllValuesFrom addClosureAxiom(OWLNamedClass namedClass, OWLExistentialRestriction restriction)
public static OWLAllValuesFrom getClosureAxiom(OWLNamedClass namedClass, OWLExistentialRestriction restriction)
addClosureAxiom()
has been called.
namedClass
- the named classrestriction
- the restriction being (possibly) closed
public static OWLAllValuesFrom getClosureAxiom(OWLNamedClass namedClass, RDFProperty prop)
namedClass
- the base class to be searchedprop
- will also search for universals on the superproperties of that given
public static OWLAllValuesFrom getClosureAxiom(OWLNamedClass namedClass, RDFProperty prop, RDFResource filler)
namedClass
- the base class to be searchedprop
- will also search for universals on the superproperties of that givenfiller
- will search the fillers to find one that contains this resource
|
Protégé-OWL 3.4 | ||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |