@Override public OWLAxiom visit(OWLDataPropertyDomainAxiom axiom) { return df.getOWLDataPropertyDomainAxiom(axiom.getProperty(), axiom.getDomain().accept(classVisitor)); }
@Override public OWLClassExpression visit(OWLDataPropertyDomainAxiom ax) { OWLClassExpression exists = df.getOWLDataSomeValuesFrom(ax.getProperty(), df.getTopDatatype()); return df.getOWLObjectIntersectionOf(exists, df.getOWLObjectComplementOf(ax.getDomain())); }
public void visit(OWLDataPropertyDomainAxiom ax) { wasAxiomProcessed=true; axioms.add( factory.getOWLSubClassOfAxiom( factory.getOWLDataSomeValuesFrom(ax.getProperty(), factory.getTopDatatype()), ax.getDomain()) ); }
private void initializeDomainMap() { domainMap = new HashMap<OWLClass, Set<OWLEntity>>(); for (OWLObjectPropertyDomainAxiom axiom : ontology.getAxioms(AxiomType.OBJECT_PROPERTY_DOMAIN)) { if (!axiom.getDomain().isAnonymous() && !axiom.getProperty().isAnonymous()) { OWLClass owlClass = axiom.getDomain().asOWLClass(); Set<OWLEntity> domains = domainMap.get(owlClass); if (domains == null) { domains = new HashSet<OWLEntity>(); domainMap.put(owlClass, domains); } domains.add(axiom.getProperty().asOWLObjectProperty()); } } for (OWLDataPropertyDomainAxiom axiom : ontology.getAxioms(AxiomType.DATA_PROPERTY_DOMAIN)) { if (!axiom.getDomain().isAnonymous() && !axiom.getProperty().isAnonymous()) { OWLClass owlClass = axiom.getDomain().asOWLClass(); Set<OWLEntity> domains = domainMap.get(owlClass); if (domains == null) { domains = new HashSet<OWLEntity>(); domainMap.put(owlClass, domains); } domains.add(axiom.getProperty().asOWLDataProperty()); } } }
@Override public void visit(OWLDataPropertyDomainAxiom axiom) { newAxiom = df.getOWLDataPropertyDomainAxiom(axiom.getProperty(), this.replaceBottom(axiom.getDomain())); }
@Override public void visit(OWLDataPropertyDomainAxiom axiom) { getAxiomsForLHS(axiom.getProperty().asOWLDataProperty()).add(axiom); indexAxiomsByRHSEntities(axiom.getDomain(), axiom); }
@Override public void visit(OWLDataPropertyDomainAxiom axiom) { isLocal = true; for (OWLClassExpression e : exprMap.get(axiom)) { isLocal &= kernel.isEntailed(df.getOWLSubClassOfAxiom(e, axiom.getDomain())); } }
public void visit(OWLDataPropertyDomainAxiom axiom) { isEL = !(axiom.getProperty().isAnonymous()); if (isEL){ ELClassExpressionVisitor classExpVisitor = new ELClassExpressionVisitor(); axiom.getDomain().accept(classExpVisitor); isEL = classExpVisitor.getIsEL(); } }
@Override public Object visit(OWLDataPropertyDomainAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLDataPropertyDomainAxiom(t(axiom.getProperty()), t(axiom .getDomain()), t(axiom.annotations()))); }
/** * Builder initialized from an existing object. * * @param expected the existing object * @param df data factory */ public BuilderDataPropertyDomain(OWLDataPropertyDomainAxiom expected, OWLDataFactory df) { this(df); withProperty(expected.getProperty()).withDomain(expected.getDomain()) .withAnnotations(expected.annotations()); }
@Override public void visit(OWLDataPropertyDomainAxiom axiom) { writeAxiomStart(DATA_PROPERTY_DOMAIN, axiom); acceptAndSpace(axiom.getProperty()); axiom.getDomain().accept(this); writeAxiomEnd(); }
@Override public Collection<OWLObject> visit(OWLDataPropertyDomainAxiom ce) { objects.add(ce); return ce.getProperty().accept(this); }
@Override public Set<OWLAxiom> visit(OWLDataPropertyDomainAxiom axiom) { return axiom.asOWLSubClassOfAxiom().accept(this); }
@Override public Collection<OWLAxiom> visit(OWLDataPropertyDomainAxiom axiom) { return subClassOf(df.getOWLDataSomeValuesFrom(axiom.getProperty(), df.getTopDatatype()), axiom.getDomain()); }
@Override public void visit(OWLDataPropertyDomainAxiom axiom) { OWLDataPropertyExpression property = axiom.getProperty(); property = expressionRenamer.rename(property); OWLClassExpression domain = axiom.getDomain(); domain = expressionRenamer.rename(domain); renamedAxiom = df.getOWLDataPropertyDomainAxiom(property, domain); }
@Override public void visit(OWLDataPropertyDomainAxiom axiom) { getAxiomsForLHS(axiom.getProperty().asOWLDataProperty()).add(axiom); indexAxiomsByRHSEntities(axiom.getDomain(), axiom); }
@Override public void visit(OWLDataPropertyDomainAxiom axiom) { isLocal = true; for (OWLClassExpression e : exprMap.get(axiom)) { isLocal &= kernel.isEntailed(df.getOWLSubClassOfAxiom(e, axiom.getDomain())); } }
@Override public Object visit(OWLDataPropertyDomainAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLDataPropertyDomainAxiom(t(axiom.getProperty()), t(axiom .getDomain()), t(axiom.annotations()))); }
/** * Builder initialized from an existing object. * * @param expected the existing object * @param df data factory */ public BuilderDataPropertyDomain(OWLDataPropertyDomainAxiom expected, OWLDataFactory df) { this(df); withProperty(expected.getProperty()).withDomain(expected.getDomain()) .withAnnotations(expected.annotations()); }
@Override public Boolean visit(OWLDataPropertyDomainAxiom axiom) { return axiom.asOWLSubClassOfAxiom().accept(this); }