@Override public OWLObjectOneOf buildObject() { return df.getOWLObjectOneOf(items); } }
@Override protected OWLClassExpression translateEquivalentClass(IRI mainNode) { return df .getOWLObjectOneOf(consumer.translatorAccessor.translateToIndividualSet(mainNode)); } }
public Set<OWLAxiom> visit(OWLDifferentIndividualsAxiom axiom) { // Explode into pairwise nominals? Set<OWLAxiom> axioms = new HashSet<OWLAxiom>(); List<OWLIndividual> individuals = new ArrayList<OWLIndividual>(axiom.getIndividuals()); for (int i = 0; i < individuals.size(); i++) { for (int j = i + 1; j < individuals.size(); j++) { axioms.addAll(subClassOf(df.getOWLObjectOneOf(individuals.get(i)), df.getOWLObjectOneOf(individuals.get(j)))); } } return axioms; }
@Override public Collection<OWLAxiom> visit(OWLDifferentIndividualsAxiom axiom) { return axiom.walkPairwise( (a, b) -> subClassOfSingle(df.getOWLObjectOneOf(a), df.getOWLObjectOneOf(b))); }
@Override protected OWLClassExpression translateEquivalentClass(IRI mainNode) { return df .getOWLObjectOneOf(consumer.translatorAccessor.translateToIndividualSet(mainNode)); } }
public void visit(OWLObjectHasValue node) { if (node.getProperty().equals(objectProperty)) { fillers.add(dataFactory.getOWLObjectOneOf(Collections.singleton(node.getValue()))); } } }
protected void axiomatizeTopObjectProperty(OWLAxioms axioms) { // TransitiveObjectProperty( owl:topObjectProperty ) axioms.m_complexObjectPropertyInclusions.add(new OWLAxioms.ComplexObjectPropertyInclusion(m_topObjectProperty)); // SymmetricObjectProperty( owl:topObjectProperty ) axioms.m_simpleObjectPropertyInclusions.add(new OWLObjectPropertyExpression[] { m_topObjectProperty,m_topObjectProperty.getInverseProperty() }); // SubClassOf( owl:Thing ObjectSomeValuesFrom( owl:topObjectProperty ObjectOneOf( <internal:nam#topIndividual> ) ) ) OWLIndividual newIndividual=m_factory.getOWLNamedIndividual(IRI.create("internal:nam#topIndividual")); OWLObjectOneOf oneOfNewIndividual=m_factory.getOWLObjectOneOf(newIndividual); OWLObjectSomeValuesFrom hasTopNewIndividual=m_factory.getOWLObjectSomeValuesFrom(m_topObjectProperty,oneOfNewIndividual); axioms.m_conceptInclusions.add(new OWLClassExpression[] { hasTopNewIndividual }); } protected void axiomatizeBottomObjectProperty(OWLAxioms axioms) {
@Override public Collection<OWLAxiom> visit(OWLClassAssertionAxiom axiom) { return subClassOf(df.getOWLObjectOneOf(axiom.getIndividual()), axiom.getClassExpression()); }
@Override public Collection<OWLAxiom> visit(OWLClassAssertionAxiom axiom) { return subClassOf(df.getOWLObjectOneOf(axiom.getIndividual()), axiom.getClassExpression()); }
@Override public Collection<OWLAxiom> visit(OWLNegativeObjectPropertyAssertionAxiom axiom) { return subClassOf(df.getOWLObjectOneOf(axiom.getSubject()), df.getOWLObjectAllValuesFrom(axiom.getProperty(), df.getOWLObjectComplementOf(df.getOWLObjectOneOf(axiom.getObject())))); }
@Override public Collection<OWLAxiom> visit(OWLClassAssertionAxiom axiom) { return subClassOf(df.getOWLObjectOneOf(axiom.getIndividual()), axiom.getClassExpression()); }
@Override public OWLClassExpression visit(OWLObjectHasValue d) { OWLObjectOneOf nominal=m_factory.getOWLObjectOneOf(d.getFiller()); return m_factory.getOWLObjectSomeValuesFrom(d.getProperty(),nominal); } @Override
@Override public void visit(OWLClassAssertionAxiom axiom) { OWLClassExpression sub = dataFactory.getOWLObjectOneOf(axiom.getIndividual()); OWLAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getClassExpression()); ax.accept(this); }
final public OWLClassExpression ObjectOneOf() throws ParseException {Set<OWLIndividual> individuals; jj_consume_token(OBJECTONEOF); jj_consume_token(OPENPAR); individuals = IndividualMinOneSet(); jj_consume_token(CLOSEPAR); return df.getOWLObjectOneOf(individuals); }
final public OWLClassExpression ObjectOneOf() throws ParseException {Set<OWLIndividual> individuals; jj_consume_token(OBJECTONEOF); jj_consume_token(OPENPAR); individuals = IndividualMinOneSet(); jj_consume_token(CLOSEPAR); return df.getOWLObjectOneOf(individuals); }
@Override public void visit(OWLClassAssertionAxiom axiom) { OWLClassExpression sub = dataFactory.getOWLObjectOneOf(axiom.getIndividual()); OWLAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getClassExpression()); ax.accept(this); }
@Override public OWLObjectOneOf translate(IRI mainNode) { IRI oneOfObject = getConsumer().getResourceObject(mainNode, OWL_ONE_OF, true); Set<OWLIndividual> individuals = accessor .translateToIndividualSet(verifyNotNull(oneOfObject)); return getDataFactory().getOWLObjectOneOf(individuals); } }
@Override public OWLObjectOneOf translate(IRI mainNode) { IRI oneOfObject = getConsumer().getResourceObject(mainNode, OWL_ONE_OF, true); Set<OWLIndividual> individuals = getConsumer().translateToIndividualSet(oneOfObject); return getDataFactory().getOWLObjectOneOf(individuals); } }
public OWLSubClassOfAxiom asOWLSubClassOfAxiom() { OWLDataFactory df = getOWLDataFactory(); return df.getOWLSubClassOfAxiom( df.getOWLObjectOneOf(getSubject()), df.getOWLObjectComplementOf( df.getOWLDataHasValue(getProperty(), getObject()) ) ); }
@Override public Collection<OWLAxiom> visit(OWLNegativeDataPropertyAssertionAxiom axiom) { return subClassOf(df.getOWLObjectOneOf(axiom.getSubject()), df.getOWLDataAllValuesFrom(axiom.getProperty(), df.getOWLDataComplementOf(df.getOWLDataOneOf(axiom.getObject())))); }