@Override public void visitValue(final ATermAppl term) { final ATermAppl nominal = (ATermAppl) term.getArgument(0); if (ATermUtils.isLiteral(nominal)) { visitLiteral(nominal); _obj = _factory.getOWLDataOneOf((OWLLiteral) _obj); } else _obj = _factory.getOWLObjectOneOf(convertIndividual(nominal)); }
@Override public void visitValue(final ATermAppl term) { final ATermAppl nominal = (ATermAppl) term.getArgument(0); if (ATermUtils.isLiteral(nominal)) { visitLiteral(nominal); _obj = _factory.getOWLDataOneOf((OWLLiteral) _obj); } else _obj = _factory.getOWLObjectOneOf(convertIndividual(nominal)); }
@Override public void visitValue(final ATermAppl term) { final ATermAppl nominal = (ATermAppl) term.getArgument(0); if (ATermUtils.isLiteral(nominal)) { visitLiteral(nominal); _obj = _factory.getOWLDataOneOf((OWLLiteral) _obj); } else _obj = _factory.getOWLObjectOneOf(convertIndividual(nominal)); }
@Override public void visitRestrictedDatatype(final ATermAppl dt) { final OWLDatatype baseDatatype = _factory.getOWLDatatype(IRI.create(((ATermAppl) dt.getArgument(0)).getName())); final Set<OWLFacetRestriction> restrictions = new HashSet<>(); for (ATermList list = (ATermList) dt.getArgument(1); !list.isEmpty(); list = list.getNext()) { final ATermAppl facet = (ATermAppl) list.getFirst(); final String facetName = ((ATermAppl) facet.getArgument(0)).getName(); final ATermAppl facetValue = (ATermAppl) facet.getArgument(1); visitLiteral(facetValue); restrictions.add(_factory.getOWLFacetRestriction(OWLFacet.getFacet(IRI.create(facetName)), (OWLLiteral) _obj)); } _obj = _factory.getOWLDatatypeRestriction(baseDatatype, restrictions); } }
@Override public void visitRestrictedDatatype(final ATermAppl dt) { final OWLDatatype baseDatatype = _factory.getOWLDatatype(IRI.create(((ATermAppl) dt.getArgument(0)).getName())); final Set<OWLFacetRestriction> restrictions = new HashSet<>(); for (ATermList list = (ATermList) dt.getArgument(1); !list.isEmpty(); list = list.getNext()) { final ATermAppl facet = (ATermAppl) list.getFirst(); final String facetName = ((ATermAppl) facet.getArgument(0)).getName(); final ATermAppl facetValue = (ATermAppl) facet.getArgument(1); visitLiteral(facetValue); restrictions.add(_factory.getOWLFacetRestriction(OWLFacet.getFacet(IRI.create(facetName)), (OWLLiteral) _obj)); } _obj = _factory.getOWLDatatypeRestriction(baseDatatype, restrictions); } }
@Override public void visitOneOf(final ATermAppl term) { ATermList list = (ATermList) term.getArgument(0); if (ATermUtils.isLiteral((ATermAppl) ((ATermAppl) list.getFirst()).getArgument(0))) { final Set<OWLLiteral> set = new HashSet<>(); for (; !list.isEmpty(); list = list.getNext()) { final ATermAppl first = (ATermAppl) list.getFirst(); if (!ATermUtils.isLiteral((ATermAppl) first.getArgument(0))) throw new InternalReasonerException("Conversion error, expecting literal but found: " + first); visitLiteral((ATermAppl) first.getArgument(0)); set.add((OWLLiteral) _obj); } _obj = _factory.getOWLDataOneOf(set); } else { final Set<OWLIndividual> set = new HashSet<>(); for (; !list.isEmpty(); list = list.getNext()) { final ATermAppl first = (ATermAppl) list.getFirst(); final OWLIndividual ind = convertIndividual((ATermAppl) first.getArgument(0)); set.add(ind); } _obj = _factory.getOWLObjectOneOf(set); } }
@Override public void visitRestrictedDatatype(final ATermAppl dt) { final OWLDatatype baseDatatype = _factory.getOWLDatatype(IRI.create(((ATermAppl) dt.getArgument(0)).getName())); final Set<OWLFacetRestriction> restrictions = new HashSet<>(); for (ATermList list = (ATermList) dt.getArgument(1); !list.isEmpty(); list = list.getNext()) { final ATermAppl facet = (ATermAppl) list.getFirst(); final String facetName = ((ATermAppl) facet.getArgument(0)).getName(); final ATermAppl facetValue = (ATermAppl) facet.getArgument(1); visitLiteral(facetValue); restrictions.add(_factory.getOWLFacetRestriction(OWLFacet.getFacet(IRI.create(facetName)), (OWLLiteral) _obj)); } _obj = _factory.getOWLDatatypeRestriction(baseDatatype, restrictions); } }
@Override public void visitOneOf(final ATermAppl term) { ATermList list = (ATermList) term.getArgument(0); if (ATermUtils.isLiteral((ATermAppl) ((ATermAppl) list.getFirst()).getArgument(0))) { final Set<OWLLiteral> set = new HashSet<>(); for (; !list.isEmpty(); list = list.getNext()) { final ATermAppl first = (ATermAppl) list.getFirst(); if (!ATermUtils.isLiteral((ATermAppl) first.getArgument(0))) throw new InternalReasonerException("Conversion error, expecting literal but found: " + first); visitLiteral((ATermAppl) first.getArgument(0)); set.add((OWLLiteral) _obj); } _obj = _factory.getOWLDataOneOf(set); } else { final Set<OWLIndividual> set = new HashSet<>(); for (; !list.isEmpty(); list = list.getNext()) { final ATermAppl first = (ATermAppl) list.getFirst(); final OWLIndividual ind = convertIndividual((ATermAppl) first.getArgument(0)); set.add(ind); } _obj = _factory.getOWLObjectOneOf(set); } }
@Override public void visitOneOf(final ATermAppl term) { ATermList list = (ATermList) term.getArgument(0); if (ATermUtils.isLiteral((ATermAppl) ((ATermAppl) list.getFirst()).getArgument(0))) { final Set<OWLLiteral> set = new HashSet<>(); for (; !list.isEmpty(); list = list.getNext()) { final ATermAppl first = (ATermAppl) list.getFirst(); if (!ATermUtils.isLiteral((ATermAppl) first.getArgument(0))) throw new InternalReasonerException("Conversion error, expecting literal but found: " + first); visitLiteral((ATermAppl) first.getArgument(0)); set.add((OWLLiteral) _obj); } _obj = _factory.getOWLDataOneOf(set); } else { final Set<OWLIndividual> set = new HashSet<>(); for (; !list.isEmpty(); list = list.getNext()) { final ATermAppl first = (ATermAppl) list.getFirst(); final OWLIndividual ind = convertIndividual((ATermAppl) first.getArgument(0)); set.add(ind); } _obj = _factory.getOWLObjectOneOf(set); } }