|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface TBox
| Method Summary | |
|---|---|
void |
absorb()
Absorb GCIs into primitive definitions |
boolean |
addAxiom(aterm.ATermAppl axiom)
Add a TBox axiom. |
boolean |
addClass(aterm.ATermAppl term)
Add a named class declaration |
java.util.Set<aterm.ATermAppl> |
getAllClasses()
Return all the named classes plus TOP and BOTTOM |
java.util.Collection<aterm.ATermAppl> |
getAssertedAxioms()
Return all the asserted axioms in this TBox |
java.util.Set<aterm.ATermAppl> |
getAxiomExplanation(aterm.ATermAppl axiom)
Return a single explanation for the given TBox axiom. |
java.util.Set<java.util.Set<aterm.ATermAppl>> |
getAxiomExplanations(aterm.ATermAppl axiom)
Return multiple explanations for the given TBox axiom. |
java.util.Collection<aterm.ATermAppl> |
getAxioms()
Return all the axioms defined in this TBox (may include new axioms introduced during absorption) |
java.util.Collection<aterm.ATermAppl> |
getAxioms(aterm.ATermAppl concept)
Return all the sub and equivalent class axioms that have the given concept on the left hand side |
java.util.Set<aterm.ATermAppl> |
getClasses()
Return all the named classes |
java.util.List<Pair<aterm.ATermAppl,DependencySet>> |
getUC()
Return the concepts the comprise the universal concept. |
void |
internalize()
Turn the non-absorbed GCIs into disjunctions that will be used in the universal concept |
void |
normalize()
Normalize the primitive definitions so they can be directly used in unfolding |
boolean |
removeAxiom(aterm.ATermAppl axiom)
Remove axiom from TBox and all other axioms that depend on it. |
boolean |
removeAxiom(aterm.ATermAppl dependantAxiom,
aterm.ATermAppl explanationAxiom)
Remove all explanations for dependantAxiom that contain
explanationAxiom. |
java.util.List<Pair<aterm.ATermAppl,java.util.Set<aterm.ATermAppl>>> |
unfold(aterm.ATermAppl c)
Lazy unfold the given concept |
| Method Detail |
|---|
boolean addClass(aterm.ATermAppl term)
true if TBox changed as a result of this calljava.util.Set<aterm.ATermAppl> getClasses()
java.util.Set<aterm.ATermAppl> getAllClasses()
java.util.Collection<aterm.ATermAppl> getAxioms()
java.util.Collection<aterm.ATermAppl> getAssertedAxioms()
java.util.Collection<aterm.ATermAppl> getAxioms(aterm.ATermAppl concept)
void absorb()
void normalize()
void internalize()
java.util.List<Pair<aterm.ATermAppl,DependencySet>> getUC()
java.util.List<Pair<aterm.ATermAppl,java.util.Set<aterm.ATermAppl>>> unfold(aterm.ATermAppl c)
c -
boolean addAxiom(aterm.ATermAppl axiom)
axiom -
boolean removeAxiom(aterm.ATermAppl axiom)
axiom from TBox and all other axioms that depend on it. An
axiom depends on another axiom if it is a syntactic transformation (as in
disjoint axiom is transformed into subclass) or it is obtained via
absorption (as equivalent class axioms are absorbed into subclass
axioms). This method is syntactic sugar for
removeAxiom(ATermAppl, ATermAppl) where both parameters are
axiom.
axiom -
boolean removeAxiom(aterm.ATermAppl dependantAxiom,
aterm.ATermAppl explanationAxiom)
dependantAxiom that contain
explanationAxiom. If no explanations remain,
dependantAxiom is removed and all axioms which depend on it are
updated (and will be removed if they have no additional explanations).
dependantAxiom - explanationAxiom -
java.util.Set<aterm.ATermAppl> getAxiomExplanation(aterm.ATermAppl axiom)
axiom -
java.util.Set<java.util.Set<aterm.ATermAppl>> getAxiomExplanations(aterm.ATermAppl axiom)
axiom -
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||