info.sswap.impl.empire.model
Class ReasoningServiceImpl.ReasoningTaskBase

java.lang.Object
  extended by info.sswap.impl.empire.model.ReasoningServiceImpl.ReasoningTaskBase
Direct Known Subclasses:
ReasoningServiceImpl.IndividualTranslator
Enclosing class:
ReasoningServiceImpl

private abstract class ReasoningServiceImpl.ReasoningTaskBase
extends java.lang.Object


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

tboxAxioms

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. Because of lazy initialization, most of the code should use getTBoxAxioms(ATermAppl) method to retrieve information from this data structure.

Constructor Detail

ReasoningServiceImpl.ReasoningTaskBase

private ReasoningServiceImpl.ReasoningTaskBase()
Method Detail

getTBoxAxiomList

private java.util.Collection<aterm.ATermAppl> getTBoxAxiomList(aterm.ATermAppl clazz)
Gets/initializes a list for given class in tboxAxioms.

Parameters:
clazz - the class
Returns:
collection that contains corresponding TBox axioms for that class (this collection is never null, even if the class is not known)

initTBoxAxiomMap

private void initTBoxAxiomMap()
Lazily initializes the tboxAxiomsMap


getTBoxAxioms

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).

Parameters:
clazz - the class for which the relevant TBox axioms should be retrieved
Returns:
a list of relevant axioms (may be empty but never null)

getDomains

protected java.util.Collection<aterm.ATermAppl> getDomains(aterm.ATermAppl role)

getRanges

protected java.util.Collection<aterm.ATermAppl> getRanges(aterm.ATermAppl role)

getSuperClasses

protected java.util.Collection<aterm.ATermAppl> getSuperClasses(aterm.ATermAppl clazz)
Gets all super classes of the specified class

Parameters:
clazz - the ATerm for the class
Returns:
a collection of ATerms for the super classes

getEquivalentClasses

protected java.util.Collection<aterm.ATermAppl> getEquivalentClasses(aterm.ATermAppl clazz)
Gets all equivalent classes to the specified class

Parameters:
clazz - the ATerm for the class
Returns:
a collection of ATerms for the equivalent classes


Copyright (c) 2011, iPlant Collaborative, University of Arizona, Cold Spring Harbor Laboratories, University of Texas at Austin.