private ObjectPropertyHierarchyInfo() { super("object property", getDataFactory().getOWLTopObjectProperty(), getDataFactory().getOWLBottomObjectProperty(), new RawObjectPropertyHierarchyProvider()); }
private DataPropertyHierarchyInfo() { super("data property", getDataFactory().getOWLTopDataProperty(), getDataFactory().getOWLBottomDataProperty(), new RawDataPropertyHierarchyProvider()); }
private ClassHierarchyInfo() { super("class", getDataFactory().getOWLThing(), getDataFactory().getOWLNothing(), new RawClassHierarchyProvider()); }
ClassHierarchyInfo() { super("class", getDataFactory().getOWLThing(), getDataFactory().getOWLNothing(), new RawClassHierarchyProvider()); }
@Override public Node<OWLObjectPropertyExpression> getBottomObjectPropertyNode() { ensurePrepared(); return objectPropertyHierarchyInfo .getEquivalents(getDataFactory().getOWLBottomObjectProperty()); }
@Override public Node<OWLClass> getBottomClassNode() { ensurePrepared(); return classHierarchyInfo.getEquivalents(getDataFactory().getOWLNothing()); }
@Override public Node<OWLClass> getTopClassNode() { ensurePrepared(); return classHierarchyInfo.getEquivalents(getDataFactory().getOWLThing()); }
@Override public Node<OWLDataProperty> getBottomDataPropertyNode() { ensurePrepared(); return dataPropertyHierarchyInfo .getEquivalents(getDataFactory().getOWLBottomDataProperty()); }
@Override public Node<OWLClass> getTopClassNode() { ensurePrepared(); return classHierarchyInfo.getEquivalents(getDataFactory().getOWLThing()); }
@Override public Node<OWLObjectPropertyExpression> getTopObjectPropertyNode() { ensurePrepared(); return objectPropertyHierarchyInfo .getEquivalents(getDataFactory().getOWLTopObjectProperty()); }
@Override public Node<OWLDataProperty> getTopDataPropertyNode() { ensurePrepared(); return dataPropertyHierarchyInfo.getEquivalents(getDataFactory().getOWLTopDataProperty()); }
@Override public Node<OWLObjectPropertyExpression> getTopObjectPropertyNode() { ensurePrepared(); return objectPropertyHierarchyInfo .getEquivalents(getDataFactory().getOWLTopObjectProperty()); }
@Override public Node<OWLObjectPropertyExpression> getBottomObjectPropertyNode() { ensurePrepared(); return objectPropertyHierarchyInfo .getEquivalents(getDataFactory().getOWLBottomObjectProperty()); }
@Override public Node<OWLObjectPropertyExpression> getTopObjectPropertyNode() { ensurePrepared(); return objectPropertyHierarchyInfo .getEquivalents(getDataFactory().getOWLTopObjectProperty()); }
@Override public Node<OWLDataProperty> getBottomDataPropertyNode() { ensurePrepared(); return dataPropertyHierarchyInfo .getEquivalents(getDataFactory().getOWLBottomDataProperty()); }
@Override public Node<OWLClass> getBottomClassNode() { ensurePrepared(); return classHierarchyInfo.getEquivalents(getDataFactory().getOWLNothing()); }
@Override public Node<OWLDataProperty> getBottomDataPropertyNode() { ensurePrepared(); return dataPropertyHierarchyInfo .getEquivalents(getDataFactory().getOWLBottomDataProperty()); }
@Override public Node<OWLDataProperty> getTopDataPropertyNode() { ensurePrepared(); return dataPropertyHierarchyInfo.getEquivalents(getDataFactory().getOWLTopDataProperty()); }
@Override public Node<OWLClass> getBottomClassNode() { ensurePrepared(); return classHierarchyInfo.getEquivalents(getDataFactory().getOWLNothing()); }
@Override public boolean isSatisfiable(OWLClassExpression classExpression) { return !classExpression.isAnonymous() && !getEquivalentClasses(classExpression.asOWLClass()) .contains( getDataFactory().getOWLNothing()); }