conexp.fx.core.dl.deprecated

Interface Interpretation<I,C,G,T>

All Known Implementing Classes:

AInterpretation, ELInterpretation, OWLInterpretation

Deprecated.

@Deprecated
public interface Interpretation<I,C,G,T>

Method Summary

Modifier and Type	Method and Description
boolean	addConceptNameAssertion(I conceptName, I individual) Deprecated.
boolean	addRoleNameAssertion(I roleName, I individual1, I individual2) Deprecated.
default void	checkRoleDepth(int roleDepth) Deprecated.
T	computeTBoxBase(int roleDepth, int maxCardinality, T backgroundOntology, Constructor... constructors) Deprecated.
Set<C>	getAllMostSpecificConcepts(int roleDepth, int maxCardinality, Constructor... constructors) Deprecated.
SetClosureOperator<I>	getClosureOperator(int roleDepth, int maxCardinality, Constructor... constructors) Deprecated.
Set<I>	getConceptExpressionExtension(C conceptExpression) Deprecated.
Collection<I>	getConceptNameExtension(I conceptName) Deprecated.
Set<I>	getDomain() Deprecated.
Context<I,C>	getInducedContext(Collection<I> individuals, int roleDepth, int maxCardinality, Constructor... constructors) Deprecated.
C	getMostSpecificConcept(I individual, int roleDepth, int maxCardinality, Constructor... constructors) Deprecated.
C	getMostSpecificConcept(Set<I> individuals, int roleDepth, int maxCardinality, Constructor... constructors) Deprecated.
Collection<Pair<I,I>>	getRoleNameExtension(I roleName) Deprecated.
Set<I>	getRolePredecessors(I roleName, I individual) Deprecated.
Set<I>	getRoleSuccessors(I roleName, I individual) Deprecated.
Signature	getSignature() Deprecated.
boolean	isInstanceOf(I individual, C conceptExpression) Deprecated.
boolean	isSubsumedBy(C subsumee, C subsumer) Deprecated.
boolean	models(T tbox) Deprecated.
boolean	satisfies(G gci) Deprecated.
boolean	subsumes(C subsumer, C subsumee) Deprecated.

Method Detail

getDomain

Set<I> getDomain()

Deprecated.

getSignature

Signature getSignature()

Deprecated.

addConceptNameAssertion

boolean addConceptNameAssertion(I conceptName,
                                I individual)

Deprecated.

addRoleNameAssertion

boolean addRoleNameAssertion(I roleName,
                             I individual1,
                             I individual2)

Deprecated.

getConceptNameExtension

Collection<I> getConceptNameExtension(I conceptName)

Deprecated.

getRoleNameExtension

Collection<Pair<I,I>> getRoleNameExtension(I roleName)

Deprecated.

getRoleSuccessors

Set<I> getRoleSuccessors(I roleName,
                         I individual)

Deprecated.

getRolePredecessors

Set<I> getRolePredecessors(I roleName,
                           I individual)

Deprecated.

isInstanceOf

boolean isInstanceOf(I individual,
                     C conceptExpression)

Deprecated.

getConceptExpressionExtension

Set<I> getConceptExpressionExtension(C conceptExpression)

Deprecated.

subsumes

boolean subsumes(C subsumer,
                 C subsumee)

Deprecated.

isSubsumedBy

boolean isSubsumedBy(C subsumee,
                     C subsumer)

Deprecated.

satisfies

boolean satisfies(G gci)

Deprecated.

models

boolean models(T tbox)

Deprecated.

getMostSpecificConcept

C getMostSpecificConcept(I individual,
                         int roleDepth,
                         int maxCardinality,
                         Constructor... constructors)

Deprecated.

getMostSpecificConcept

C getMostSpecificConcept(Set<I> individuals,
                         int roleDepth,
                         int maxCardinality,
                         Constructor... constructors)

Deprecated.

getAllMostSpecificConcepts

Set<C> getAllMostSpecificConcepts(int roleDepth,
                                  int maxCardinality,
                                  Constructor... constructors)

Deprecated.

getInducedContext

Context<I,C> getInducedContext(Collection<I> individuals,
                               int roleDepth,
                               int maxCardinality,
                               Constructor... constructors)

Deprecated.

computeTBoxBase

T computeTBoxBase(int roleDepth,
                  int maxCardinality,
                  T backgroundOntology,
                  Constructor... constructors)
           throws Exception

Deprecated.

Throws:

Exception

getClosureOperator

SetClosureOperator<I> getClosureOperator(int roleDepth,
                                         int maxCardinality,
                                         Constructor... constructors)

Deprecated.

checkRoleDepth

default void checkRoleDepth(int roleDepth)

Deprecated.