@Override public OWLObjectProperty get() { return dataFactory.getOWLTopObjectProperty(); } }
@Nullable @Override protected OWLObjectProperty getTopEntity() { return df.getOWLTopObjectProperty(); }
@Nullable @Override protected OWLObjectProperty getTopEntity() { return df.getOWLTopObjectProperty(); }
@Override public Boolean visit(OWLObjectPropertyAssertionAxiom axiom) { return axiom.getProperty().equals(factory.getOWLTopObjectProperty()); }
@Nullable @Override protected ObjectRoleExpression getTopEntityPointer() { return em.objectRole(df.getOWLTopObjectProperty()); }
public OWLObjectProperty map(ATermAppl term) { if( ATermUtils.TOP_OBJECT_PROPERTY.equals( term ) ) return factory.getOWLTopObjectProperty(); if( ATermUtils.BOTTOM_OBJECT_PROPERTY.equals( term ) ) return factory.getOWLBottomObjectProperty(); return factory.getOWLObjectProperty( iri( term ) ); } }
@Override public Boolean visit(OWLSubObjectPropertyOfAxiom axiom) { return axiom.getSuperProperty().equals(factory.getOWLTopObjectProperty()) || axiom.getSubProperty().equals(factory.getOWLBottomObjectProperty()); }
@Override public Boolean visit(OWLSubObjectPropertyOfAxiom axiom) { return axiom.getSuperProperty().equals(factory.getOWLTopObjectProperty()) || axiom.getSubProperty().equals(factory.getOWLBottomObjectProperty()); }
@Nonnull @Override public Node<OWLObjectPropertyExpression> getTopObjectPropertyNode() { ensurePrepared(); return objectPropertyHierarchyInfo.getEquivalents(getDataFactory().getOWLTopObjectProperty()); }
@Override public Node<OWLObjectPropertyExpression> getTopObjectPropertyNode() { ensurePrepared(); return objectPropertyHierarchyInfo .getEquivalents(getDataFactory().getOWLTopObjectProperty()); }
@Override public Node<OWLObjectPropertyExpression> getTopObjectPropertyNode() { ensurePrepared(); return objectPropertyHierarchyInfo .getEquivalents(getDataFactory().getOWLTopObjectProperty()); }
public Node<OWLObjectPropertyExpression> getTopObjectPropertyNode() { OWLDataFactory factory = rootOntology.getOWLOntologyManager().getOWLDataFactory(); return new OWLObjectPropertyNode(factory.getOWLTopObjectProperty()); }
public Node<OWLObjectPropertyExpression> getTopObjectPropertyNode() { ensurePrepared(); return objectPropertyHierarchyInfo.getEquivalents(getDataFactory().getOWLTopObjectProperty()); }
public Node<OWLObjectPropertyExpression> getTopObjectPropertyNode() { ensurePrepared(); return objectPropertyHierarchyInfo.getEquivalents(getDataFactory().getOWLTopObjectProperty()); }
@Override public Node<OWLObjectPropertyExpression> getTopObjectPropertyNode() { ensurePrepared(); return objectPropertyHierarchyInfo .getEquivalents(getDataFactory().getOWLTopObjectProperty()); }
@Override public Node<OWLObjectPropertyExpression> getTopObjectPropertyNode() { ensurePrepared(); return objectPropertyHierarchyInfo .getEquivalents(getDataFactory().getOWLTopObjectProperty()); }
@Override public OWLObjectPropertyExpression map(ATermAppl term) { if( ATermUtils.TOP_OBJECT_PROPERTY.equals( term ) ) return factory.getOWLTopObjectProperty(); if( ATermUtils.BOTTOM_OBJECT_PROPERTY.equals( term ) ) return factory.getOWLBottomObjectProperty(); if( ATermUtils.isInv( term ) ) return factory.getOWLObjectInverseOf( OP_MAPPER.map(term) ); return factory.getOWLObjectProperty( iri( term ) ); } }
private ObjectPropertyHierarchyInfo() { super("object property", getDataFactory().getOWLTopObjectProperty(), getDataFactory().getOWLBottomObjectProperty(), new RawObjectPropertyHierarchyProvider()); }
protected NoOpReasoner(OWLOntology rootOntology, OWLDataFactory df) { this.rootOntology = rootOntology; OWL_THING = df.getOWLThing(); OWL_NOTHING = df.getOWLNothing(); OWL_TOP_OBJECT_PROPERTY = df.getOWLTopObjectProperty(); OWL_BOTTOM_OBJECT_PROPERTY = df.getOWLBottomObjectProperty(); OWL_TOP_DATA_PROPERTY = df.getOWLTopDataProperty(); OWL_BOTTOM_DATA_PROPERTY = df.getOWLBottomDataProperty(); }
protected NoOpReasoner(OWLOntology rootOntology, OWLDataFactory df) { this.rootOntology = rootOntology; OWL_THING = df.getOWLThing(); OWL_NOTHING = df.getOWLNothing(); OWL_TOP_OBJECT_PROPERTY = df.getOWLTopObjectProperty(); OWL_BOTTOM_OBJECT_PROPERTY = df.getOWLBottomObjectProperty(); OWL_TOP_DATA_PROPERTY = df.getOWLTopDataProperty(); OWL_BOTTOM_DATA_PROPERTY = df.getOWLBottomDataProperty(); }