public Node<OWLObjectPropertyExpression> getTopObjectPropertyNode() { classifyObjectProperties(); return objectPropertyHierarchyNodeToNode(m_objectRoleHierarchy.getTopNode()); } public Node<OWLObjectPropertyExpression> getBottomObjectPropertyNode() {
@Override public Node<OWLObjectPropertyExpression> getBottomObjectPropertyNode() { classifyObjectProperties(); return objectPropertyHierarchyNodeToNode(m_objectRoleHierarchy.getBottomNode()); } protected boolean isSubObjectPropertyExpressionOf(OWLObjectPropertyExpression subObjectPropertyExpression,OWLObjectPropertyExpression superObjectPropertyExpression) {
@Override public Node<OWLObjectPropertyExpression> getTopObjectPropertyNode() { classifyObjectProperties(); return objectPropertyHierarchyNodeToNode(m_objectRoleHierarchy.getTopNode()); } @Override
public Node<OWLObjectPropertyExpression> getBottomObjectPropertyNode() { classifyObjectProperties(); return objectPropertyHierarchyNodeToNode(m_objectRoleHierarchy.getBottomNode()); } protected boolean isSubObjectPropertyExpressionOf(OWLObjectPropertyExpression subObjectPropertyExpression,OWLObjectPropertyExpression superObjectPropertyExpression) {
/** * Realise object properties. */ public void realiseObjectProperties() { checkPreConditions(); if (!m_dlOntology.getAllIndividuals().isEmpty()) { classifyObjectProperties(); initialisePropertiesInstanceManager(); m_instanceManager.realizeObjectRoles(m_configuration.reasonerProgressMonitor); } } /**
public void realiseObjectProperties() { checkPreConditions(); if (m_dlOntology.getAllIndividuals().size()>0) { classifyObjectProperties(); initialisePropertiesInstanceManager(); m_instanceManager.realizeObjectRoles(m_configuration.reasonerProgressMonitor); } } public void precomputeSameAsEquivalenceClasses() {
protected HierarchyNode<Role> getHierarchyNode(OWLObjectPropertyExpression propertyExpression) { checkPreConditions(propertyExpression); classifyObjectProperties(); if (!m_isConsistent.booleanValue()) return m_objectRoleHierarchy.getBottomNode(); else { Role role=H(propertyExpression); HierarchyNode<Role> node=m_objectRoleHierarchy.getNodeForElement(role); if (node==null) node=new HierarchyNode<>(role,Collections.singleton(role),Collections.singleton(m_objectRoleHierarchy.getTopNode()),Collections.singleton(m_objectRoleHierarchy.getBottomNode())); return node; } }
protected HierarchyNode<Role> getHierarchyNode(OWLObjectPropertyExpression propertyExpression) { checkPreConditions(propertyExpression); classifyObjectProperties(); if (!m_isConsistent) return m_objectRoleHierarchy.getBottomNode(); else { Role role=H(propertyExpression); HierarchyNode<Role> node=m_objectRoleHierarchy.getNodeForElement(role); if (node==null) node=new HierarchyNode<Role>(role,Collections.singleton(role),Collections.singleton(m_objectRoleHierarchy.getTopNode()),Collections.singleton(m_objectRoleHierarchy.getBottomNode())); return node; } }
if (requiredInferences.contains(InferenceType.OBJECT_PROPERTY_HIERARCHY)) if (doAll || m_configuration.prepareReasonerInferences.objectPropertyClassificationRequired) classifyObjectProperties(); if (requiredInferences.contains(InferenceType.DATA_PROPERTY_HIERARCHY)) if (doAll || m_configuration.prepareReasonerInferences.dataPropertyClassificationRequired)
if (requiredInferences.contains(InferenceType.OBJECT_PROPERTY_HIERARCHY)) if (doAll || m_configuration.prepareReasonerInferences.objectPropertyClassificationRequired) classifyObjectProperties(); if (requiredInferences.contains(InferenceType.DATA_PROPERTY_HIERARCHY)) if (doAll || m_configuration.prepareReasonerInferences.dataPropertyClassificationRequired)
if (!m_isConsistent.booleanValue()) return new OWLObjectPropertyNodeSet(); classifyObjectProperties(); Set<HierarchyNode<Role>> result=new HashSet<>(); if (propertyExpression.getNamedProperty().isOWLTopObjectProperty()) {
if (!m_isConsistent) return new OWLObjectPropertyNodeSet(); classifyObjectProperties(); Set<HierarchyNode<Role>> result=new HashSet<HierarchyNode<Role>>(); if (propertyExpression.getNamedProperty().isOWLTopObjectProperty()) {
/** * Writes out the hierarchies quickly * * @param out * - the printwriter that is used to output the hierarchies * @param classes * - if true, the class hierarchy is printed * @param objectProperties * - if true, the object property hierarchy is printed * @param dataProperties * - if true, the data property hierarchy is printed */ public void dumpHierarchies(PrintWriter out,boolean classes,boolean objectProperties,boolean dataProperties) { HierarchyDumperFSS printer=new HierarchyDumperFSS(out); if (classes) { classifyClasses(); printer.printAtomicConceptHierarchy(m_atomicConceptHierarchy); } if (objectProperties) { classifyObjectProperties(); printer.printObjectPropertyHierarchy(m_objectRoleHierarchy); } if (dataProperties) { classifyDataProperties(); printer.printDataPropertyHierarchy(m_dataRoleHierarchy); } }
/** * Writes out the hierarchies quickly * * @param out * - the printwriter that is used to output the hierarchies * @param classes * - if true, the class hierarchy is printed * @param objectProperties * - if true, the object property hierarchy is printed * @param dataProperties * - if true, the data property hierarchy is printed */ public void dumpHierarchies(PrintWriter out,boolean classes,boolean objectProperties,boolean dataProperties) { HierarchyDumperFSS printer=new HierarchyDumperFSS(out); if (classes) { classifyClasses(); printer.printAtomicConceptHierarchy(m_atomicConceptHierarchy); } if (objectProperties) { classifyObjectProperties(); printer.printObjectPropertyHierarchy(m_objectRoleHierarchy); } if (dataProperties) { classifyDataProperties(); printer.printDataPropertyHierarchy(m_dataRoleHierarchy); } }
classifyObjectProperties(); printer.loadAtomicRolePrefixIRIs(m_dlOntology.getAllAtomicObjectRoles());
classifyObjectProperties(); printer.loadAtomicRolePrefixIRIs(m_dlOntology.getAllAtomicObjectRoles());