conexp.fx.core.dl

Class ELConceptDescription

java.lang.Object

conexp.fx.core.dl.ELConceptDescription

All Implemented Interfaces:

LatticeElement<ELConceptDescription>, PartialComparable<ELConceptDescription>, Cloneable, Comparable<ELConceptDescription>

public final class ELConceptDescription
extends Object
implements LatticeElement<ELConceptDescription>, Cloneable

Constructor Summary

Constructors

Constructor and Description
ELConceptDescription()
ELConceptDescription(org.semanticweb.owlapi.model.OWLClassExpression concept)
ELConceptDescription(Set<org.semanticweb.owlapi.model.IRI> conceptNames, com.google.common.collect.Multimap<org.semanticweb.owlapi.model.IRI,ELConceptDescription> existentialRestrictions)

Method Summary

Modifier and Type	Method and Description
ELConceptDescription	and(ELConceptDescription that)
static ELConceptDescription	bot()
ELConceptDescription	clone()
int	compareTo(ELConceptDescription other)
static ELConceptDescription	conceptName(org.semanticweb.owlapi.model.IRI conceptName)
static ELConceptDescription	conjunction(Collection<ELConceptDescription> conjuncts)
static ELConceptDescription	conjunction(ELConceptDescription... conjuncts)
static BiFunction<ELConceptDescription,ELConceptDescription,Integer>	distance()
int	distanceTo(ELConceptDescription other)
int	distanceTo2(ELConceptDescription other)
static BiPredicate<ELConceptDescription,ELConceptDescription>	dualNeighborhood()
static BiPredicate<ELConceptDescription,ELConceptDescription>	dualQuasiOrder()
boolean	equals(Object obj)
static BiPredicate<ELConceptDescription,ELConceptDescription>	equivalence()
boolean	equivalent(ELConceptDescription other)
static ELConceptDescription	existentialRestriction(org.semanticweb.owlapi.model.IRI roleName, ELConceptDescription filler)
static ELConceptDescription	existentialRestriction(List<org.semanticweb.owlapi.model.IRI> rs, ELConceptDescription C)
static ELConceptDescription	existentialRestriction(Map.Entry<org.semanticweb.owlapi.model.IRI,ELConceptDescription> entry)
ELConceptDescription	exists(org.semanticweb.owlapi.model.IRI roleName)
Set<org.semanticweb.owlapi.model.IRI>	getConceptNames()
protected Stream<org.semanticweb.owlapi.model.IRI>	getConceptNamesInSignature()
com.google.common.collect.Multimap<org.semanticweb.owlapi.model.IRI,ELConceptDescription>	getExistentialRestrictions()
protected Stream<org.semanticweb.owlapi.model.IRI>	getRoleNamesInSignature()
Signature	getSignature()
boolean	greater(ELConceptDescription other)
boolean	greaterEq(ELConceptDescription other)
ELConceptDescription	greatest()
int	hashCode()
boolean	inf(ELConceptDescription e)
ELConceptDescription	infimum(ELConceptDescription e)
boolean	isBot()
boolean	isEquivalentTo(ELConceptDescription other)
boolean	isLowerNeighborOf(ELConceptDescription other)
boolean	isSubsumedBy(ELConceptDescription other)
boolean	isTop()
boolean	isUpperNeighborOf(ELConceptDescription other)
ELConceptDescription	lcs(ELConceptDescription that)
Set<ELConceptDescription>	lowerNeighbors(Signature sigma)
Set<ELConceptDescription>	lowerNeighbors1(Signature sigma)
Set<ELConceptDescription>	lowerNeighborsA(Signature sigma)
Set<ELConceptDescription>	lowerNeighborsB(Signature sigma)
Set<ELConceptDescription>	lowerNeighborsReduced1(Signature sigma)
static BiPredicate<ELConceptDescription,ELConceptDescription>	neighborhood()
Set<ELConceptDescription>	neighborhood(int radius, Signature sigma)
static ELConceptDescription	of(org.semanticweb.owlapi.model.OWLClassExpression concept)
static ELConceptDescription	parse(String expression)
static BiPredicate<ELConceptDescription,ELConceptDescription>	quasiOrder()
static ELConceptDescription	random(Signature sigma, int maxRoleDepth, int minSize, int maxSize)
int	rank()
int	rank2()
int	rank3()
int	rank4()
long	rank5()
ELConceptDescription	reduce()
void	restrictTo(int roleDepth)
int	roleDepth()
int	size()
int	size2()
boolean	smaller(ELConceptDescription other)
boolean	smallerEq(ELConceptDescription other)
ELConceptDescription	smallest()
boolean	subsumes(ELConceptDescription other)
boolean	sup(ELConceptDescription e)
ELConceptDescription	supremum(ELConceptDescription e)
String	toLaTeXString()
org.semanticweb.owlapi.model.OWLClassExpression	toOWLClassExpression()
static ELConceptDescription	top()
Collection<ELConceptDescription>	topLevelConjuncts()
String	toShortString()
String	toString()
boolean	uncomparable(ELConceptDescription other)
int	unreducedRank()
int	unreducedRank2()
int	unreducedRank4()
Set<ELConceptDescription>	upperNeighbors()
Set<ELConceptDescription>	upperNeighborsReduced()
ELConceptDescription	without(ELConceptDescription that)

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ELConceptDescription

public ELConceptDescription(org.semanticweb.owlapi.model.OWLClassExpression concept)

Parameters:

concept - Creates a new EL normal form from an OWLClassExpression.

ELConceptDescription

public ELConceptDescription(Set<org.semanticweb.owlapi.model.IRI> conceptNames,
                            com.google.common.collect.Multimap<org.semanticweb.owlapi.model.IRI,ELConceptDescription> existentialRestrictions)

Parameters:

conceptNames -

existentialRestrictions - Creates a new EL normal form. If the sets conceptNames and existentitalRestrictions are both empty, then the constructed normal form represents the top concept.

ELConceptDescription

public ELConceptDescription()

Method Detail

of

public static final ELConceptDescription of(org.semanticweb.owlapi.model.OWLClassExpression concept)

parse

public static final ELConceptDescription parse(String expression)

bot

public static final ELConceptDescription bot()

top

public static final ELConceptDescription top()

conceptName

public static final ELConceptDescription conceptName(org.semanticweb.owlapi.model.IRI conceptName)

existentialRestriction

public static final ELConceptDescription existentialRestriction(org.semanticweb.owlapi.model.IRI roleName,
                                                                ELConceptDescription filler)

existentialRestriction

public static final ELConceptDescription existentialRestriction(List<org.semanticweb.owlapi.model.IRI> rs,
                                                                ELConceptDescription C)

existentialRestriction

public static final ELConceptDescription existentialRestriction(Map.Entry<org.semanticweb.owlapi.model.IRI,ELConceptDescription> entry)

conjunction

public static final ELConceptDescription conjunction(ELConceptDescription... conjuncts)

conjunction

public static final ELConceptDescription conjunction(Collection<ELConceptDescription> conjuncts)

random

public static final ELConceptDescription random(Signature sigma,
                                                int maxRoleDepth,
                                                int minSize,
                                                int maxSize)

quasiOrder

public static final BiPredicate<ELConceptDescription,ELConceptDescription> quasiOrder()

dualQuasiOrder

public static final BiPredicate<ELConceptDescription,ELConceptDescription> dualQuasiOrder()

equivalence

public static final BiPredicate<ELConceptDescription,ELConceptDescription> equivalence()

neighborhood

public static final BiPredicate<ELConceptDescription,ELConceptDescription> neighborhood()

dualNeighborhood

public static final BiPredicate<ELConceptDescription,ELConceptDescription> dualNeighborhood()

distance

public static final BiFunction<ELConceptDescription,ELConceptDescription,Integer> distance()

isBot

public final boolean isBot()

isTop

public final boolean isTop()

getSignature

public final Signature getSignature()

getConceptNamesInSignature

protected final Stream<org.semanticweb.owlapi.model.IRI> getConceptNamesInSignature()

getRoleNamesInSignature

protected final Stream<org.semanticweb.owlapi.model.IRI> getRoleNamesInSignature()

getConceptNames

public final Set<org.semanticweb.owlapi.model.IRI> getConceptNames()

getExistentialRestrictions

public final com.google.common.collect.Multimap<org.semanticweb.owlapi.model.IRI,ELConceptDescription> getExistentialRestrictions()

toOWLClassExpression

public final org.semanticweb.owlapi.model.OWLClassExpression toOWLClassExpression()

and

public final ELConceptDescription and(ELConceptDescription that)

exists

public final ELConceptDescription exists(org.semanticweb.owlapi.model.IRI roleName)

lcs

public final ELConceptDescription lcs(ELConceptDescription that)

without

public final ELConceptDescription without(ELConceptDescription that)

isSubsumedBy

public final boolean isSubsumedBy(ELConceptDescription other)

subsumes

public final boolean subsumes(ELConceptDescription other)

isEquivalentTo

public final boolean isEquivalentTo(ELConceptDescription other)

isLowerNeighborOf

public final boolean isLowerNeighborOf(ELConceptDescription other)

isUpperNeighborOf

public final boolean isUpperNeighborOf(ELConceptDescription other)

reduce

public final ELConceptDescription reduce()

roleDepth

public final int roleDepth()

restrictTo

public final void restrictTo(int roleDepth)

topLevelConjuncts

public final Collection<ELConceptDescription> topLevelConjuncts()

size

public final int size()

size2

public final int size2()

rank5

public final long rank5()

rank

public final int rank()

unreducedRank

public final int unreducedRank()

rank2

public final int rank2()

unreducedRank2

public final int unreducedRank2()

rank3

public final int rank3()

rank4

public final int rank4()

unreducedRank4

public final int unreducedRank4()

distanceTo

public final int distanceTo(ELConceptDescription other)

distanceTo2

public final int distanceTo2(ELConceptDescription other)

neighborhood

public final Set<ELConceptDescription> neighborhood(int radius,
                                                    Signature sigma)

upperNeighbors

public final Set<ELConceptDescription> upperNeighbors()

upperNeighborsReduced

public final Set<ELConceptDescription> upperNeighborsReduced()

lowerNeighbors

public final Set<ELConceptDescription> lowerNeighbors(Signature sigma)

lowerNeighborsA

public final Set<ELConceptDescription> lowerNeighborsA(Signature sigma)

lowerNeighborsB

public final Set<ELConceptDescription> lowerNeighborsB(Signature sigma)

lowerNeighbors1

public final Set<ELConceptDescription> lowerNeighbors1(Signature sigma)

lowerNeighborsReduced1

public final Set<ELConceptDescription> lowerNeighborsReduced1(Signature sigma)

toString

public final String toString()

Overrides:

toString in class Object

toShortString

public final String toShortString()

toLaTeXString

public final String toLaTeXString()

equals

public final boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public final int hashCode()

Overrides:

hashCode in class Object

clone

public final ELConceptDescription clone()

Overrides:

clone in class Object

compareTo

public final int compareTo(ELConceptDescription other)

Specified by:

compareTo in interface Comparable<ELConceptDescription>

equivalent

public final boolean equivalent(ELConceptDescription other)

Specified by:

equivalent in interface PartialComparable<ELConceptDescription>

smaller

public final boolean smaller(ELConceptDescription other)

Specified by:

smaller in interface PartialComparable<ELConceptDescription>

greater

public final boolean greater(ELConceptDescription other)

Specified by:

greater in interface PartialComparable<ELConceptDescription>

smallerEq

public final boolean smallerEq(ELConceptDescription other)

Specified by:

smallerEq in interface PartialComparable<ELConceptDescription>

greaterEq

public final boolean greaterEq(ELConceptDescription other)

Specified by:

greaterEq in interface PartialComparable<ELConceptDescription>

uncomparable

public final boolean uncomparable(ELConceptDescription other)

Specified by:

uncomparable in interface PartialComparable<ELConceptDescription>

infimum

public ELConceptDescription infimum(ELConceptDescription e)

Specified by:

infimum in interface LatticeElement<ELConceptDescription>

supremum

public ELConceptDescription supremum(ELConceptDescription e)

Specified by:

supremum in interface LatticeElement<ELConceptDescription>

inf

public boolean inf(ELConceptDescription e)

Specified by:

inf in interface LatticeElement<ELConceptDescription>

sup

public boolean sup(ELConceptDescription e)

Specified by:

sup in interface LatticeElement<ELConceptDescription>

greatest

public ELConceptDescription greatest()

Specified by:

greatest in interface LatticeElement<ELConceptDescription>

smallest

public ELConceptDescription smallest()

Specified by:

smallest in interface LatticeElement<ELConceptDescription>