@Override public OWLDataOneOf buildObject() { return df.getOWLDataOneOf(items); } }
@Override public OWLDataOneOf buildObject() { return df.getOWLDataOneOf(items); } }
@Override public OWLDataOneOf buildObject() { return df.getOWLDataOneOf(items); } }
@Override public OWLDataOneOf buildObject() { return df.getOWLDataOneOf(items); } }
@Override public void visit(OWLDataOneOf desc) { Set<OWLLiteral> literals = desc.getValues(); Set<OWLLiteral> renamedLiterals = new TreeSet<>(); for (OWLLiteral lit : literals) { renamedLiterals.add(rename(lit)); } renamedOWLObject = df.getOWLDataOneOf(renamedLiterals); }
@Override public Object read(OWLInputStream in) throws IOException { Set<OWLLiteral> values = in.readSet(OWLLiteral.class); return in.getOWLDataFactory().getOWLDataOneOf(values); }
private OWLDataOneOf process(OWLDataPropertyExpression prop, OWLDataOneOf oneOf) { Set<OWLLiteral> vals = new HashSet<OWLLiteral>(); for (OWLLiteral con : oneOf.getValues()) { vals.add(process(prop, con)); } return getDataFactory().getOWLDataOneOf(vals); }
protected void axiomatizeTopDataProperty(OWLAxioms axioms) { OWLDatatype anonymousConstantsDatatype=m_factory.getOWLDatatype(IRI.create("internal:anonymous-constants")); OWLLiteral newConstant=m_factory.getOWLLiteral("internal:constant",anonymousConstantsDatatype); OWLDataOneOf oneOfNewConstant=m_factory.getOWLDataOneOf(newConstant); OWLDataSomeValuesFrom hasTopNewConstant=m_factory.getOWLDataSomeValuesFrom(m_topDataProperty,oneOfNewConstant); axioms.m_conceptInclusions.add(Arrays.asList(hasTopNewConstant)); } protected void axiomatizeBottomDataProperty(OWLAxioms axioms) {
private OWLDataRange asDataOneOf(OWLDataFactory df, Set<Literal> literals){ //return Boolean datatype because it doesn't make sense to return a enumeration of Boolean values if(getOWLDatatype(df, literals).equals(df.getBooleanOWLDatatype())){ return df.getBooleanOWLDatatype(); } return df.getOWLDataOneOf(asOWLLiterals(df, literals)); }
private OWLDataRange asDataOneOf(OWLDataFactory df, Set<Literal> literals){ //return Boolean datatype because it doesn't make sense to return a enumeration of Boolean values if(getOWLDatatype(df, literals).equals(df.getBooleanOWLDatatype())){ return df.getBooleanOWLDatatype(); } return df.getOWLDataOneOf(asOWLLiterals(df, literals)); }
@Override public OWLClassExpression visit(OWLDataHasValue d) { OWLDataOneOf nominal=m_factory.getOWLDataOneOf(d.getFiller()); return m_factory.getOWLDataSomeValuesFrom(d.getProperty(),nominal); } @Override
@Override protected void endDataRangeElement() throws OWLXMLParserException { if (constants.isEmpty()) { throw new OWLXMLParserElementNotFoundException(getLineNumber(), getColumnNumber(), "data oneOf element"); } setDataRange(getOWLDataFactory().getOWLDataOneOf(constants)); } }
protected void endDataRangeElement() throws OWLXMLParserException { if (constants.isEmpty()) { throw new OWLXMLParserElementNotFoundException(getLineNumber(), getColumnNumber(), "data oneOf element"); } setDataRange(getOWLDataFactory().getOWLDataOneOf(constants)); } }
public void visitValue(ATermAppl term) { ATermAppl nominal = (ATermAppl) term.getArgument(0); if (ATermUtils.isLiteral(nominal)) { visitLiteral(nominal); obj = factory.getOWLDataOneOf((OWLLiteral) obj); } else { obj = factory.getOWLObjectOneOf(convertIndividual(nominal)); } }
@Override public void visitValue(final ATermAppl term) { final ATermAppl nominal = (ATermAppl) term.getArgument(0); if (ATermUtils.isLiteral(nominal)) { visitLiteral(nominal); _obj = _factory.getOWLDataOneOf((OWLLiteral) _obj); } else _obj = _factory.getOWLObjectOneOf(convertIndividual(nominal)); }
@Override public void visitValue(ATermAppl term) { ATermAppl nominal = (ATermAppl) term.getArgument(0); if (ATermUtils.isLiteral(nominal)) { visitLiteral(nominal); obj = factory.getOWLDataOneOf((OWLLiteral) obj); } else { obj = factory.getOWLObjectOneOf(convertIndividual(nominal)); } }
@Override public Collection<OWLAxiom> visit(OWLNegativeDataPropertyAssertionAxiom axiom) { return subClassOf(df.getOWLObjectOneOf(axiom.getSubject()), df.getOWLDataAllValuesFrom(axiom.getProperty(), df.getOWLDataComplementOf(df.getOWLDataOneOf(axiom.getObject())))); }
@Override public Collection<OWLAxiom> visit(OWLNegativeDataPropertyAssertionAxiom axiom) { return subClassOf(df.getOWLObjectOneOf(axiom.getSubject()), df.getOWLDataAllValuesFrom(axiom.getProperty(), df.getOWLDataComplementOf(df.getOWLDataOneOf(axiom.getObject())))); }
@Override public Collection<OWLAxiom> visit(OWLNegativeDataPropertyAssertionAxiom axiom) { return subClassOf(df.getOWLObjectOneOf(axiom.getSubject()), df.getOWLDataAllValuesFrom(axiom.getProperty(), df.getOWLDataComplementOf(df.getOWLDataOneOf(axiom.getObject())))); }
public Set<OWLAxiom> visit(OWLNegativeDataPropertyAssertionAxiom axiom) { return subClassOf(df.getOWLObjectOneOf(axiom.getSubject()), df.getOWLDataAllValuesFrom(axiom.getProperty(), df.getOWLDataComplementOf(df.getOWLDataOneOf(axiom.getObject())))); }