@Nullable @Override protected OWLObjectProperty getBottomEntity() { return df.getOWLBottomObjectProperty(); }
@Nullable @Override protected OWLObjectProperty getBottomEntity() { return df.getOWLBottomObjectProperty(); }
@Nullable @Override protected ObjectRoleExpression getBottomEntityPointer() { return em.objectRole(df.getOWLBottomObjectProperty()); }
@Override public Boolean visit(OWLDisjointObjectPropertiesAxiom axiom) { if (axiom.getProperties().size() == 2 && axiom.getProperties().contains(factory.getOWLBottomObjectProperty())) { return true; } return false; }
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(OWLDisjointObjectPropertiesAxiom axiom) { return axiom.getProperties().size() == 2 && axiom.getProperties().contains(factory.getOWLBottomObjectProperty()); }
@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> getBottomObjectPropertyNode() { ensurePrepared(); return objectPropertyHierarchyInfo.getEquivalents(getDataFactory().getOWLBottomObjectProperty()); }
@Override public Node<OWLObjectPropertyExpression> getBottomObjectPropertyNode() { LogOutput.printNotSupported("Not supported: getBottomObjectPropertyNode"); //return null; //return new OWLObjectPropertyNode(); return new OWLObjectPropertyNode(manager.getOWLDataFactory().getOWLBottomObjectProperty()); }
@Override public Node<OWLObjectPropertyExpression> getBottomObjectPropertyNode() { ensurePrepared(); return objectPropertyHierarchyInfo .getEquivalents(getDataFactory().getOWLBottomObjectProperty()); }
@Override public Node<OWLObjectPropertyExpression> getBottomObjectPropertyNode() { ensurePrepared(); return objectPropertyHierarchyInfo .getEquivalents(getDataFactory().getOWLBottomObjectProperty()); }
@Override public Node<OWLObjectPropertyExpression> getBottomObjectPropertyNode() { ensurePrepared(); return objectPropertyHierarchyInfo .getEquivalents(getDataFactory().getOWLBottomObjectProperty()); }
@Override public Node<OWLObjectPropertyExpression> getBottomObjectPropertyNode() { ensurePrepared(); return objectPropertyHierarchyInfo .getEquivalents(getDataFactory().getOWLBottomObjectProperty()); }
@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 ) ); } }
@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()); }
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(); }