@Override public void addToOntology() { OWLDataProperty property = factory.getOWLDataProperty(":dataHasValueProperty", pm); OWLDataHasValue restriction = factory.getOWLDataHasValue(property, factory.getOWLLiteral(6)); addToGenericDomainAndNewRange(property, OWL2Datatype.XSD_NON_NEGATIVE_INTEGER.getDatatype(factory)); OWLClass hasValue = featurePool.getExclusiveClass(":DataHasValue"); addAxiomToOntology(factory.getOWLSubClassOfAxiom(hasValue, restriction)); }
/** * create axioms for class--dataproperty----literal relation. * * @param src * @param dataprop * @param dest * @return */ private void getClass2DataProperty2LiteralAxioms(OWLClass src, OWLDataProperty dataprop, OWLLiteral dest) { // Set<OWLAxiom> tmpaxioms = new HashSet<OWLAxiom>(); OWLAxiom axiom; OWLDataSomeValuesFrom owlDataSomeValuesFrom; OWLDataHasValue owlLDataHasValue; OWLDataMaxCardinality owlDataMaxCardinality; OWLDataOneOf owldataOneOf; // set domain and range // scoped domain if (editor.isGenerateDomainAxiom()) { owlLDataHasValue = owlDataFactory.getOWLDataHasValue(dataprop, dest); axiom = owlDataFactory.getOWLSubClassOfAxiom(owlLDataHasValue, src); domainAndRangeAxioms.add(axiom); owlDataSomeValuesFrom = owlDataFactory.getOWLDataSomeValuesFrom(dataprop, owlDataFactory.getTopDatatype()); axiom = owlDataFactory.getOWLSubClassOfAxiom(owlDataSomeValuesFrom, src); domainAndRangeAxioms.add(axiom); } if (editor.isGenerateCardinalityAxiom()) { owlDataMaxCardinality = owlDataFactory.getOWLDataMaxCardinality(1, dataprop, owlDataFactory.getTopDatatype()); axiom = owlDataFactory.getOWLSubClassOfAxiom(owlDataFactory.getOWLThing(), owlDataMaxCardinality); cardinalityAxioms.add(axiom); // need to verify with Adila owlDataMaxCardinality = owlDataFactory.getOWLDataMaxCardinality(1, dataprop, owlDataFactory.getTopDatatype()); axiom = owlDataFactory.getOWLSubClassOfAxiom(src, owlDataMaxCardinality); cardinalityAxioms.add(axiom); } // return tmpaxioms; }
public void visit(OWLDataHasValue arg0) { notSupported(arg0); //IntegrityConstraintParser.ensureDataProperty(arg0.getProperty()); // // set.add(IntegrityConstraintFactoryImpl // .datatypeParticipationConstraint(subjClass, arg0 // .getProperty().asOWLDataProperty(), f // .getOWLDataOneOf(arg0.getValue()), 1, 1)); }
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())); }
@Override public IntegerClassExpression visit(OWLDataHasValue ce) { Objects.requireNonNull(ce); Integer dataPropertyId = getObjectPropertyExpressionTranslator().getTranslationRepository() .getId(ce.getProperty().asOWLDataProperty()); Integer literalId = getTranslationRepository().getId(ce.getFiller()); return getDataTypeFactory().createDataHasValue(dataPropertyId, literalId); }
@Override public boolean equals(Object obj) { if (this == obj) { return true; } if (!super.equals(obj)) { return false; } if (!(obj instanceof OWLDataHasValue)) { return false; } return property.equals(((OWLDataHasValue) obj).getProperty()); }
@Override protected int compareObjectOfSameType(OWLObject object) { OWLDataHasValue other = (OWLDataHasValue) object; int diff = getProperty().compareTo(other.getProperty()); if (diff != 0) { return diff; } return value.compareTo(other.getFiller()); }
public void visit(OWLDataHasValue object) { visitProperty(object.getProperty()); }
public OWLClassExpression visit(OWLDataHasValue object) { throw new IllegalStateException("Internal error: data value restrictions should have been simplified."); }
public Boolean visit(OWLDataHasValue desc) { return Boolean.TRUE; }
public void visit(OWLDataHasValue object) { m_hasDatatypes=true; }
public OWLClassExpression visit(OWLDataHasValue d) { return d; }
public OWLClassExpression visit(OWLDataHasValue d) { return m_factory.getOWLObjectComplementOf(d); }
public OWLClassExpression visit(OWLDataHasValue d) { OWLDataOneOf nominal=m_factory.getOWLDataOneOf(d.getValue()); return m_factory.getOWLDataSomeValuesFrom(d.getProperty(),nominal); }
public void visit(OWLDataHasValue object) { throw new IllegalStateException("Internal error: Invalid normal form."); }
@Override public OWLDataHasValue visit(ElkDataHasValue expression) { return owlFactory_.getOWLDataHasValue(convert(expression.getProperty()), convert(expression.getFiller())); }
@Override public ElkDataHasValue visit(OWLDataHasValue owlDataHasValue) { return CONVERTER.convert(owlDataHasValue); }
@SuppressWarnings("static-method") public ElkDataHasValue convert(OWLDataHasValue owlDataHasValue) { return new ElkDataHasValueWrap<OWLDataHasValue>(owlDataHasValue); }
@Override public OWLDataHasValue visit(OWLDataHasValue ce) { return null; }
@Override public HandlerResult visit(OWLDataHasValue ce) { return null; }
@Override public Boolean visit(OWLDataHasValue classExpression) { return false; }
@Override public OWLClassExpression visit(OWLDataHasValue ce) { return ce; }
@Override public O visit(OWLDataHasValue ce) { return doDefault(ce); }
@Override public void visit(OWLDataHasValue ce) { handleDefault(ce); }
@Override public void visit(OWLDataHasValue ce) { type = CLASS_EXPRESSION_TYPE_INDEX_BASE + 14; }
