|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectinfo.sswap.impl.empire.model.ReasoningServiceImpl.ReasoningTaskBase
private abstract class ReasoningServiceImpl.ReasoningTaskBase
Nested Class Summary | |
---|---|
(package private) class |
ReasoningServiceImpl.ReasoningTaskBase.ClassIndividualMapping
Represents a pair that consists of a class and an individual belonging to this class. |
Field Summary | |
---|---|
private java.util.Map<aterm.ATermAppl,java.util.Collection<aterm.ATermAppl>> |
tboxAxioms
Lazily initialized map of classes onto relevant TBox axioms for the specified class. |
Constructor Summary | |
---|---|
private |
ReasoningServiceImpl.ReasoningTaskBase()
|
Method Summary | |
---|---|
protected java.util.Collection<aterm.ATermAppl> |
getDomains(aterm.ATermAppl role)
|
protected java.util.Collection<aterm.ATermAppl> |
getEquivalentClasses(aterm.ATermAppl clazz)
Gets all equivalent classes to the specified class |
protected java.util.Collection<aterm.ATermAppl> |
getRanges(aterm.ATermAppl role)
|
protected java.util.Collection<aterm.ATermAppl> |
getSuperClasses(aterm.ATermAppl clazz)
Gets all super classes of the specified class |
private java.util.Collection<aterm.ATermAppl> |
getTBoxAxiomList(aterm.ATermAppl clazz)
Gets/initializes a list for given class in tboxAxioms. |
protected java.util.Collection<aterm.ATermAppl> |
getTBoxAxioms(aterm.ATermAppl clazz)
Gets relevant TBox axioms for the specified class (currently, the only relevant axioms are sub-/super-/equivalent-class axioms). |
private void |
initTBoxAxiomMap()
Lazily initializes the tboxAxiomsMap |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private java.util.Map<aterm.ATermAppl,java.util.Collection<aterm.ATermAppl>> tboxAxioms
Constructor Detail |
---|
private ReasoningServiceImpl.ReasoningTaskBase()
Method Detail |
---|
private java.util.Collection<aterm.ATermAppl> getTBoxAxiomList(aterm.ATermAppl clazz)
clazz
- the class
private void initTBoxAxiomMap()
protected java.util.Collection<aterm.ATermAppl> getTBoxAxioms(aterm.ATermAppl clazz)
clazz
- the class for which the relevant TBox axioms should be retrieved
protected java.util.Collection<aterm.ATermAppl> getDomains(aterm.ATermAppl role)
protected java.util.Collection<aterm.ATermAppl> getRanges(aterm.ATermAppl role)
protected java.util.Collection<aterm.ATermAppl> getSuperClasses(aterm.ATermAppl clazz)
clazz
- the ATerm for the class
protected java.util.Collection<aterm.ATermAppl> getEquivalentClasses(aterm.ATermAppl clazz)
clazz
- the ATerm for the class
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |