@Override public ElkSubClassOfAxiom visit(ElkSubClassOfAxiom axiom) { if (object_ == axiom) return axiom; if (object_ instanceof ElkSubClassOfAxiom) { ElkSubClassOfAxiom result = (ElkSubClassOfAxiom) object_; if (equals(result.getSubClassExpression(), axiom.getSubClassExpression()) && equals(result.getSuperClassExpression(), axiom.getSuperClassExpression())) return result; } return null; }
private ElkObjectSomeValuesFrom getElkSuperClassExistential( ProofNode<OWLAxiom> node) { return (ElkObjectSomeValuesFrom) getElkSubClassOfAxiom(node) .getSuperClassExpression(); }
@Override public ElkClassExpression get(int index) { switch (index) { case 0: return getElkSubClassOfAxiom( getPremises().get(0)) .getSubClassExpression(); default: return getElkSuperClassExistential( getPremises().get(index - 1)) .getFiller(); } }
@Test public void testNaryDataSomeValuesFrom() throws Owl2ParseException { String input = "Prefix ( rdfs: = <http://www.w3.org/2000/01/rdf-schema#> )\n" + "Prefix ( a: = <http://www.example.org#> )\n" + "Prefix ( xsd: = <http://www.w3.org/2001/XMLSchema#> )\n" + "Ontology(<http://www.example.org/>\n" + "SubClassOf(a:2DFigure \n" + " DataSomeValuesFrom(a:hasWidth a:hasLength xsd:integer)\n" + ")\n" + "SubClassOf(a:2DFigure \n" + " DataAllValuesFrom(a:hasWidth a:hasLength xsd:integer)\n" + ")\n" + ")"; ElkTestAxiomProcessor counter = parseOntology(input); List<ElkAxiom> axioms = counter .getAxiomsForType(ElkSubClassOfAxiom.class); assertEquals(2, axioms.size()); for (ElkAxiom axiom : axioms) { ElkSubClassOfAxiom sbAxiom = (ElkSubClassOfAxiom) axiom; assertTrue(sbAxiom.getSuperClassExpression() instanceof ElkDataPropertyListRestrictionQualifiedImpl); ElkDataPropertyListRestrictionQualifiedImpl superCE = (ElkDataPropertyListRestrictionQualifiedImpl) sbAxiom .getSuperClassExpression(); assertEquals(2, superCE.getDataPropertyExpressions().size()); } }
@Override public ElkSubClassOfAxiom visit(ElkSubClassOfAxiom axiom) { if (object_ == axiom) return axiom; if (object_ instanceof ElkSubClassOfAxiom) { ElkSubClassOfAxiom result = (ElkSubClassOfAxiom) object_; if (equals(result.getSubClassExpression(), axiom.getSubClassExpression()) && equals(result.getSuperClassExpression(), axiom.getSuperClassExpression())) return result; } return null; }
@Override public ElkSubClassOfAxiom visit(ElkSubClassOfAxiom axiom) { if (object_ == axiom) return axiom; if (object_ instanceof ElkSubClassOfAxiom) { ElkSubClassOfAxiom result = (ElkSubClassOfAxiom) object_; if (equals(result.getSubClassExpression(), axiom.getSubClassExpression()) && equals(result.getSuperClassExpression(), axiom.getSuperClassExpression())) return result; } return null; }
@Override public ElkClassExpression get(int index) { switch (index) { case 0: return getElkSubClassOfAxiom(getPremises().get(0)) .getSubClassExpression(); default: return getElkSubClassOfAxiom( getPremises().get(index - 1)) .getSuperClassExpression(); } }
@Override public OWLObject visit(ElkSubClassOfAxiom axiom) { return owlFactory_.getOWLSubClassOfAxiom( convert(axiom.getSubClassExpression()), convert(axiom.getSuperClassExpression())); }
@Override public Void visit(ElkSubClassOfAxiom axiom) { axiomInferenceFactory_.getElkSubClassOfAxiomConversion(axiom, axiom.getSubClassExpression().accept(negativeConverter_), axiom.getSuperClassExpression().accept(positiveConverter_)); return null; }
@Override public OWLObject visit(ElkSubClassOfAxiom axiom) { return owlFactory_.getOWLSubClassOfAxiom( convert(axiom.getSubClassExpression()), convert(axiom.getSuperClassExpression())); }
@Override public Void visit(ElkSubClassOfAxiom axiom) { axiomInferenceFactory_.getElkSubClassOfAxiomConversion(axiom, axiom.getSubClassExpression().accept(negativeConverter_), axiom.getSuperClassExpression().accept(positiveConverter_)); return null; }
@Override public OWLObject visit(ElkSubClassOfAxiom axiom) { return owlFactory_.getOWLSubClassOfAxiom( convert(axiom.getSubClassExpression()), convert(axiom.getSuperClassExpression())); }
@Override public Void visit(ElkSubClassOfAxiom axiom) { axiomInferenceFactory_.getElkSubClassOfAxiomConversion(axiom, axiom.getSubClassExpression().accept(negativeConverter_), axiom.getSuperClassExpression().accept(positiveConverter_)); return null; }
@Override public Integer visit(ElkSubClassOfAxiom axiom) { return combinedHashCode(hashCode(ElkSubClassOfAxiom.class), hashCode(axiom.getSubClassExpression()), hashCode(axiom.getSuperClassExpression())); }
@Override public Integer visit(ElkSubClassOfAxiom axiom) { return combinedHashCode(hashCode(ElkSubClassOfAxiom.class), hashCode(axiom.getSubClassExpression()), hashCode(axiom.getSuperClassExpression())); }
@Override public Integer visit(ElkSubClassOfAxiom axiom) { return combinedHashCode(hashCode(ElkSubClassOfAxiom.class), hashCode(axiom.getSubClassExpression()), hashCode(axiom.getSuperClassExpression())); }
@Override public Void visit(final ElkSubClassOfAxiom elkSubClassOfAxiom) { if (elkSubClassOfAxiom .getSubClassExpression() instanceof ElkClass) { subClasses.add(elkSubClassOfAxiom.getSuperClassExpression(), (ElkClass) elkSubClassOfAxiom .getSubClassExpression()); } else { complex.add(elkSubClassOfAxiom.getSubClassExpression()); } if (elkSubClassOfAxiom .getSuperClassExpression() instanceof ElkClass) { superClasses.add(elkSubClassOfAxiom.getSubClassExpression(), (ElkClass) elkSubClassOfAxiom .getSuperClassExpression()); } else { complex.add(elkSubClassOfAxiom.getSuperClassExpression()); } return null; }
@Override public SubClassOfEntailmentQuery visit(final ElkSubClassOfAxiom axiom) { final IndexedClassExpression subClass = axiom.getSubClassExpression() .accept(positiveConverter_); final IndexedClassExpression superClass = axiom .getSuperClassExpression().accept(negativeConverter_); return new SubClassOfEntailmentQuery( new SubClassOfAxiomEntailmentImpl(axiom), subClass, superClass); }
@Override public Void visit(ElkSubClassOfAxiom elkSubClassOfAxiom) { write("SubClassOf("); write(elkSubClassOfAxiom.getSubClassExpression()); write(' '); write(elkSubClassOfAxiom.getSuperClassExpression()); write(')'); return null; }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkSubClassOfAxiomConversion parent = getParent(); ElkSubClassOfAxiom premise = parent.getOriginalAxiom(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), premise.getSubClassExpression(), premise.getSuperClassExpression()); }