conexp.fx.core.dl.deprecated

Class OWLInterpretation

java.lang.Object

conexp.fx.core.dl.deprecated.AInterpretation<org.semanticweb.owlapi.model.OWLClassExpression,org.semanticweb.owlapi.model.OWLSubClassOfAxiom,org.semanticweb.owlapi.model.OWLOntology>

conexp.fx.core.dl.deprecated.OWLInterpretation

All Implemented Interfaces:

Interpretation<org.semanticweb.owlapi.model.IRI,org.semanticweb.owlapi.model.OWLClassExpression,org.semanticweb.owlapi.model.OWLSubClassOfAxiom,org.semanticweb.owlapi.model.OWLOntology>

Deprecated.

@Deprecated
public class OWLInterpretation
extends AInterpretation<org.semanticweb.owlapi.model.OWLClassExpression,org.semanticweb.owlapi.model.OWLSubClassOfAxiom,org.semanticweb.owlapi.model.OWLOntology>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	OWLInterpretation.Variable Deprecated.

Field Summary

Fields

Modifier and Type	Field and Description
org.semanticweb.owlapi.model.OWLDataFactory	df Deprecated.

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

conceptNameExtensions, conceptNamesPerIndividual, domain, roleNameExtensions, roleSuccessors, signature

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
org.semanticweb.owlapi.model.OWLClassExpression	_getMostSpecificConcept(org.semanticweb.owlapi.model.IRI individual, int roleDepth) Deprecated.
org.semanticweb.owlapi.model.OWLClassExpression	_getMostSpecificConcept(Set<org.semanticweb.owlapi.model.IRI> individuals, int roleDepth) Deprecated.
org.semanticweb.owlapi.model.OWLOntology	computeTBoxBase(int roleDepth, int maxCardinality, org.semanticweb.owlapi.model.OWLOntology backgroundOntology, Constructor... constructors) Deprecated.
static <T> Set<Set<T>>	filterMinimal(Set<Set<T>> sets) Deprecated.
protected Set<org.semanticweb.owlapi.model.IRI>	getAllSuccessors(Set<org.semanticweb.owlapi.model.IRI> individuals, org.semanticweb.owlapi.model.IRI roleName) Deprecated.
protected SetList<org.semanticweb.owlapi.model.OWLClassExpression>	getAttributeSetForInducedContext(int roleDepth, int maxCardinality, Constructor... constructors) Deprecated.
protected Set<Implication<org.semanticweb.owlapi.model.IRI,org.semanticweb.owlapi.model.OWLClassExpression>>	getBackgroundImplications(Context<org.semanticweb.owlapi.model.IRI,org.semanticweb.owlapi.model.OWLClassExpression> inducedContext, org.semanticweb.owlapi.model.OWLOntology backgroundOntology) Deprecated.
SparseContext<ArrayList<org.semanticweb.owlapi.model.IRI>,org.semanticweb.elk.util.collections.Triple<Integer,org.semanticweb.owlapi.model.IRI,Integer>>	getInducedRoleContext(int roleDepth) Deprecated.
org.semanticweb.owlapi.model.OWLClassExpression	getMostSpecificConcept(org.semanticweb.owlapi.model.IRI individual, int roleDepth, int maxCardinality, Constructor... constructors) Deprecated.
org.semanticweb.owlapi.model.OWLClassExpression	getMostSpecificConcept(Set<org.semanticweb.owlapi.model.IRI> individuals, int roleDepth, int maxCardinality, Constructor... constructors) Deprecated.
org.semanticweb.owlapi.model.OWLClassExpression	getMostSpecificConceptALQ(org.semanticweb.owlapi.model.IRI individual, int roleDepth, int maxCardinality, Constructor... constructors) Deprecated.
org.semanticweb.owlapi.model.OWLClassExpression	getMostSpecificConceptALQ(Set<org.semanticweb.owlapi.model.IRI> individuals, int roleDepth, int maxCardinality, Constructor... constructors) Deprecated.
Set<org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom>	getRoleInclusionBase(int roleDepth) Deprecated.
protected Set<Set<org.semanticweb.owlapi.model.IRI>>	getSuccessorSetsER(Set<org.semanticweb.owlapi.model.IRI> individuals, org.semanticweb.owlapi.model.IRI roleName) Deprecated.
protected Set<Set<org.semanticweb.owlapi.model.IRI>>	getSuccessorSetsER2(Set<org.semanticweb.owlapi.model.IRI> individuals, org.semanticweb.owlapi.model.IRI roleName) Deprecated.
boolean	isInstanceOf(org.semanticweb.owlapi.model.IRI individual, org.semanticweb.owlapi.model.OWLClassExpression conceptExpression) Deprecated.
boolean	models(org.semanticweb.owlapi.model.OWLOntology tBox) Deprecated.
boolean	satisfies(org.semanticweb.owlapi.model.OWLSubClassOfAxiom 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

Field Detail

df

public final org.semanticweb.owlapi.model.OWLDataFactory df

Deprecated.

Constructor Detail

OWLInterpretation

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

Deprecated.

OWLInterpretation

public OWLInterpretation(Signature signature)

Deprecated.

OWLInterpretation

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

Deprecated.

Method Detail

isInstanceOf

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

Deprecated.

satisfies

public final boolean satisfies(org.semanticweb.owlapi.model.OWLSubClassOfAxiom gci)

Deprecated.

models

public final boolean models(org.semanticweb.owlapi.model.OWLOntology tBox)

Deprecated.

getMostSpecificConceptALQ

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

Deprecated.

getMostSpecificConceptALQ

public org.semanticweb.owlapi.model.OWLClassExpression getMostSpecificConceptALQ(Set<org.semanticweb.owlapi.model.IRI> individuals,
                                                                                 int roleDepth,
                                                                                 int maxCardinality,
                                                                                 Constructor... constructors)

Deprecated.

getAllSuccessors

protected final Set<org.semanticweb.owlapi.model.IRI> getAllSuccessors(Set<org.semanticweb.owlapi.model.IRI> individuals,
                                                                       org.semanticweb.owlapi.model.IRI roleName)

Deprecated.

getSuccessorSetsER

protected final Set<Set<org.semanticweb.owlapi.model.IRI>> getSuccessorSetsER(Set<org.semanticweb.owlapi.model.IRI> individuals,
                                                                              org.semanticweb.owlapi.model.IRI roleName)

Deprecated.

getSuccessorSetsER2

protected final Set<Set<org.semanticweb.owlapi.model.IRI>> getSuccessorSetsER2(Set<org.semanticweb.owlapi.model.IRI> individuals,
                                                                               org.semanticweb.owlapi.model.IRI roleName)

Deprecated.

filterMinimal

public static final <T> Set<Set<T>> filterMinimal(Set<Set<T>> sets)

Deprecated.

getMostSpecificConcept

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

Deprecated.

getMostSpecificConcept

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

Deprecated.

_getMostSpecificConcept

public org.semanticweb.owlapi.model.OWLClassExpression _getMostSpecificConcept(org.semanticweb.owlapi.model.IRI individual,
                                                                               int roleDepth)

Deprecated.

_getMostSpecificConcept

public final org.semanticweb.owlapi.model.OWLClassExpression _getMostSpecificConcept(Set<org.semanticweb.owlapi.model.IRI> individuals,
                                                                                     int roleDepth)

Deprecated.

getAttributeSetForInducedContext

protected final SetList<org.semanticweb.owlapi.model.OWLClassExpression> getAttributeSetForInducedContext(int roleDepth,
                                                                                                          int maxCardinality,
                                                                                                          Constructor... constructors)

Deprecated.

Specified by:

getAttributeSetForInducedContext in class AInterpretation<org.semanticweb.owlapi.model.OWLClassExpression,org.semanticweb.owlapi.model.OWLSubClassOfAxiom,org.semanticweb.owlapi.model.OWLOntology>

getBackgroundImplications

protected final Set<Implication<org.semanticweb.owlapi.model.IRI,org.semanticweb.owlapi.model.OWLClassExpression>> getBackgroundImplications(Context<org.semanticweb.owlapi.model.IRI,org.semanticweb.owlapi.model.OWLClassExpression> inducedContext,
                                                                                                                                             org.semanticweb.owlapi.model.OWLOntology backgroundOntology)

Deprecated.

Specified by:

getBackgroundImplications in class AInterpretation<org.semanticweb.owlapi.model.OWLClassExpression,org.semanticweb.owlapi.model.OWLSubClassOfAxiom,org.semanticweb.owlapi.model.OWLOntology>

computeTBoxBase

public final org.semanticweb.owlapi.model.OWLOntology computeTBoxBase(int roleDepth,
                                                                      int maxCardinality,
                                                                      org.semanticweb.owlapi.model.OWLOntology backgroundOntology,
                                                                      Constructor... constructors)
                                                               throws org.semanticweb.owlapi.model.OWLOntologyCreationException

Deprecated.

Throws:

org.semanticweb.owlapi.model.OWLOntologyCreationException

getInducedRoleContext

public final SparseContext<ArrayList<org.semanticweb.owlapi.model.IRI>,org.semanticweb.elk.util.collections.Triple<Integer,org.semanticweb.owlapi.model.IRI,Integer>> getInducedRoleContext(int roleDepth)

Deprecated.

getRoleInclusionBase

public final Set<org.semanticweb.owlapi.model.OWLSubPropertyChainOfAxiom> getRoleInclusionBase(int roleDepth)

Deprecated.