public static OWLAsymmetricObjectPropertyAxiom AsymmetricObjectProperty( OWLObjectPropertyExpression property, Collection<OWLAnnotation> a) { return DF.getOWLAsymmetricObjectPropertyAxiom(property, a); }
public static OWLAsymmetricObjectPropertyAxiom AsymmetricObjectProperty( OWLObjectPropertyExpression property, Collection<OWLAnnotation> a) { return DF.getOWLAsymmetricObjectPropertyAxiom(property, a); }
public static OWLAsymmetricObjectPropertyAxiom AsymmetricObjectProperty( OWLObjectPropertyExpression property, Collection<OWLAnnotation> a) { return DF.getOWLAsymmetricObjectPropertyAxiom(property, a); }
@Override public OWLAsymmetricObjectPropertyAxiom buildObject() { return df.getOWLAsymmetricObjectPropertyAxiom(verifyNotNull(getProperty()), annotations); } }
@Override public void handleTriple(IRI s, IRI p, IRI o) { if (isOpLax(s)) { add(df.getOWLAsymmetricObjectPropertyAxiom(op(s), anns())); consume(s, p, o); } } }
@Override public Object visit(OWLAsymmetricObjectPropertyAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLAsymmetricObjectPropertyAxiom(t(axiom.getProperty()), t(axiom .annotations()))); }
final public OWLPropertyAxiom AsymmetricObjectProperty() throws ParseException {OWLObjectPropertyExpression prop; Set<OWLAnnotation> axiomAnnos; jj_consume_token(ASYMMETRICOBJECTPROPERTY); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); prop = ObjectPropertyExpression(); jj_consume_token(CLOSEPAR); return df.getOWLAsymmetricObjectPropertyAxiom(prop, axiomAnnos); }
@Override public void handleTriple(IRI s, IRI p, IRI o) { if (isOpLax(s)) { add(df.getOWLAsymmetricObjectPropertyAxiom(op(s), anns())); consume(s, p, o); } } }
final public OWLPropertyAxiom AsymmetricObjectProperty() throws ParseException {OWLObjectPropertyExpression prop; Set<OWLAnnotation> axiomAnnos; jj_consume_token(ASYMMETRICOBJECTPROPERTY); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); prop = ObjectPropertyExpression(); jj_consume_token(CLOSEPAR); return df.getOWLAsymmetricObjectPropertyAxiom(prop, axiomAnnos); }
@Override public Object visit(OWLAsymmetricObjectPropertyAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLAsymmetricObjectPropertyAxiom(t(axiom.getProperty()), t(axiom .annotations()))); }
@Override public Object visit(OWLAsymmetricObjectPropertyAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLAsymmetricObjectPropertyAxiom(t(axiom.getProperty()), t(axiom .annotations()))); }
@Override public void handle(String currentId, String value, String qualifierBlock, String comment) { if (Boolean.parseBoolean(value)) { OWLObjectProperty prop = getOWLObjectProperty(currentId); OWLAxiom ax = getDataFactory().getOWLAsymmetricObjectPropertyAxiom(prop); applyChange(new AddAxiom(getOntology(), ax)); } else { addAnnotation(currentId, OBOVocabulary.IS_ASYMMETRIC.getName(), getBooleanConstant(false)); } } }
@Override public void handle(String currentId, String value, String qualifierBlock, String comment) { if (Boolean.parseBoolean(value)) { OWLObjectProperty prop = getOWLObjectProperty(currentId); OWLAxiom ax = getDataFactory().getOWLAsymmetricObjectPropertyAxiom(prop); applyChange(new AddAxiom(getOntology(), ax)); } else { addAnnotation(currentId, OBOVocabulary.IS_ASYMMETRIC.getName(), getBooleanConstant(false)); } } }
public void handle(String id, String value) { if (Boolean.parseBoolean(value)) { OWLObjectProperty prop = getOWLObjectProperty(id); OWLAxiom ax = getDataFactory().getOWLAsymmetricObjectPropertyAxiom(prop); applyChange(new AddAxiom(getOntology(), ax)); } else { addAnnotation(id, OBOVocabulary.IS_ASYMMETRIC.getName(), getBooleanConstant(false)); } } }
private OWLAxiom parseAsymmetricPropertyAxiom() { String kw = consumeToken(); if (!ASYMMETRIC.matches(kw)) { throw new ExceptionBuilder().withKeyword(ASYMMETRIC).build(); } return df.getOWLAsymmetricObjectPropertyAxiom(parseObjectPropertyExpression(false)); }
private OWLAxiom parseAsymmetricPropertyAxiom() { String kw = consumeToken(); if (!ASYMMETRIC.matches(kw)) { throw new ExceptionBuilder().withKeyword(ASYMMETRIC).build(); } return df.getOWLAsymmetricObjectPropertyAxiom(parseObjectPropertyExpression(false)); }
private OWLAxiom parseAsymmetricPropertyAxiom() { String kw = consumeToken(); if (!ASYMMETRIC.matches(kw)) { throw new ExceptionBuilder().withKeyword(ASYMMETRIC).build(); } return df.getOWLAsymmetricObjectPropertyAxiom(parseObjectPropertyExpression(false)); }
protected void addAxioms(OWLObjectProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLObjectPropertyCharacteristicAxiom> result) { addIfEntailed(dataFactory.getOWLFunctionalObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(dataFactory.getOWLInverseFunctionalObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(dataFactory.getOWLSymmetricObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(dataFactory.getOWLAsymmetricObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(dataFactory.getOWLTransitiveObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(dataFactory.getOWLReflexiveObjectPropertyAxiom(entity), reasoner, result); addIfEntailed(dataFactory.getOWLIrreflexiveObjectPropertyAxiom(entity), reasoner, result); }
private void setupSetters() { addSetter(functionalCB, () -> getOWLDataFactory().getOWLFunctionalObjectPropertyAxiom(getProperty())); addSetter(inverseFunctionalCB, () -> getOWLDataFactory().getOWLInverseFunctionalObjectPropertyAxiom(getProperty())); addSetter(transitiveCB, () -> getOWLDataFactory().getOWLTransitiveObjectPropertyAxiom(getProperty())); addSetter(symmetricCB, () -> getOWLDataFactory().getOWLSymmetricObjectPropertyAxiom(getProperty())); addSetter(aSymmetricCB, () -> getOWLDataFactory().getOWLAsymmetricObjectPropertyAxiom(getProperty())); addSetter(reflexiveCB, () -> getOWLDataFactory().getOWLReflexiveObjectPropertyAxiom(getProperty())); addSetter(irreflexiveCB, () -> getOWLDataFactory().getOWLIrreflexiveObjectPropertyAxiom(getProperty())); }
private void setupSetters() { addSetter(functionalCB, () -> getOWLDataFactory().getOWLFunctionalObjectPropertyAxiom(getProperty())); addSetter(inverseFunctionalCB, () -> getOWLDataFactory().getOWLInverseFunctionalObjectPropertyAxiom(getProperty())); addSetter(transitiveCB, () -> getOWLDataFactory().getOWLTransitiveObjectPropertyAxiom(getProperty())); addSetter(symmetricCB, () -> getOWLDataFactory().getOWLSymmetricObjectPropertyAxiom(getProperty())); addSetter(aSymmetricCB, () -> getOWLDataFactory().getOWLAsymmetricObjectPropertyAxiom(getProperty())); addSetter(reflexiveCB, () -> getOWLDataFactory().getOWLReflexiveObjectPropertyAxiom(getProperty())); addSetter(irreflexiveCB, () -> getOWLDataFactory().getOWLIrreflexiveObjectPropertyAxiom(getProperty())); }