@Override public OWLDataProperty get() { return dataFactory.getOWLTopDataProperty(); } }
@Nullable @Override protected OWLDataProperty getTopEntity() { return df.getOWLTopDataProperty(); }
@Override public Boolean visit(OWLDataPropertyAssertionAxiom axiom) { return axiom.getProperty().equals(factory.getOWLTopDataProperty()); }
@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 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 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 Boolean visit(OWLSubDataPropertyOfAxiom axiom) { return axiom.getSuperProperty().equals(factory.getOWLTopDataProperty()) || axiom.getSubProperty().equals(factory.getOWLBottomDataProperty()); }
protected OWLDataProperty getRoot() { return getManager().getOWLDataFactory().getOWLTopDataProperty(); } }
@Override public Node<OWLDataProperty> getTopDataPropertyNode() { ensurePrepared(); return dataPropertyHierarchyInfo.getEquivalents(getDataFactory().getOWLTopDataProperty()); }
@Override public Node<OWLDataProperty> getTopDataPropertyNode() { ensurePrepared(); return dataPropertyHierarchyInfo.getEquivalents(getDataFactory().getOWLTopDataProperty()); }
@Override public Node<OWLDataProperty> getTopDataPropertyNode() { ensurePrepared(); return dataPropertyHierarchyInfo.getEquivalents(getDataFactory().getOWLTopDataProperty()); }
@Override public Node<OWLDataProperty> getTopDataPropertyNode() { LogOutput.printNotSupported("Not supported: getTopDataPropertyNode"); //return null; return new OWLDataPropertyNode(manager.getOWLDataFactory().getOWLTopDataProperty()); }
public Node<OWLDataProperty> getTopDataPropertyNode() { ensurePrepared(); return dataPropertyHierarchyInfo.getEquivalents(getDataFactory().getOWLTopDataProperty()); }
public Node<OWLDataProperty> getTopDataPropertyNode() { ensurePrepared(); return dataPropertyHierarchyInfo.getEquivalents(getDataFactory().getOWLTopDataProperty()); }
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(); }