org.semanticweb.HermiT.model
Class DescriptionGraph

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

public class DescriptionGraph
extends Object
implements DLPredicate, Serializable

See Also:
Serialized Form

Nested Class Summary
static class DescriptionGraph.Edge
           
 
Field Summary
protected  AtomicConcept[] m_atomicConceptsByVertices
           
protected  DescriptionGraph.Edge[] m_edges
           
protected  String m_name
           
protected  Set<AtomicConcept> m_startConcepts
           
 
Constructor Summary
DescriptionGraph(String name, AtomicConcept[] atomicConceptsByVertices, DescriptionGraph.Edge[] edges, Set<AtomicConcept> startConcepts)
           
 
Method Summary
 int getArity()
           
 AtomicConcept getAtomicConceptForVertex(int vertex)
           
 DescriptionGraph.Edge getEdge(int edgeIndex)
           
 String getName()
           
 int getNumberOfEdges()
           
 int getNumberOfVertices()
           
 Set<AtomicConcept> getStartConcepts()
           
 String getTextRepresentation()
           
 void produceStartDLClauses(Set<DLClause> resultingDLClauses)
           
 String toString()
           
 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 String m_name

m_atomicConceptsByVertices

protected final AtomicConcept[] m_atomicConceptsByVertices

m_edges

protected final DescriptionGraph.Edge[] m_edges

m_startConcepts

protected final Set<AtomicConcept> m_startConcepts
Constructor Detail

DescriptionGraph

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

getName

public 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 Set<AtomicConcept> getStartConcepts()

produceStartDLClauses

public void produceStartDLClauses(Set<DLClause> resultingDLClauses)

toString

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

toString

public String toString()
Overrides:
toString in class Object

getTextRepresentation

public String getTextRepresentation()


Copyright © 2012. All Rights Reserved.