conexp.fx.core.dl

Class ELInterpretation2<I>

java.lang.Object

conexp.fx.core.dl.ELInterpretation2<I>

public class ELInterpretation2<I>
extends Object

Constructor Summary

Constructors

Constructor and Description
ELInterpretation2()

Method Summary

Modifier and Type	Method and Description
boolean	add(I i, org.semanticweb.owlapi.model.IRI A)
boolean	add(I i, org.semanticweb.owlapi.model.IRI r, I j)
boolean	add(I i, String A)
boolean	add(I i, String r, I j)
MatrixRelation<I,org.semanticweb.owlapi.model.IRI>	getConceptNameExtensionMatrix()
Set<I>	getDomain()
Set<I>	getExtension(ELConceptDescription conceptDescription)
static <T> Set<Set<T>>	getMinimalHittingSets(Set<Set<T>> hypergraph)
ELConceptDescription	getMostSpecificConceptDescription(I object, int roleDepth)
ELConceptDescription	getMostSpecificConceptDescription(Set<I> objects, int roleDepth)
ELConceptDescription	getMostSpecificConceptDescription2(Set<I> objects, int roleDepth)
MatrixRelation<I,I>	getRoleNameExtensionMatrix(org.semanticweb.owlapi.model.IRI roleName)
Map<org.semanticweb.owlapi.model.IRI,MatrixRelation<I,I>>	getRoleNameExtensionMatrixMap()
Signature	getSignature(boolean onlyActiveSignature)
boolean	isInExtensionOf(I i, ELConceptDescription conceptDescription)
boolean	models(ELConceptInclusion conceptInclusion)
boolean	models(ELTBox tBox)
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ELInterpretation2

public ELInterpretation2()

Method Detail

getSignature

public final Signature getSignature(boolean onlyActiveSignature)

getConceptNameExtensionMatrix

public final MatrixRelation<I,org.semanticweb.owlapi.model.IRI> getConceptNameExtensionMatrix()

getRoleNameExtensionMatrix

public final MatrixRelation<I,I> getRoleNameExtensionMatrix(org.semanticweb.owlapi.model.IRI roleName)

getRoleNameExtensionMatrixMap

public final Map<org.semanticweb.owlapi.model.IRI,MatrixRelation<I,I>> getRoleNameExtensionMatrixMap()

getDomain

public final Set<I> getDomain()

add

public final boolean add(I i,
                         org.semanticweb.owlapi.model.IRI A)

add

public final boolean add(I i,
                         String A)

add

public final boolean add(I i,
                         org.semanticweb.owlapi.model.IRI r,
                         I j)

add

public final boolean add(I i,
                         String r,
                         I j)

getExtension

public final Set<I> getExtension(ELConceptDescription conceptDescription)

isInExtensionOf

public final boolean isInExtensionOf(I i,
                                     ELConceptDescription conceptDescription)

models

public final boolean models(ELConceptInclusion conceptInclusion)

models

public final boolean models(ELTBox tBox)

getMostSpecificConceptDescription

public final ELConceptDescription getMostSpecificConceptDescription(I object,
                                                                    int roleDepth)

getMostSpecificConceptDescription

public final ELConceptDescription getMostSpecificConceptDescription(Set<I> objects,
                                                                    int roleDepth)

getMostSpecificConceptDescription2

public final ELConceptDescription getMostSpecificConceptDescription2(Set<I> objects,
                                                                     int roleDepth)

getMinimalHittingSets

public static final <T> Set<Set<T>> getMinimalHittingSets(Set<Set<T>> hypergraph)

toString

public String toString()

Overrides:

toString in class Object