|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface TBox
Method Summary | |
---|---|
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 |
boolean |
isPrimitive(aterm.ATermAppl c)
Returns if a concept has only primitive definitions in this TBox. |
void |
prepare()
Make any preparation necessary before reasoning. |
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.Iterator<Unfolding> |
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)
java.util.Iterator<Unfolding> unfold(aterm.ATermAppl c)
c
-
boolean isPrimitive(aterm.ATermAppl c)
false
for complex class
expressions.
c
- a concept (named concept or a concept expression)
true
if the concept is not complex and has only
primitive definitionsboolean 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
-
void prepare()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |