|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.mindswap.pellet.tbox.impl.TBoxExpImpl
public class TBoxExpImpl
Title: Implementation of TBox interface to generate explanations efficiently and correctly.
Description:
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
| Field Summary | |
|---|---|
static java.util.logging.Logger |
log
|
TgBox |
Tg
|
TuBox |
Tu
|
| Constructor Summary | |
|---|---|
TBoxExpImpl(KnowledgeBase kb)
|
|
| 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 |
boolean |
containsAxiom(aterm.ATermAppl axiom)
|
java.util.Collection<aterm.ATermAppl> |
getAbsorbedAxioms()
|
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 term)
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 |
KnowledgeBase |
getKB()
|
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 |
void |
print()
|
void |
print(java.lang.Appendable str)
|
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.lang.String |
toString()
|
java.util.List<Pair<aterm.ATermAppl,java.util.Set<aterm.ATermAppl>>> |
unfold(aterm.ATermAppl c)
Lazy unfold the given concept |
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Field Detail |
|---|
public static java.util.logging.Logger log
public TuBox Tu
public TgBox Tg
| Constructor Detail |
|---|
public TBoxExpImpl(KnowledgeBase kb)
| Method Detail |
|---|
public KnowledgeBase getKB()
public java.util.Set<aterm.ATermAppl> getAllClasses()
TBox
getAllClasses in interface TBoxpublic java.util.Set<java.util.Set<aterm.ATermAppl>> getAxiomExplanations(aterm.ATermAppl axiom)
TBox
getAxiomExplanations in interface TBoxpublic java.util.Set<aterm.ATermAppl> getAxiomExplanation(aterm.ATermAppl axiom)
TBox
getAxiomExplanation in interface TBoxpublic boolean addAxiom(aterm.ATermAppl axiom)
TBox
addAxiom in interface TBoxpublic boolean removeAxiom(aterm.ATermAppl axiom)
TBoxaxiom 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
TBox.removeAxiom(ATermAppl, ATermAppl) where both parameters are
axiom.
removeAxiom in interface TBox
public boolean removeAxiom(aterm.ATermAppl dependantAxiom,
aterm.ATermAppl explanationAxiom)
TBoxdependantAxiom 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).
removeAxiom in interface TBoxpublic java.util.Collection<aterm.ATermAppl> getAxioms()
TBox
getAxioms in interface TBoxpublic java.util.Collection<aterm.ATermAppl> getAssertedAxioms()
TBox
getAssertedAxioms in interface TBoxpublic java.util.Collection<aterm.ATermAppl> getAbsorbedAxioms()
public boolean containsAxiom(aterm.ATermAppl axiom)
public void absorb()
TBox
absorb in interface TBoxpublic void print()
public java.lang.String toString()
toString in class java.lang.Objectpublic void print(java.lang.Appendable str)
public java.util.List<Pair<aterm.ATermAppl,DependencySet>> getUC()
TBox
getUC in interface TBoxpublic boolean addClass(aterm.ATermAppl term)
TBox
addClass in interface TBoxtrue if TBox changed as a result of this callpublic java.util.Set<aterm.ATermAppl> getClasses()
TBox
getClasses in interface TBoxpublic java.util.Collection<aterm.ATermAppl> getAxioms(aterm.ATermAppl term)
TBox
getAxioms in interface TBoxpublic void normalize()
TBox
normalize in interface TBoxpublic void internalize()
TBox
internalize in interface TBoxpublic java.util.List<Pair<aterm.ATermAppl,java.util.Set<aterm.ATermAppl>>> unfold(aterm.ATermAppl c)
TBox
unfold in interface TBox
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||