org.semanticweb.HermiT.model

Class DescriptionGraph

java.lang.Object

org.semanticweb.HermiT.model.DescriptionGraph

All Implemented Interfaces:

Serializable, DLPredicate

public class DescriptionGraph
extends Object
implements DLPredicate, Serializable

DescriptionGraph.

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	DescriptionGraph.Edge Edge.

Constructor Summary

Constructors

Constructor and Description
DescriptionGraph(String name, AtomicConcept[] atomicConceptsByVertices, DescriptionGraph.Edge[] edges, Set<AtomicConcept> startConcepts)

Method Summary

Modifier and Type	Method and Description
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

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

DescriptionGraph

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

Parameters:

name - name

atomicConceptsByVertices - atomicConceptsByVertices

edges - edges

startConcepts - startConcepts

Method Detail

getName

public String getName()

Returns:

name

getArity

public int getArity()

Specified by:

getArity in interface DLPredicate

Returns:

arity

getAtomicConceptForVertex

public AtomicConcept getAtomicConceptForVertex(int vertex)

Parameters:

vertex - vertex

Returns:

concept for vertex

getNumberOfVertices

public int getNumberOfVertices()

Returns:

number of vertices

getNumberOfEdges

public int getNumberOfEdges()

Returns:

number of edges

getEdge

public DescriptionGraph.Edge getEdge(int edgeIndex)

Parameters:

edgeIndex - edgeIndex

Returns:

edge

getStartConcepts

public Set<AtomicConcept> getStartConcepts()

Returns:

start concepts

produceStartDLClauses

public void produceStartDLClauses(Set<DLClause> resultingDLClauses)

Parameters:

resultingDLClauses - resultingDLClauses

toString

public String toString(Prefixes ns)

Specified by:

toString in interface DLPredicate

Parameters:

ns - prefixes

Returns:

tostring

toString

public String toString()

Overrides:

toString in class Object

getTextRepresentation

public String getTextRepresentation()

Returns:

text representation