@Nullable @Override protected OWLDataProperty getBottomEntity() { return df.getOWLBottomDataProperty(); }
@Nullable @Override protected DataRoleExpression getBottomEntityPointer() { return em.dataRole(df.getOWLBottomDataProperty()); }
@Override public Boolean visit(OWLDisjointDataPropertiesAxiom axiom) { if (axiom.getProperties().size() == 2 && axiom.getProperties().contains(factory.getOWLBottomDataProperty())) { return true; } return false; }
@Override public OWLDataProperty map(final ATermAppl term) { if (ATermUtils.TOP_DATA_PROPERTY.equals(term)) return _factory.getOWLTopDataProperty(); if (ATermUtils.BOTTOM_DATA_PROPERTY.equals(term)) return _factory.getOWLBottomDataProperty(); return _factory.getOWLDataProperty(iri(term)); } }
@Override public OWLDataProperty map(ATermAppl term) { if( ATermUtils.TOP_DATA_PROPERTY.equals( term ) ) return factory.getOWLTopDataProperty(); if( ATermUtils.BOTTOM_DATA_PROPERTY.equals( term ) ) return factory.getOWLBottomDataProperty(); return factory.getOWLDataProperty( iri( term ) ); } }
@Override public Boolean visit(OWLDisjointDataPropertiesAxiom axiom) { return axiom.getProperties().size() == 2 && axiom.getProperties().contains(factory.getOWLBottomDataProperty()); }
@Override public OWLDataProperty map(final ATermAppl term) { if (ATermUtils.TOP_DATA_PROPERTY.equals(term)) return _factory.getOWLTopDataProperty(); if (ATermUtils.BOTTOM_DATA_PROPERTY.equals(term)) return _factory.getOWLBottomDataProperty(); return _factory.getOWLDataProperty(iri(term)); } }
public OWLDataProperty map(ATermAppl term) { if( ATermUtils.TOP_DATA_PROPERTY.equals( term ) ) return factory.getOWLTopDataProperty(); if( ATermUtils.BOTTOM_DATA_PROPERTY.equals( term ) ) return factory.getOWLBottomDataProperty(); return factory.getOWLDataProperty( iri( term ) ); } }
@Override public OWLDataProperty map(final ATermAppl term) { if (ATermUtils.TOP_DATA_PROPERTY.equals(term)) return _factory.getOWLTopDataProperty(); if (ATermUtils.BOTTOM_DATA_PROPERTY.equals(term)) return _factory.getOWLBottomDataProperty(); return _factory.getOWLDataProperty(iri(term)); } }
@Override public Node<OWLDataProperty> getBottomDataPropertyNode() { OWLDataPropertyNode toReturn = new OWLDataPropertyNode(); toReturn.add(df.getOWLBottomDataProperty()); return toReturn; // XXX both this and the previous method look like hacks // return getEquivalentDataProperties(df.getOWLBottomDataProperty()); }
@Override public Boolean visit(OWLSubDataPropertyOfAxiom axiom) { return axiom.getSuperProperty().equals(factory.getOWLTopDataProperty()) || axiom.getSubProperty().equals(factory.getOWLBottomDataProperty()); }
@Override public Node<OWLDataProperty> getBottomDataPropertyNode() { ensurePrepared(); return dataPropertyHierarchyInfo .getEquivalents(getDataFactory().getOWLBottomDataProperty()); }
@Override public Node<OWLDataProperty> getBottomDataPropertyNode() { LogOutput.printNotSupported("Not supported: getBottomDataPropertyNode"); //return null; //return new OWLDataPropertyNode(); return new OWLDataPropertyNode(manager.getOWLDataFactory().getOWLBottomDataProperty()); }
@Override public Node<OWLDataProperty> getBottomDataPropertyNode() { ensurePrepared(); return dataPropertyHierarchyInfo .getEquivalents(getDataFactory().getOWLBottomDataProperty()); }
@Override public Node<OWLDataProperty> getBottomDataPropertyNode() { ensurePrepared(); return dataPropertyHierarchyInfo .getEquivalents(getDataFactory().getOWLBottomDataProperty()); }
@Override public Node<OWLDataProperty> getBottomDataPropertyNode() { ensurePrepared(); return dataPropertyHierarchyInfo .getEquivalents(getDataFactory().getOWLBottomDataProperty()); }
private DataPropertyHierarchyInfo() { super("data property", getDataFactory().getOWLTopDataProperty(), getDataFactory().getOWLBottomDataProperty(), new RawDataPropertyHierarchyProvider()); }
DataPropertyHierarchyInfo() { super("data property", getDataFactory().getOWLTopDataProperty(), getDataFactory() .getOWLBottomDataProperty(), new RawDataPropertyHierarchyProvider()); }
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(); }