org.semanticweb.HermiT.model
Class DescriptionGraph

java.lang.Object
  extended by org.semanticweb.HermiT.model.DescriptionGraph
All Implemented Interfaces:
java.io.Serializable, DLPredicate

public class DescriptionGraph
extends java.lang.Object
implements DLPredicate, java.io.Serializable

See Also:
Serialized Form

Nested Class Summary
static class DescriptionGraph.Edge
           
 
Field Summary
protected  AtomicConcept[] m_atomicConceptsByVertices
           
protected  DescriptionGraph.Edge[] m_edges
           
protected  java.lang.String m_name
           
protected  java.util.Set<AtomicConcept> m_startConcepts
           
 
Constructor Summary
DescriptionGraph(java.lang.String name, AtomicConcept[] atomicConceptsByVertices, DescriptionGraph.Edge[] edges, java.util.Set<AtomicConcept> startConcepts)
           
 
Method Summary
 int getArity()
           
 AtomicConcept getAtomicConceptForVertex(int vertex)
           
 DescriptionGraph.Edge getEdge(int edgeIndex)
           
 java.lang.String getName()
           
 int getNumberOfEdges()
           
 int getNumberOfVertices()
           
 java.util.Set<AtomicConcept> getStartConcepts()
           
 java.lang.String getTextRepresentation()
           
 void produceStartDLClauses(java.util.Set<DLClause> resultingDLClauses)
           
 java.lang.String toString()
           
 java.lang.String toString(Prefixes ns)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

m_name

protected final java.lang.String m_name

m_atomicConceptsByVertices

protected final AtomicConcept[] m_atomicConceptsByVertices

m_edges

protected final DescriptionGraph.Edge[] m_edges

m_startConcepts

protected final java.util.Set<AtomicConcept> m_startConcepts
Constructor Detail

DescriptionGraph

public DescriptionGraph(java.lang.String name,
                        AtomicConcept[] atomicConceptsByVertices,
                        DescriptionGraph.Edge[] edges,
                        java.util.Set<AtomicConcept> startConcepts)
Method Detail

getName

public java.lang.String getName()

getArity

public int getArity()
Specified by:
getArity in interface DLPredicate

getAtomicConceptForVertex

public AtomicConcept getAtomicConceptForVertex(int vertex)

getNumberOfVertices

public int getNumberOfVertices()

getNumberOfEdges

public int getNumberOfEdges()

getEdge

public DescriptionGraph.Edge getEdge(int edgeIndex)

getStartConcepts

public java.util.Set<AtomicConcept> getStartConcepts()

produceStartDLClauses

public void produceStartDLClauses(java.util.Set<DLClause> resultingDLClauses)

toString

public java.lang.String toString(Prefixes ns)
Specified by:
toString in interface DLPredicate

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

getTextRepresentation

public java.lang.String getTextRepresentation()