/** * {@inheritDoc} */ @Override public void visitInverse(final ATermAppl p) { final OWLObjectProperty prop = (OWLObjectProperty) convert((ATermAppl) p.getArgument(0)); _obj = _factory.getOWLObjectInverseOf(prop); }
public AxiomConverter(final KnowledgeBase kb, final OWLDataFactory factory) { if (kb == null) throw new OpenError("KnowledgeBase is null"); if (factory == null) throw new OpenError("OWLDataFactory is null"); _kb = kb; _factory = factory; _conceptConverter = new ConceptConverter(kb, factory); }
@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 visitOr(final ATermAppl term) { visitList((ATermList) term.getArgument(0)); if (_obj instanceof OWLClassExpression) _obj = _factory.getOWLObjectUnionOf(dynamicCastTheSet(_set, OWLClassExpression.class)); else if (_obj instanceof OWLDataRange) _obj = _factory.getOWLDataUnionOf(dynamicCastTheSet(_set, OWLDataRange.class)); }
@Override public void visitMin(final ATermAppl term) { visit((ATermAppl) term.getArgument(0)); final OWLPropertyExpression prop = (OWLPropertyExpression) _obj; final int cardinality = Integer.parseInt(term.getArgument(1).toString()); if (prop instanceof OWLObjectPropertyExpression) { final OWLClassExpression c = (OWLClassExpression) convert((ATermAppl) term.getArgument(2)); _obj = _factory.getOWLObjectMinCardinality(cardinality, (OWLObjectPropertyExpression) prop, c); } else { final OWLDataRange d = (OWLDataRange) convert((ATermAppl) term.getArgument(2)); _obj = _factory.getOWLDataMinCardinality(cardinality, (OWLDataProperty) prop, d); } }
final OWLClassExpression c1 = (OWLClassExpression) _conceptConverter.convert((ATermAppl) term.getArgument(0)); final OWLClassExpression c2 = (OWLClassExpression) _conceptConverter.convert((ATermAppl) term.getArgument(1)); final OWLClassExpression c1 = (OWLClassExpression) _conceptConverter.convert((ATermAppl) term.getArgument(0)); final OWLClassExpression c2 = (OWLClassExpression) _conceptConverter.convert((ATermAppl) term.getArgument(1)); final OWLClassExpression c = (OWLClassExpression) _conceptConverter.convert(concept); if (c == null) break; final OWLClassExpression c1 = (OWLClassExpression) _conceptConverter.convert((ATermAppl) term.getArgument(0)); final OWLClassExpression c2 = (OWLClassExpression) _conceptConverter.convert((ATermAppl) term.getArgument(1)); final OWLObject p = _conceptConverter.convert((ATermAppl) term.getArgument(0)); if (p == null) break; final OWLObject p1 = _conceptConverter.convert((ATermAppl) term.getArgument(0)); final OWLObject p2 = _conceptConverter.convert((ATermAppl) term.getArgument(1)); final OWLObjectPropertyExpression p = (OWLObjectPropertyExpression) _conceptConverter.convert((ATermAppl) list.getFirst()); if (p == null) final OWLObjectProperty sup = (OWLObjectProperty) _conceptConverter.convert((ATermAppl) term.getArgument(1)); final OWLObject p1 = _conceptConverter.convert((ATermAppl) term.getArgument(0)); final OWLObject p2 = _conceptConverter.convert((ATermAppl) term.getArgument(1)); final OWLObject p1 = _conceptConverter.convert((ATermAppl) term.getArgument(0));
public OWLObject convert(final ATermAppl term) { _obj = null; visit(term); return _obj; }
@Override public void visitHasValue(final ATermAppl term) { visit((ATermAppl) term.getArgument(0)); final OWLPropertyExpression prop = (OWLPropertyExpression) _obj; if (prop instanceof OWLObjectProperty) { final OWLIndividual ind = convertIndividual((ATermAppl) ((ATermAppl) term.getArgument(1)).getArgument(0)); _obj = _factory.getOWLObjectHasValue((OWLObjectPropertyExpression) prop, ind); } else { visit((ATermAppl) ((ATermAppl) term.getArgument(1)).getArgument(0)); final OWLLiteral dataVal = (OWLLiteral) _obj; _obj = _factory.getOWLDataHasValue((OWLDataProperty) prop, dataVal); } }
private SWRLIArgument parseToAtomIObject(final ATermAppl t) { if (ATermUtils.isVar(t)) return _factory.getSWRLVariable(IRI.create(((ATermAppl) t.getArgument(0)).getName())); if (_kb.isIndividual(t)) return _factory.getSWRLIndividualArgument(_conceptConverter.convertIndividual(t)); throw new InternalReasonerException("Unrecognized term: " + t); }
@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 visitCard(final ATermAppl term) { visit((ATermAppl) term.getArgument(0)); final OWLPropertyExpression prop = (OWLPropertyExpression) _obj; final int cardinality = Integer.parseInt(term.getArgument(1).toString()); if (prop instanceof OWLObjectPropertyExpression) { final OWLClassExpression c = (OWLClassExpression) convert((ATermAppl) term.getArgument(2)); _obj = _factory.getOWLObjectExactCardinality(cardinality, (OWLObjectPropertyExpression) prop, c); } else { final OWLDataRange d = (OWLDataRange) convert((ATermAppl) term.getArgument(2)); _obj = _factory.getOWLDataExactCardinality(cardinality, (OWLDataProperty) prop, d); } }
@Override public void visitAnd(final ATermAppl term) { visitList((ATermList) term.getArgument(0)); if (_obj instanceof OWLClassExpression) _obj = _factory.getOWLObjectIntersectionOf(dynamicCastTheSet(_set, OWLClassExpression.class)); else if (_obj instanceof OWLDataRange) _obj = _factory.getOWLDataIntersectionOf(dynamicCastTheSet(_set, OWLDataRange.class)); }
final OWLClassExpression c1 = (OWLClassExpression) _conceptConverter.convert((ATermAppl) term.getArgument(0)); final OWLClassExpression c2 = (OWLClassExpression) _conceptConverter.convert((ATermAppl) term.getArgument(1)); final OWLClassExpression c1 = (OWLClassExpression) _conceptConverter.convert((ATermAppl) term.getArgument(0)); final OWLClassExpression c2 = (OWLClassExpression) _conceptConverter.convert((ATermAppl) term.getArgument(1)); final OWLClassExpression c = (OWLClassExpression) _conceptConverter.convert(concept); if (c == null) break; final OWLClassExpression c1 = (OWLClassExpression) _conceptConverter.convert((ATermAppl) term.getArgument(0)); final OWLClassExpression c2 = (OWLClassExpression) _conceptConverter.convert((ATermAppl) term.getArgument(1)); final OWLObject p = _conceptConverter.convert((ATermAppl) term.getArgument(0)); if (p == null) break; final OWLObject p1 = _conceptConverter.convert((ATermAppl) term.getArgument(0)); final OWLObject p2 = _conceptConverter.convert((ATermAppl) term.getArgument(1)); final OWLObjectPropertyExpression p = (OWLObjectPropertyExpression) _conceptConverter.convert((ATermAppl) list.getFirst()); if (p == null) final OWLObjectProperty sup = (OWLObjectProperty) _conceptConverter.convert((ATermAppl) term.getArgument(1)); final OWLObject p1 = _conceptConverter.convert((ATermAppl) term.getArgument(0)); final OWLObject p2 = _conceptConverter.convert((ATermAppl) term.getArgument(1)); final OWLObject p1 = _conceptConverter.convert((ATermAppl) term.getArgument(0));
public OWLObject convert(final ATermAppl term) { _obj = null; visit(term); return _obj; }
@Override public void visitHasValue(final ATermAppl term) { visit((ATermAppl) term.getArgument(0)); final OWLPropertyExpression prop = (OWLPropertyExpression) _obj; if (prop instanceof OWLObjectProperty) { final OWLIndividual ind = convertIndividual((ATermAppl) ((ATermAppl) term.getArgument(1)).getArgument(0)); _obj = _factory.getOWLObjectHasValue((OWLObjectPropertyExpression) prop, ind); } else { visit((ATermAppl) ((ATermAppl) term.getArgument(1)).getArgument(0)); final OWLLiteral dataVal = (OWLLiteral) _obj; _obj = _factory.getOWLDataHasValue((OWLDataProperty) prop, dataVal); } }
private SWRLIArgument parseToAtomIObject(final ATermAppl t) { if (ATermUtils.isVar(t)) return _factory.getSWRLVariable(IRI.create(((ATermAppl) t.getArgument(0)).getName())); if (_kb.isIndividual(t)) return _factory.getSWRLIndividualArgument(_conceptConverter.convertIndividual(t)); throw new InternalReasonerException("Unrecognized term: " + t); }
@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 visitCard(final ATermAppl term) { visit((ATermAppl) term.getArgument(0)); final OWLPropertyExpression prop = (OWLPropertyExpression) _obj; final int cardinality = Integer.parseInt(term.getArgument(1).toString()); if (prop instanceof OWLObjectPropertyExpression) { final OWLClassExpression c = (OWLClassExpression) convert((ATermAppl) term.getArgument(2)); _obj = _factory.getOWLObjectExactCardinality(cardinality, (OWLObjectPropertyExpression) prop, c); } else { final OWLDataRange d = (OWLDataRange) convert((ATermAppl) term.getArgument(2)); _obj = _factory.getOWLDataExactCardinality(cardinality, (OWLDataProperty) prop, d); } }
@Override public void visitOr(final ATermAppl term) { visitList((ATermList) term.getArgument(0)); if (_obj instanceof OWLClassExpression) _obj = _factory.getOWLObjectUnionOf(dynamicCastTheSet(_set, OWLClassExpression.class)); else if (_obj instanceof OWLDataRange) _obj = _factory.getOWLDataUnionOf(dynamicCastTheSet(_set, OWLDataRange.class)); }
@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)); }