public void createRestrictions(Set<OWLObjectProperty> properties, Set<OWLClass> fillers, Set<OWLClassExpression> result) { for (OWLObjectProperty prop : properties) { for (OWLClass filler : fillers) { result.add(getDataFactory().getOWLObjectSomeValuesFrom(prop, filler)); } } } });
@Override @Nullable protected OWLClassExpression expandOWLObjHasVal(OWLObjectHasValue desc, OWLIndividual filler, OWLObjectPropertyExpression p) { OWLClassExpression result = expandObject(filler, p); if (result != null) { result = df.getOWLObjectSomeValuesFrom(desc.getProperty(), result); } return result; } };
@Override @Nullable protected OWLClassExpression expandOWLObjHasVal(OWLObjectHasValue desc, OWLIndividual filler, OWLObjectPropertyExpression p) { OWLClassExpression result = expandObject(filler, p); if (result != null) { result = df.getOWLObjectSomeValuesFrom(desc.getProperty(), result); } return result; } };
@Nonnull public OWLObjectSomeValuesFrom toSomeValuesFrom(@Nonnull OBORelationship relationship) { OWLObjectProperty property = relationship.getRelation().getEntity(); OWLClass filler = relationship.getValue().getEntity(); return dataFactory.getOWLObjectSomeValuesFrom(property, filler); }
@Override public OWLObjectSomeValuesFrom buildObject() { return df.getOWLObjectSomeValuesFrom(verifyNotNull(getProperty()), getRange()); } }
@Override public OWLObjectSomeValuesFrom buildObject() { return df.getOWLObjectSomeValuesFrom(verifyNotNull(getProperty()), getRange()); } }
@Override public Collection<OWLAxiom> visit(OWLObjectPropertyDomainAxiom axiom) { return subClassOf(df.getOWLObjectSomeValuesFrom(axiom.getProperty(), df.getOWLThing()), axiom.getDomain()); }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { // prop some Thing subclassOf domain OWLClassExpression sub = dataFactory .getOWLObjectSomeValuesFrom(axiom.getProperty(), dataFactory.getOWLThing()); OWLSubClassOfAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getDomain()); ax.accept(this); }
@Override public OWLClassExpression visit(OWLObjectSomeValuesFrom ce) { OWLClassExpression filler = ce.getFiller().accept(this); if (negated) { return df.getOWLObjectAllValuesFrom(ce.getProperty(), filler); } return df.getOWLObjectSomeValuesFrom(ce.getProperty(), filler); }
final public OWLClassExpression ObjectSomeValuesFrom() throws ParseException {OWLObjectPropertyExpression prop; OWLClassExpression filler; jj_consume_token(OBJECTSOMEVALUESFROM); jj_consume_token(OPENPAR); prop = ObjectPropertyExpression(); filler = ClassExpression(); jj_consume_token(CLOSEPAR); return df.getOWLObjectSomeValuesFrom(prop, filler); }
@Override public OWLClassExpression visit(OWLObjectSomeValuesFrom ce) { if (ce.getFiller().isAnonymous()) { OWLClass name = createNewName(); axioms.add(getSCA(name, ce.getFiller().accept(this))); return ldf.getOWLObjectSomeValuesFrom(ce.getProperty(), name); } return ce; }
final public OWLClassExpression Some() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression prop; OWLClassExpression filler; jj_consume_token(OPENPAR); jj_consume_token(SOME); prop = RoleExpression(); filler = ConceptExpression(); jj_consume_token(CLOSEPAR); return df.getOWLObjectSomeValuesFrom(prop, filler); }
final public OWLClassExpression Some() throws ParseException {OWLObjectProperty prop; OWLClassExpression filler; jj_consume_token(OPENPAR); jj_consume_token(SOME); prop = RoleName(); filler = ConceptExpression(); jj_consume_token(CLOSEPAR); return df.getOWLObjectSomeValuesFrom(prop, filler); }
@Override public Object visit(OWLObjectSomeValuesFrom ce) { return visit(ce, () -> df.getOWLObjectSomeValuesFrom(t(ce.getProperty()), t(ce.getFiller()))); }
final public OWLClassExpression Some() throws ParseException, KRSS2OWLParserException {OWLObjectPropertyExpression prop; OWLClassExpression filler; jj_consume_token(OPENPAR); jj_consume_token(SOME); prop = RoleExpression(); filler = ConceptExpression(); jj_consume_token(CLOSEPAR); return df.getOWLObjectSomeValuesFrom(prop, filler); }
@Override public OWLClassExpression visit(OWLObjectAllValuesFrom ce) { OWLClassExpression filler = ce.getFiller().accept(this); if (negated) { return df.getOWLObjectSomeValuesFrom(ce.getProperty(), filler); } return df.getOWLObjectAllValuesFrom(ce.getProperty(), filler); }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { // prop some Thing subclassOf domain OWLClassExpression sub = dataFactory .getOWLObjectSomeValuesFrom(axiom.getProperty(), dataFactory.getOWLThing()); OWLSubClassOfAxiom ax = dataFactory.getOWLSubClassOfAxiom(sub, axiom.getDomain()); ax.accept(this); }
protected OWLClassExpression getOWLClassOrRestriction(String termList) { String[] strings = termList.split(" "); if (strings.length == 1) { return getDataFactory().getOWLClass(getIRIFromOBOId(strings[0])); } String id0 = strings[0]; String id1 = strings[1]; IRI propertyIRI = getConsumer().getRelationIRIFromSymbolicIdOrOBOId(id0); OWLObjectProperty prop = getDataFactory().getOWLObjectProperty(propertyIRI); OWLClass filler = getDataFactory().getOWLClass(getIRIFromOBOId(id1)); return getDataFactory().getOWLObjectSomeValuesFrom(prop, filler); }
@Override public void visit(OWLObjectPropertyDomainAxiom axiom) { df.getOWLObjectSomeValuesFrom(axiom.getProperty(), df.getOWLThing()).accept(this); writeSpace(); write(SUBCLASS); writeSpace(); axiom.getDomain().accept(this); }
@Override public OWLObjectSomeValuesFrom translate(IRI mainNode) { getConsumer().consumeTriple(mainNode, RDF_TYPE.getIRI(), OWL_RESTRICTION.getIRI()); IRI propertyIRI = getConsumer().getResourceObject(mainNode, OWL_ON_PROPERTY, true); OWLObjectPropertyExpression property = getConsumer() .translateObjectPropertyExpression(verifyNotNull(propertyIRI)); IRI fillerIRI = getConsumer().getResourceObject(mainNode, OWL_SOME_VALUES_FROM, true); OWLClassExpression filler = accessor.translateClassExpression(verifyNotNull(fillerIRI)); return getDataFactory().getOWLObjectSomeValuesFrom(property, filler); } }