|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of AtomicRole in org.semanticweb.HermiT |
---|
Fields in org.semanticweb.HermiT with type parameters of type AtomicRole | |
---|---|
protected Hierarchy<AtomicRole> |
Reasoner.m_dataRoleHierarchy
|
protected java.util.Map<AtomicRole,java.util.Set<HierarchyNode<AtomicConcept>>> |
Reasoner.m_directDataRoleDomains
|
Methods in org.semanticweb.HermiT that return AtomicRole | |
---|---|
protected static AtomicRole |
Reasoner.H(org.semanticweb.owlapi.model.OWLDataProperty dataProperty)
|
protected static AtomicRole |
Reasoner.H(org.semanticweb.owlapi.model.OWLObjectProperty objectProperty)
|
Methods in org.semanticweb.HermiT that return types with arguments of type AtomicRole | |
---|---|
protected HierarchyNode<AtomicRole> |
Reasoner.getHierarchyNode(org.semanticweb.owlapi.model.OWLDataProperty property)
|
Method parameters in org.semanticweb.HermiT with type arguments of type AtomicRole | |
---|---|
protected org.semanticweb.owlapi.reasoner.NodeSet<org.semanticweb.owlapi.model.OWLDataProperty> |
Reasoner.dataPropertyHierarchyNodesToNodeSet(java.util.Collection<HierarchyNode<AtomicRole>> hierarchyNodes)
|
protected org.semanticweb.owlapi.reasoner.Node<org.semanticweb.owlapi.model.OWLDataProperty> |
Reasoner.dataPropertyHierarchyNodeToNode(HierarchyNode<AtomicRole> hierarchyNode)
|
Uses of AtomicRole in org.semanticweb.HermiT.blocking |
---|
Fields in org.semanticweb.HermiT.blocking declared as AtomicRole | |
---|---|
protected AtomicRole |
BlockingValidator.X2YOrY2XConsequenceAtom.m_atomicRole
|
protected AtomicRole[] |
BlockingValidator.DLClauseInfo.m_x2xRoles
|
protected AtomicRole[] |
BlockingValidator.DLClauseInfo.m_x2yRoles
|
protected AtomicRole[] |
BlockingValidator.YConstraint.m_x2yRoles
|
protected AtomicRole[] |
BlockingValidator.DLClauseInfo.m_y2xRoles
|
protected AtomicRole[] |
BlockingValidator.YConstraint.m_y2xRoles
|
Fields in org.semanticweb.HermiT.blocking with type parameters of type AtomicRole | |
---|---|
protected java.util.List<AtomicRole> |
ValidatedSingleDirectBlockingChecker.m_atomicRolesBuffer
|
protected java.util.List<AtomicRole> |
ValidatedPairwiseDirectBlockingChecker.m_atomicRolesBuffer
|
protected java.util.List<AtomicRole> |
PairWiseDirectBlockingChecker.m_atomicRolesBuffer
|
protected SetFactory<AtomicRole> |
ValidatedSingleDirectBlockingChecker.m_atomicRolesSetFactory
|
protected SetFactory<AtomicRole> |
ValidatedPairwiseDirectBlockingChecker.m_atomicRolesSetFactory
|
protected SetFactory<AtomicRole> |
PairWiseDirectBlockingChecker.m_atomicRolesSetFactory
|
protected java.util.Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.ValidatedBlockingSignature.m_fromParentLabel
|
protected java.util.Set<AtomicRole> |
ValidatedPairwiseDirectBlockingChecker.ValidatedBlockingSignature.m_fromParentLabel
|
protected java.util.Set<AtomicRole> |
PairWiseDirectBlockingChecker.PairWiseBlockingObject.m_fromParentLabel
|
protected java.util.Set<AtomicRole> |
PairWiseDirectBlockingChecker.PairWiseBlockingSignature.m_fromParentLabel
|
protected java.util.Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject.m_fullFromParentLabel
|
protected java.util.Set<AtomicRole> |
ValidatedPairwiseDirectBlockingChecker.ValidatedPairwiseBlockingObject.m_fullFromParentLabel
|
protected java.util.Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject.m_fullToParentLabel
|
protected java.util.Set<AtomicRole> |
ValidatedPairwiseDirectBlockingChecker.ValidatedPairwiseBlockingObject.m_fullToParentLabel
|
protected java.util.Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.ValidatedBlockingSignature.m_toParentLabel
|
protected java.util.Set<AtomicRole> |
ValidatedPairwiseDirectBlockingChecker.ValidatedBlockingSignature.m_toParentLabel
|
protected java.util.Set<AtomicRole> |
PairWiseDirectBlockingChecker.PairWiseBlockingObject.m_toParentLabel
|
protected java.util.Set<AtomicRole> |
PairWiseDirectBlockingChecker.PairWiseBlockingSignature.m_toParentLabel
|
Methods in org.semanticweb.HermiT.blocking that return types with arguments of type AtomicRole | |
---|---|
protected java.util.Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.fetchAtomicRolesLabel(Node nodeFrom,
Node nodeTo,
boolean onlyCore)
|
protected java.util.Set<AtomicRole> |
ValidatedPairwiseDirectBlockingChecker.fetchAtomicRolesLabel(Node nodeFrom,
Node nodeTo,
boolean onlyCore)
|
java.util.Set<AtomicRole> |
PairWiseDirectBlockingChecker.fetchEdgeLabel(Node nodeFrom,
Node nodeTo)
|
java.util.Set<AtomicRole> |
PairWiseDirectBlockingChecker.PairWiseBlockingObject.getFromParentLabel()
|
java.util.Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject.getFullFromParentLabel()
|
java.util.Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject.getFullFromParentLabel()
|
java.util.Set<AtomicRole> |
ValidatedPairwiseDirectBlockingChecker.ValidatedPairwiseBlockingObject.getFullFromParentLabel()
|
java.util.Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject.getFullToParentLabel()
|
java.util.Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject.getFullToParentLabel()
|
java.util.Set<AtomicRole> |
ValidatedPairwiseDirectBlockingChecker.ValidatedPairwiseBlockingObject.getFullToParentLabel()
|
java.util.Set<AtomicRole> |
PairWiseDirectBlockingChecker.PairWiseBlockingObject.getToParentLabel()
|
Methods in org.semanticweb.HermiT.blocking with parameters of type AtomicRole | |
---|---|
protected void |
PairWiseDirectBlockingChecker.PairWiseBlockingObject.addToFromParentLabel(AtomicRole atomicRole)
|
protected void |
PairWiseDirectBlockingChecker.PairWiseBlockingObject.addToToParentLabel(AtomicRole atomicRole)
|
Node |
ValidatedSingleDirectBlockingChecker.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
ValidatedPairwiseDirectBlockingChecker.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
SingleDirectBlockingChecker.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
PairWiseDirectBlockingChecker.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
DirectBlockingChecker.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
BlockingStrategy.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
AnywhereValidatedBlocking.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
AnywhereBlocking.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
AncestorBlocking.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
BlockingStrategy.assertionCoreSet(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo)
|
void |
AnywhereValidatedBlocking.assertionCoreSet(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo)
|
void |
AnywhereBlocking.assertionCoreSet(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo)
|
void |
AncestorBlocking.assertionCoreSet(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo)
|
Node |
ValidatedSingleDirectBlockingChecker.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
ValidatedPairwiseDirectBlockingChecker.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
SingleDirectBlockingChecker.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
PairWiseDirectBlockingChecker.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Node |
DirectBlockingChecker.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
BlockingStrategy.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
AnywhereValidatedBlocking.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
AnywhereBlocking.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
AncestorBlocking.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
protected void |
PairWiseDirectBlockingChecker.PairWiseBlockingObject.removeFromFromParentLabel(AtomicRole atomicRole)
|
protected void |
PairWiseDirectBlockingChecker.PairWiseBlockingObject.removeFromToParentLabel(AtomicRole atomicRole)
|
Constructors in org.semanticweb.HermiT.blocking with parameters of type AtomicRole | |
---|---|
BlockingValidator.X2YOrY2XConsequenceAtom(AtomicRole atomicRole,
int yArgumentIndex,
boolean isX2Y)
|
|
BlockingValidator.YConstraint(AtomicConcept[] yConcepts,
AtomicRole[] x2yRoles,
AtomicRole[] y2xRoles)
|
|
BlockingValidator.YConstraint(AtomicConcept[] yConcepts,
AtomicRole[] x2yRoles,
AtomicRole[] y2xRoles)
|
Uses of AtomicRole in org.semanticweb.HermiT.debugger |
---|
Method parameters in org.semanticweb.HermiT.debugger with type arguments of type AtomicRole | |
---|---|
protected static void |
Printing.printEdgeMap(Debugger debugger,
java.util.Map<Node,java.util.Set<AtomicRole>> map,
java.io.PrintWriter writer)
|
Uses of AtomicRole in org.semanticweb.HermiT.existentials |
---|
Methods in org.semanticweb.HermiT.existentials with parameters of type AtomicRole | |
---|---|
void |
ExistentialExpansionStrategy.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
AbstractExpansionStrategy.assertionAdded(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
ExistentialExpansionStrategy.assertionCoreSet(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo)
|
void |
AbstractExpansionStrategy.assertionCoreSet(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo)
|
void |
ExistentialExpansionStrategy.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
void |
AbstractExpansionStrategy.assertionRemoved(AtomicRole atomicRole,
Node nodeFrom,
Node nodeTo,
boolean isCore)
|
Uses of AtomicRole in org.semanticweb.HermiT.hierarchy |
---|
Fields in org.semanticweb.HermiT.hierarchy with type parameters of type AtomicRole | |
---|---|
protected java.util.HashSet<AtomicRole> |
InstanceManager.m_complexRoles
|
Methods in org.semanticweb.HermiT.hierarchy that return AtomicRole | |
---|---|
protected AtomicRole |
HierarchyPrinterFSS.RoleComparator.getInnerAtomicRole(Role role)
|
protected AtomicRole |
HierarchyDumperFSS.ObjectRoleComparator.getInnerAtomicRole(Role role)
|
Methods in org.semanticweb.HermiT.hierarchy with parameters of type AtomicRole | |
---|---|
int |
HierarchyDumperFSS.DataRoleComparator.compare(AtomicRole atomicRole1,
AtomicRole atomicRole2)
|
protected int |
HierarchyDumperFSS.DataRoleComparator.getAtomicRoleClass(AtomicRole atomicRole)
|
int[] |
InstanceManager.getNumberOfInstances(AtomicRole role)
|
int[] |
InstanceManager.getNumberOfPredecessors(AtomicRole role,
Individual individual)
|
int[] |
InstanceManager.getNumberOfPropertyInstances(AtomicRole role)
|
int[] |
InstanceManager.getNumberOfSuccessors(AtomicRole role,
Individual individual)
|
java.util.Map<Individual,java.util.Set<Individual>> |
InstanceManager.getObjectPropertyInstances(AtomicRole role)
|
boolean |
InstanceManager.hasObjectRoleRelationship(AtomicRole role,
Individual individual1,
Individual individual2)
|
boolean[] |
InstanceManager.hasSuccessor(AtomicRole role,
Individual individual1,
Individual individual2)
|
protected void |
HierarchyPrinterFSS.RolePrinter.print(AtomicRole atomicRole)
|
protected void |
HierarchyDumperFSS.print(AtomicRole atomicRole)
|
Method parameters in org.semanticweb.HermiT.hierarchy with type arguments of type AtomicRole | |
---|---|
void |
HierarchyPrinterFSS.loadAtomicRolePrefixIRIs(java.util.Collection<AtomicRole> atomicRoles)
|
void |
HierarchyDumperFSS.printDataPropertyHierarchy(Hierarchy<AtomicRole> dataRoleHierarchy)
|
Uses of AtomicRole in org.semanticweb.HermiT.model |
---|
Fields in org.semanticweb.HermiT.model declared as AtomicRole | |
---|---|
static AtomicRole |
AtomicRole.BOTTOM_DATA_ROLE
|
static AtomicRole |
AtomicRole.BOTTOM_OBJECT_ROLE
|
protected AtomicRole |
DescriptionGraph.Edge.m_atomicRole
|
protected AtomicRole |
InverseRole.m_inverseOf
|
protected AtomicRole |
NegatedAtomicRole.m_negatedAtomicRole
|
static AtomicRole |
AtomicRole.TOP_DATA_ROLE
|
static AtomicRole |
AtomicRole.TOP_OBJECT_ROLE
|
Fields in org.semanticweb.HermiT.model with type parameters of type AtomicRole | |
---|---|
static java.util.Comparator<AtomicRole> |
DLOntology.AtomicRoleComparator.INSTANCE
|
protected java.util.Set<AtomicRole> |
DLOntology.m_allAtomicDataRoles
|
protected java.util.Set<AtomicRole> |
DLOntology.m_allAtomicObjectRoles
|
protected java.util.Map<AtomicRole,java.util.Map<Individual,java.util.Set<Constant>>> |
DLOntology.m_dataPropertyAssertions
|
protected static InterningManager<AtomicRole> |
AtomicRole.s_interningManager
|
Methods in org.semanticweb.HermiT.model that return AtomicRole | |
---|---|
static AtomicRole |
AtomicRole.create(java.lang.String iri)
|
AtomicRole |
DescriptionGraph.Edge.getAtomicRole()
|
AtomicRole |
InverseRole.getInverseOf()
|
AtomicRole |
NegatedAtomicRole.getNegatedAtomicRole()
|
Methods in org.semanticweb.HermiT.model that return types with arguments of type AtomicRole | |
---|---|
protected java.util.Set<AtomicRole> |
DLOntology.computeGraphAtomicRoles()
|
java.util.Set<AtomicRole> |
DLOntology.getAllAtomicDataRoles()
|
java.util.Set<AtomicRole> |
DLOntology.getAllAtomicObjectRoles()
|
java.util.Map<AtomicRole,java.util.Map<Individual,java.util.Set<Constant>>> |
DLOntology.getDataPropertyAssertions()
|
Methods in org.semanticweb.HermiT.model with parameters of type AtomicRole | |
---|---|
int |
DLOntology.AtomicRoleComparator.compare(AtomicRole o1,
AtomicRole o2)
|
boolean |
DLOntology.containsDataRole(AtomicRole role)
|
boolean |
DLOntology.containsObjectRole(AtomicRole role)
|
static NegatedAtomicRole |
NegatedAtomicRole.create(AtomicRole negatedAtomicRole)
|
static InverseRole |
InverseRole.create(AtomicRole inverseOf)
|
Method parameters in org.semanticweb.HermiT.model with type arguments of type AtomicRole | |
---|---|
protected boolean |
DLOntology.addAtomicRoles(DLClause dlClause,
java.util.Set<AtomicRole> roles)
|
protected boolean |
DLOntology.containsAtomicRoles(DLClause dlClause,
java.util.Set<AtomicRole> roles)
|
protected int |
DLOntology.getUsedRoleTypes(DLClause dlClause,
java.util.Set<AtomicRole> graphAtomicRoles)
Takes the set of roles that are for use in Description Graphs and detects whether clause contains no roles, only roles from the given set, only roles not from the given set or both types of roles. |
protected boolean |
DLOntology.isTreeDLClause(DLClause dlClause,
java.util.Set<AtomicRole> graphAtomicRoles,
java.util.Set<AtomicConcept> bodyOnlyAtomicConcepts)
Tests whether the clause conforms to the properties of HT clauses, i.e., the variables can be split into a center variable x, a set of branch variables y_i, and a set of nominal variables z_j such that certain conditions hold. |
Constructors in org.semanticweb.HermiT.model with parameters of type AtomicRole | |
---|---|
DescriptionGraph.Edge(AtomicRole atomicRole,
int fromVertex,
int toVertex)
|
|
InverseRole(AtomicRole inverseOf)
|
|
NegatedAtomicRole(AtomicRole negatedAtomicRole)
|
Constructor parameters in org.semanticweb.HermiT.model with type arguments of type AtomicRole | |
---|---|
DLOntology(java.lang.String ontologyIRI,
java.util.Set<DLClause> dlClauses,
java.util.Set<Atom> positiveFacts,
java.util.Set<Atom> negativeFacts,
java.util.Set<AtomicConcept> atomicConcepts,
java.util.Set<AtomicRole> atomicObjectRoles,
java.util.Set<Role> allComplexObjectRoles,
java.util.Set<AtomicRole> atomicDataRoles,
java.util.Set<DatatypeRestriction> allUnknownDatatypeRestrictions,
java.util.Set<java.lang.String> definedDatatypeIRIs,
java.util.Set<Individual> individuals,
boolean hasInverseRoles,
boolean hasAtMostRestrictions,
boolean hasNominals,
boolean hasDatatypes)
|
|
DLOntology(java.lang.String ontologyIRI,
java.util.Set<DLClause> dlClauses,
java.util.Set<Atom> positiveFacts,
java.util.Set<Atom> negativeFacts,
java.util.Set<AtomicConcept> atomicConcepts,
java.util.Set<AtomicRole> atomicObjectRoles,
java.util.Set<Role> allComplexObjectRoles,
java.util.Set<AtomicRole> atomicDataRoles,
java.util.Set<DatatypeRestriction> allUnknownDatatypeRestrictions,
java.util.Set<java.lang.String> definedDatatypeIRIs,
java.util.Set<Individual> individuals,
boolean hasInverseRoles,
boolean hasAtMostRestrictions,
boolean hasNominals,
boolean hasDatatypes)
|
Uses of AtomicRole in org.semanticweb.HermiT.structural |
---|
Fields in org.semanticweb.HermiT.structural with type parameters of type AtomicRole | |
---|---|
protected java.util.Set<AtomicRole> |
ReducedABoxOnlyClausification.m_allAtomicDataRoles
|
protected java.util.Set<AtomicRole> |
ReducedABoxOnlyClausification.m_allAtomicObjectRoles
|
Methods in org.semanticweb.HermiT.structural that return AtomicRole | |
---|---|
protected static AtomicRole |
OWLClausification.getAtomicRole(org.semanticweb.owlapi.model.OWLDataPropertyExpression dataPropertyExpression)
|
Constructor parameters in org.semanticweb.HermiT.structural with type arguments of type AtomicRole | |
---|---|
ReducedABoxOnlyClausification(Configuration configuration,
org.semanticweb.owlapi.model.OWLDataFactory factory,
java.util.Set<AtomicConcept> allAtomicConcepts,
java.util.Set<AtomicRole> allAtomicObjectRoles,
java.util.Set<AtomicRole> allAtomicDataRoles)
|
|
ReducedABoxOnlyClausification(Configuration configuration,
org.semanticweb.owlapi.model.OWLDataFactory factory,
java.util.Set<AtomicConcept> allAtomicConcepts,
java.util.Set<AtomicRole> allAtomicObjectRoles,
java.util.Set<AtomicRole> allAtomicDataRoles)
|
Uses of AtomicRole in org.semanticweb.HermiT.tableau |
---|
Fields in org.semanticweb.HermiT.tableau with type parameters of type AtomicRole | |
---|---|
protected java.util.HashMap<AtomicRole,java.util.Map<AtomicConcept,HyperresolutionManager.CompiledDLClauseInfo>> |
HyperresolutionManager.m_atomicRoleTupleConsumersByGuardConcept1
|
protected java.util.HashMap<AtomicRole,java.util.Map<AtomicConcept,HyperresolutionManager.CompiledDLClauseInfo>> |
HyperresolutionManager.m_atomicRoleTupleConsumersByGuardConcept2
|
protected java.util.Map<AtomicRole,HyperresolutionManager.CompiledDLClauseInfo> |
HyperresolutionManager.m_atomicRoleTupleConsumersUnguarded
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |