@Override public <O> O accept(ElkObjectVisitor<O> visitor) { return accept((ElkDataPropertyListRestrictionQualifiedVisitor<O>) visitor); }
@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 <O> O accept(ElkClassExpressionVisitor<O> visitor) { return accept((ElkDataPropertyListRestrictionQualifiedVisitor<O>) visitor); } }
@Override public <O> O accept(ElkClassExpressionVisitor<O> visitor) { return accept((ElkDataPropertyListRestrictionQualifiedVisitor<O>) visitor); } }
@Override public <O> O accept(ElkClassExpressionVisitor<O> visitor) { return accept((ElkDataPropertyListRestrictionQualifiedVisitor<O>) visitor); } }
@Override public <O> O accept(ElkObjectVisitor<O> visitor) { return accept((ElkDataPropertyListRestrictionQualifiedVisitor<O>) visitor); }
@Override public <O> O accept(ElkObjectVisitor<O> visitor) { return accept((ElkDataPropertyListRestrictionQualifiedVisitor<O>) visitor); }