Refine search
@Override public void visit(OWLDataSomeValuesFrom desc) { desc.getProperty().accept(this); desc.getFiller().accept(this); }
@Override public OWLDataSomeValuesFrom visit(OWLDataSomeValuesFrom ce) { if (ce.getFiller() instanceof OWLDataOneOf) { return df.getOWLDataSomeValuesFrom(ce.getProperty(), process(ce.getProperty(), (OWLDataOneOf) ce .getFiller())); } return super.visit(ce); }
@Override public OWLClassExpression visit(OWLDataSomeValuesFrom d) { OWLDataRange filler=getComplementNNF(d.getFiller()); return m_factory.getOWLDataAllValuesFrom(d.getProperty(),filler); } @Override
@Override public void visit(OWLDataSomeValuesFrom ce) { if (signature.contains(ce.getProperty().asOWLDataProperty())) { newClassExpression = ce; } else { newClassExpression = df.getOWLNothing(); } }
@Override public OWLClassExpression visit(OWLDataSomeValuesFrom d) { if (isBottomDataRange(d.getFiller())) { return m_factory.getOWLNothing(); } if (isBottomDataRange(getSimplified(d.getFiller()))) return m_factory.getOWLNothing(); else return m_factory.getOWLDataSomeValuesFrom(d.getProperty(),getSimplified(d.getFiller())); } @Override
@Override public void visit(OWLDataSomeValuesFrom expr) { QueryTree<String> tree = stack.peek(); expr.getFiller().accept(this); QueryTree<String> child = stack.pop(); tree.addChild(child, expr.getProperty().asOWLDataProperty().toStringID()); }
@Nonnull @Override public Set<PropertyValue> visit(OWLDataSomeValuesFrom desc) { if (desc.getFiller().isDatatype()) { return toSet(PropertyDatatypeValue.get(rm.getDataPropertyData(desc.getProperty().asOWLDataProperty()), rm.getDatatypeData(desc.getFiller().asOWLDatatype()), state)); } else { return null; } }
@Override public SortedSet<OWLClassExpression> visit(OWLDataSomeValuesFrom ce) { SortedSet<OWLClassExpression> refinements = new TreeSet<>(); OWLDataPropertyExpression property = ce.getProperty(); OWLDataRange filler = ce.getFiller(); // refine property Set<OWLDataProperty> subProperties = reasoner.getSubDataProperties(property.asOWLDataProperty(), true).getFlattened(); for (OWLDataProperty subProperty : subProperties) { refinements.add(dataFactory.getOWLDataSomeValuesFrom(subProperty, filler)); } // refine filler // TODO return refinements; }
public void visit(OWLClassAssertionAxiom axiom) { OWLClassExpression classExpression=axiom.getClassExpression(); if (classExpression instanceof OWLDataHasValue) { OWLDataHasValue hasValue=(OWLDataHasValue)classExpression; addFact(m_factory.getOWLDataPropertyAssertionAxiom(hasValue.getProperty(), axiom.getIndividual(), hasValue.getValue())); return; } if (classExpression instanceof OWLDataSomeValuesFrom) { OWLDataSomeValuesFrom someValuesFrom=(OWLDataSomeValuesFrom)classExpression; OWLDataRange dataRange=someValuesFrom.getFiller(); if (dataRange instanceof OWLDataOneOf) { OWLDataOneOf oneOf=(OWLDataOneOf)dataRange; if (oneOf.getValues().size()==1) { addFact(m_factory.getOWLDataPropertyAssertionAxiom(someValuesFrom.getProperty(),axiom.getIndividual(),oneOf.getValues().iterator().next())); return; } } } classExpression=positive(classExpression); if (!isSimple(classExpression)) { OWLClassExpression definition=getDefinitionFor(classExpression,m_alreadyExists); if (!m_alreadyExists[0]) m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { negative(definition),classExpression }); classExpression=definition; } addFact(m_factory.getOWLClassAssertionAxiom(classExpression,axiom.getIndividual())); } public void visit(OWLObjectPropertyAssertionAxiom axiom) {
public OWLClassExpression visit(OWLDataSomeValuesFrom object) { OWLDataRange filler=object.getFiller(); OWLDataPropertyExpression prop=object.getProperty(); if (prop.isOWLTopDataProperty()) throwInvalidTopDPUseError(object); if (isLiteral(filler)) return m_factory.getOWLDataSomeValuesFrom(object.getProperty(),filler); else { OWLDatatype definition=getDefinitionFor(filler,m_alreadyExists); if (!m_alreadyExists[0]) m_newDataRangeInclusions.add(new OWLDataRange[] { negative(definition),filler }); return m_factory.getOWLDataSomeValuesFrom(object.getProperty(),definition); } } public OWLClassExpression visit(OWLDataAllValuesFrom object) {
@Nonnull @Override public Optional<OWLProperty> visit(@Nonnull OWLDataSomeValuesFrom ce) { if (!ce.getProperty().isAnonymous()) { return Optional.of(ce.getProperty().asOWLDataProperty()); } else { return Optional.empty(); } }
public void visit(OWLDataSomeValuesFrom desc) { switch (localityCls) { case BOTTOM_BOTTOM: case TOP_BOTTOM: isTopEquivalent = false; break; case TOP_TOP: isTopEquivalent = !signature.contains(desc.getProperty().asOWLDataProperty()) && isTopEquivalentDataRange(desc.getFiller()); break; } }
OWLDataPropertyExpression property = ((OWLDataSomeValuesFrom) description).getProperty(); OWLDataRange filler = ((OWLDataSomeValuesFrom) description).getFiller(); if (property.isAnonymous()) { throw new ReasoningMethodUnsupportedException("Retrieval for class expression " + description + " unsupported. Inverse object properties not supported."); if (filler.isDatatype()) { // filler is a datatype return dpPos.get(property).containsKey(individual); } else if (filler instanceof OWLDatatypeRestriction) { } else if (filler.getDataRangeType() == DataRangeType.DATA_ONE_OF) { OWLDataOneOf dataOneOf = (OWLDataOneOf) filler; Set<OWLLiteral> values = dataOneOf.getValues(); boolean hasValue = hasTypeImpl(df.getOWLDataHasValue(property, value), individual); OWLLiteral value = ((OWLDataHasValue) description).getFiller(); if (property.isAnonymous()) { throw new ReasoningMethodUnsupportedException("Retrieval for class expression " + description + " unsupported. Inverse object properties not supported.");
@Override public void visit(OWLDataPropertyDomainAxiom axiom) { df.getOWLDataSomeValuesFrom(axiom.getProperty(), df.getTopDatatype()).accept(this); writeSpace(); write(SUBCLASS); writeSpace(); axiom.getDomain().accept(this); }
public void visit(OWLDataSomeValuesFrom desc) { switch (localityCls) { case BOTTOM_BOTTOM: case TOP_BOTTOM: isBottomEquivalent = !signature.contains(desc.getProperty().asOWLDataProperty()); break; case TOP_TOP: isBottomEquivalent = false; break; } }
public void visit(OWLDataSomeValuesFrom object) { if (!object.getProperty().isOWLBottomDataProperty()) { AtomicRole atomicRole=getAtomicRole(object.getProperty()); LiteralDataRange literalRange=m_dataRangeConverter.convertDataRange(object.getFiller()); AtLeastDataRange atLeastDataRange=AtLeastDataRange.create(1,atomicRole,literalRange); if (!atLeastDataRange.isAlwaysFalse()) m_headAtoms.add(Atom.create(atLeastDataRange,X)); } } public void visit(OWLDataAllValuesFrom object) {
@Override public void visit(OWLDataSomeValuesFrom ce) { addRestrictionCommonTriplePropertyRange(ce, ce.getProperty()); addTriple(ce, OWL_SOME_VALUES_FROM.getIRI(), ce.getFiller()); }
@Override public Collection<OWLObject> visit(OWLDataSomeValuesFrom ce) { objects.add(ce); return ce.getProperty().accept(this); }
@Override public OWLDataSomeValuesFrom visit(OWLDataSomeValuesFrom ce) { if (ce.getFiller() instanceof OWLDataOneOf) { return df.getOWLDataSomeValuesFrom(ce.getProperty(), process(ce.getProperty(), (OWLDataOneOf) ce .getFiller())); } return super.visit(ce); }
@Override public void visit(OWLDataSomeValuesFrom ce) { if (signature.contains(ce.getProperty().asOWLDataProperty())) { newClassExpression = ce; } else { newClassExpression = df.getOWLNothing(); } }