conexp.fx.core.dl.deprecated

Class ELInterpretation

java.lang.Object

conexp.fx.core.dl.deprecated.AInterpretation<ELConceptDescription,ELConceptInclusion,ELTBox>

conexp.fx.core.dl.deprecated.ELInterpretation

All Implemented Interfaces:

Interpretation<org.semanticweb.owlapi.model.IRI,ELConceptDescription,ELConceptInclusion,ELTBox>

Deprecated.

@Deprecated
public final class ELInterpretation
extends AInterpretation<ELConceptDescription,ELConceptInclusion,ELTBox>

Field Summary

Fields inherited from class conexp.fx.core.dl.deprecated.AInterpretation

conceptNameExtensions, conceptNamesPerIndividual, domain, roleNameExtensions, roleSuccessors, signature

Constructor Summary

Constructors

Constructor and Description
ELInterpretation(org.semanticweb.owlapi.model.IRI baseIRI) Deprecated.
ELInterpretation(Signature signature) Deprecated.
ELInterpretation(Signature signature, Set<org.semanticweb.owlapi.model.IRI> domain) Deprecated.

Method Summary

Modifier and Type	Method and Description
ELTBox	computeTBoxBase(int roleDepth, int maxCardinality, ELTBox backgroundTBox, Constructor... constructors) Deprecated.
static ELInterpretation	fromTriples(File rdfFile, org.semanticweb.owlapi.model.IRI baseIRI, String isaRole) Deprecated.
static ELInterpretation	fromTriples(List<org.semanticweb.owlapi.model.IRI[]> triples, org.semanticweb.owlapi.model.IRI baseIRI, org.semanticweb.owlapi.model.IRI isaRole) Deprecated.
protected SetList<ELConceptDescription>	getAttributeSetForInducedContext(int roleDepth, int maxCardinality, Constructor... constructors) Deprecated.
protected Set<Implication<org.semanticweb.owlapi.model.IRI,ELConceptDescription>>	getBackgroundImplications(Context<org.semanticweb.owlapi.model.IRI,ELConceptDescription> inducedContext, ELTBox backgroundTBox) Deprecated.
ELConceptDescription	getMostSpecificConcept(org.semanticweb.owlapi.model.IRI individual, int roleDepth, int maxCardinality, Constructor... constructors) Deprecated.
ELConceptDescription	getMostSpecificConcept(Set<org.semanticweb.owlapi.model.IRI> individuals, int roleDepth, int maxCardinality, Constructor... constructors) Deprecated.
boolean	isInstanceOf(org.semanticweb.owlapi.model.IRI individual, ELConceptDescription conceptExpression) Deprecated.
boolean	models(ELTBox tBox) Deprecated.
boolean	satisfies(ELConceptInclusion gci) Deprecated.

Methods inherited from class conexp.fx.core.dl.deprecated.AInterpretation

addConceptNameAssertion, addConceptNameAssertion, addRoleNameAssertion, addRoleNameAssertion, equals, getAllMostSpecificConcepts, getClosureOperator, getConceptExpressionExtension, getConceptNameExtension, getConceptNameExtensions, getDomain, getInducedContext, getRoleNameExtension, getRoleNameExtensions, getRolePredecessors, getRolePredecessorStream, getRoleSuccessors, getRoleSuccessorStream, getSignature, hashCode, isSubsumedBy, subsumes, toString, updateSuccessorSets

Methods inherited from class java.lang.Object

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

Methods inherited from interface conexp.fx.core.dl.deprecated.Interpretation

checkRoleDepth

Constructor Detail

ELInterpretation

public ELInterpretation(org.semanticweb.owlapi.model.IRI baseIRI)

Deprecated.

ELInterpretation

public ELInterpretation(Signature signature)

Deprecated.

ELInterpretation

public ELInterpretation(Signature signature,
                        Set<org.semanticweb.owlapi.model.IRI> domain)

Deprecated.

Method Detail

isInstanceOf

public final boolean isInstanceOf(org.semanticweb.owlapi.model.IRI individual,
                                  ELConceptDescription conceptExpression)

Deprecated.

satisfies

public final boolean satisfies(ELConceptInclusion gci)

Deprecated.

models

public final boolean models(ELTBox tBox)

Deprecated.

getMostSpecificConcept

public ELConceptDescription getMostSpecificConcept(org.semanticweb.owlapi.model.IRI individual,
                                                   int roleDepth,
                                                   int maxCardinality,
                                                   Constructor... constructors)

Deprecated.

getMostSpecificConcept

public final ELConceptDescription getMostSpecificConcept(Set<org.semanticweb.owlapi.model.IRI> individuals,
                                                         int roleDepth,
                                                         int maxCardinality,
                                                         Constructor... constructors)

Deprecated.

getAttributeSetForInducedContext

protected final SetList<ELConceptDescription> getAttributeSetForInducedContext(int roleDepth,
                                                                               int maxCardinality,
                                                                               Constructor... constructors)

Deprecated.

Specified by:

getAttributeSetForInducedContext in class AInterpretation<ELConceptDescription,ELConceptInclusion,ELTBox>

getBackgroundImplications

protected final Set<Implication<org.semanticweb.owlapi.model.IRI,ELConceptDescription>> getBackgroundImplications(Context<org.semanticweb.owlapi.model.IRI,ELConceptDescription> inducedContext,
                                                                                                                  ELTBox backgroundTBox)

Deprecated.

Specified by:

getBackgroundImplications in class AInterpretation<ELConceptDescription,ELConceptInclusion,ELTBox>

computeTBoxBase

public final ELTBox computeTBoxBase(int roleDepth,
                                    int maxCardinality,
                                    ELTBox backgroundTBox,
                                    Constructor... constructors)

Deprecated.

fromTriples

public static final ELInterpretation fromTriples(File rdfFile,
                                                 org.semanticweb.owlapi.model.IRI baseIRI,
                                                 String isaRole)

Deprecated.

fromTriples

public static final ELInterpretation fromTriples(List<org.semanticweb.owlapi.model.IRI[]> triples,
                                                 org.semanticweb.owlapi.model.IRI baseIRI,
                                                 org.semanticweb.owlapi.model.IRI isaRole)

Deprecated.