|
||||||||||
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 Map<AtomicRole,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(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 List<AtomicRole> |
ValidatedSingleDirectBlockingChecker.m_atomicRolesBuffer
|
protected List<AtomicRole> |
ValidatedPairwiseDirectBlockingChecker.m_atomicRolesBuffer
|
protected List<AtomicRole> |
PairWiseDirectBlockingChecker.m_atomicRolesBuffer
|
protected SetFactory<AtomicRole> |
ValidatedSingleDirectBlockingChecker.m_atomicRolesSetFactory
|
protected SetFactory<AtomicRole> |
ValidatedPairwiseDirectBlockingChecker.m_atomicRolesSetFactory
|
protected SetFactory<AtomicRole> |
PairWiseDirectBlockingChecker.m_atomicRolesSetFactory
|
protected Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.ValidatedBlockingSignature.m_fromParentLabel
|
protected Set<AtomicRole> |
ValidatedPairwiseDirectBlockingChecker.ValidatedBlockingSignature.m_fromParentLabel
|
protected Set<AtomicRole> |
PairWiseDirectBlockingChecker.PairWiseBlockingObject.m_fromParentLabel
|
protected Set<AtomicRole> |
PairWiseDirectBlockingChecker.PairWiseBlockingSignature.m_fromParentLabel
|
protected Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject.m_fullFromParentLabel
|
protected Set<AtomicRole> |
ValidatedPairwiseDirectBlockingChecker.ValidatedPairwiseBlockingObject.m_fullFromParentLabel
|
protected Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject.m_fullToParentLabel
|
protected Set<AtomicRole> |
ValidatedPairwiseDirectBlockingChecker.ValidatedPairwiseBlockingObject.m_fullToParentLabel
|
protected Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.ValidatedBlockingSignature.m_toParentLabel
|
protected Set<AtomicRole> |
ValidatedPairwiseDirectBlockingChecker.ValidatedBlockingSignature.m_toParentLabel
|
protected Set<AtomicRole> |
PairWiseDirectBlockingChecker.PairWiseBlockingObject.m_toParentLabel
|
protected Set<AtomicRole> |
PairWiseDirectBlockingChecker.PairWiseBlockingSignature.m_toParentLabel
|
Methods in org.semanticweb.HermiT.blocking that return types with arguments of type AtomicRole | |
---|---|
protected Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.fetchAtomicRolesLabel(Node nodeFrom,
Node nodeTo,
boolean onlyCore)
|
protected Set<AtomicRole> |
ValidatedPairwiseDirectBlockingChecker.fetchAtomicRolesLabel(Node nodeFrom,
Node nodeTo,
boolean onlyCore)
|
Set<AtomicRole> |
PairWiseDirectBlockingChecker.fetchEdgeLabel(Node nodeFrom,
Node nodeTo)
|
Set<AtomicRole> |
PairWiseDirectBlockingChecker.PairWiseBlockingObject.getFromParentLabel()
|
Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject.getFullFromParentLabel()
|
Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject.getFullFromParentLabel()
|
Set<AtomicRole> |
ValidatedPairwiseDirectBlockingChecker.ValidatedPairwiseBlockingObject.getFullFromParentLabel()
|
Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.ValidatedSingleBlockingObject.getFullToParentLabel()
|
Set<AtomicRole> |
ValidatedSingleDirectBlockingChecker.ValidatedBlockingObject.getFullToParentLabel()
|
Set<AtomicRole> |
ValidatedPairwiseDirectBlockingChecker.ValidatedPairwiseBlockingObject.getFullToParentLabel()
|
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,
Map<Node,Set<AtomicRole>> map,
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 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)
|
Map<Individual,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(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 Comparator<AtomicRole> |
DLOntology.AtomicRoleComparator.INSTANCE
|
protected Set<AtomicRole> |
DLOntology.m_allAtomicDataRoles
|
protected Set<AtomicRole> |
DLOntology.m_allAtomicObjectRoles
|
protected Map<AtomicRole,Map<Individual,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(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 Set<AtomicRole> |
DLOntology.computeGraphAtomicRoles()
|
Set<AtomicRole> |
DLOntology.getAllAtomicDataRoles()
|
Set<AtomicRole> |
DLOntology.getAllAtomicObjectRoles()
|
Map<AtomicRole,Map<Individual,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,
Set<AtomicRole> roles)
|
protected boolean |
DLOntology.containsAtomicRoles(DLClause dlClause,
Set<AtomicRole> roles)
|
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(String ontologyIRI,
Set<DLClause> dlClauses,
Set<Atom> positiveFacts,
Set<Atom> negativeFacts,
Set<AtomicConcept> atomicConcepts,
Set<AtomicRole> atomicObjectRoles,
Set<Role> allComplexObjectRoles,
Set<AtomicRole> atomicDataRoles,
Set<DatatypeRestriction> allUnknownDatatypeRestrictions,
Set<String> definedDatatypeIRIs,
Set<Individual> individuals,
boolean hasInverseRoles,
boolean hasAtMostRestrictions,
boolean hasNominals,
boolean hasDatatypes)
|
|
DLOntology(String ontologyIRI,
Set<DLClause> dlClauses,
Set<Atom> positiveFacts,
Set<Atom> negativeFacts,
Set<AtomicConcept> atomicConcepts,
Set<AtomicRole> atomicObjectRoles,
Set<Role> allComplexObjectRoles,
Set<AtomicRole> atomicDataRoles,
Set<DatatypeRestriction> allUnknownDatatypeRestrictions,
Set<String> definedDatatypeIRIs,
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 Set<AtomicRole> |
ReducedABoxOnlyClausification.m_allAtomicDataRoles
|
protected 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,
Set<AtomicConcept> allAtomicConcepts,
Set<AtomicRole> allAtomicObjectRoles,
Set<AtomicRole> allAtomicDataRoles)
|
|
ReducedABoxOnlyClausification(Configuration configuration,
org.semanticweb.owlapi.model.OWLDataFactory factory,
Set<AtomicConcept> allAtomicConcepts,
Set<AtomicRole> allAtomicObjectRoles,
Set<AtomicRole> allAtomicDataRoles)
|
Uses of AtomicRole in org.semanticweb.HermiT.tableau |
---|
Fields in org.semanticweb.HermiT.tableau with type parameters of type AtomicRole | |
---|---|
protected HashMap<AtomicRole,Map<AtomicConcept,HyperresolutionManager.CompiledDLClauseInfo>> |
HyperresolutionManager.m_atomicRoleTupleConsumersByGuardConcept1
|
protected HashMap<AtomicRole,Map<AtomicConcept,HyperresolutionManager.CompiledDLClauseInfo>> |
HyperresolutionManager.m_atomicRoleTupleConsumersByGuardConcept2
|
protected Map<AtomicRole,HyperresolutionManager.CompiledDLClauseInfo> |
HyperresolutionManager.m_atomicRoleTupleConsumersUnguarded
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |