|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectuk.ac.manchester.cs.owl.modularity.SyntacticLocalityModuleExtractor.OntologyAxiomSet
protected class SyntacticLocalityModuleExtractor.OntologyAxiomSet
Auxiliary inner class for the representation of the associated ontology and all its sub-ontologies as arrays of axioms. Advantages: (1) quicker set manipulation operations; (2) storage of all referenced entities of an axiom once this axiom is dealt with.
| Field Summary | |
|---|---|
protected OWLAxiom[] |
ax
Array representing all axioms of the associated ontology. |
| Constructor Summary | |
|---|---|
SyntacticLocalityModuleExtractor.OntologyAxiomSet(java.util.Set<OWLAxiom> axs)
Creates a new OntologyAxiomSet from a given set of axioms without looking up the referenced entities. |
|
| Method Summary | |
|---|---|
boolean[] |
cloneSubset(boolean[] oldSubset)
Clones an array of Booleans that represents a subset of this set. |
OWLAxiom[] |
getAllAxioms()
Returns an array containing all axioms in this set. |
OWLAxiom |
getAxiom(int i)
Returns some axiom from this set. |
java.util.Set<OWLAxiom> |
getAxiomSet(boolean[] isIn)
Returns the set of axioms that is represented by some array of Booleans. |
boolean[] |
getSubset(boolean init)
Constructs an array of Booleans that represents a subset of this set. |
int |
size()
Returns the number of axioms in this set. |
int |
subsetCardinality(boolean[] subset)
|
java.util.Set<OWLAxiom> |
toSet(boolean[] subset)
Transforms a subset of this set (represented by an array of Booleans) into a set of axioms. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
|---|
protected OWLAxiom[] ax
| Constructor Detail |
|---|
public SyntacticLocalityModuleExtractor.OntologyAxiomSet(java.util.Set<OWLAxiom> axs)
axs - the set of axioms representing the ontology| Method Detail |
|---|
public int size()
public OWLAxiom getAxiom(int i)
i - a number for an axiom
public OWLAxiom[] getAllAxioms()
public java.util.Set<OWLAxiom> getAxiomSet(boolean[] isIn)
isIn - an array of Booleans
public boolean[] getSubset(boolean init)
init - determines the initial value of the subset
public boolean[] cloneSubset(boolean[] oldSubset)
oldSubset - an array representing the original subset
public int subsetCardinality(boolean[] subset)
public java.util.Set<OWLAxiom> toSet(boolean[] subset)
subset - an array representing the subset
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||