private OWLClassExpression trClass(Object v) { return trClass((String)v); }
iSet.add(trClass(clause.getValue()));
private OWLAxiom trIntersectionOf(OWLClass cls, Collection<Clause> clauses) { Set<? extends OWLAnnotation> annotations = trAnnotations(clauses); Set<OWLClassExpression> eSet; eSet = new HashSet<OWLClassExpression>(); eSet.add(cls); Set<OWLClassExpression> iSet; iSet = new HashSet<OWLClassExpression>(); for (Clause clause: clauses) { Collection<QualifierValue> qvs = clause.getQualifierValues(); if (clause.getValues().size() == 1) { iSet.add(trClass(clause.getValue())); } else { iSet.add(trRel((String)clause.getValue(), (String)clause.getValue2(), qvs)); } } //out.println(cls+" CL:"+clauses+" I:"+iSet+" E:"+eSet); eSet.add(fac.getOWLObjectIntersectionOf(iSet)); // TODO - fix this if (annotations == null || annotations.size() == 0) { return fac.getOWLEquivalentClassesAxiom(eSet); } else { return fac.getOWLEquivalentClassesAxiom(eSet, annotations); } }
trClass((String)clause.getValue()), annotations); cSet = new HashSet<OWLClassExpression>(); cSet.add(clsx); cSet.add(trClass((String)clause.getValue())); ax = fac.getOWLDisjointClassesAxiom( cSet, cSet = new HashSet<OWLClassExpression>(); cSet.add(clsx); cSet.add(trClass((String)clause.getValue())); ax = fac.getOWLEquivalentClassesAxiom( cSet,
public OWLClassExpression trTermFrame(Frame termFrame) { OWLClass cls = trClass(termFrame.getId()); add(fac.getOWLDeclarationAxiom(cls)); for (String t : termFrame.getTags()) { //System.out.println("tag:"+tag); Collection<Clause> clauses = termFrame.getClauses(t); OboFormatTag tag = OBOFormatConstants.getTag(t); if (tag == OboFormatTag.TAG_INTERSECTION_OF) { add(trIntersectionOf(cls,clauses)); } else if (tag == OboFormatTag.TAG_UNION_OF) { add(trUnionOf(cls,clauses)); } else { for (Clause clause : clauses) { add(trTermClause(cls,t,clause)); } } } return cls; }
Frame relFrame = obodoc.getTypedefFrame(relId); OWLObjectPropertyExpression pe = trObjectProp(relId); OWLClassExpression ce = trClass(classId); Integer exact = getQVInt("cardinality", quals); Integer min = getQVInt("minCardinality", quals);