@Override public List<? extends ElkObjectPropertyExpression> getObjectPropertyExpressions() { List<ElkObjectPropertyExpression> opes = new ArrayList<ElkObjectPropertyExpression>( this.owlObject.getObjectPropertyExpressions().size()); for (OWLObjectPropertyExpression ope : this.owlObject .getObjectPropertyExpressions()) { opes.add(converter.convert(ope)); } return opes; }
@Override public List<? extends ElkObjectPropertyExpression> getObjectPropertyExpressions() { List<ElkObjectPropertyExpression> opes = new ArrayList<ElkObjectPropertyExpression>( this.owlObject.getObjectPropertyExpressions().size()); for (OWLObjectPropertyExpression ope : this.owlObject .getObjectPropertyExpressions()) { opes.add(converter.convert(ope)); } return opes; }
@Override public List<? extends ElkObjectPropertyExpression> getObjectPropertyExpressions() { List<ElkObjectPropertyExpression> opes = new ArrayList<ElkObjectPropertyExpression>( this.owlObject.getObjectPropertyExpressions().size()); for (OWLObjectPropertyExpression ope : this.owlObject .getObjectPropertyExpressions()) { opes.add(converter.convert(ope)); } return opes; }
public void visit(OWLHasKeyAxiom axiom) { sb.append("HasKey("); axiom.getClassExpression().accept(this); sb.append(" ("); for (OWLObjectPropertyExpression prop : axiom.getObjectPropertyExpressions()) { prop.accept(this); sb.append(" "); } sb.append(") ("); for (OWLDataPropertyExpression prop : axiom.getDataPropertyExpressions()) { prop.accept(this); sb.append(" "); } sb.append(")"); sb.append(")"); }
@Override public void visit(OWLHasKeyAxiom axiom) { sb.append("HasKey("); axiom.getClassExpression().accept(this); sb.append(" ("); for (OWLObjectPropertyExpression prop : axiom.getObjectPropertyExpressions()) { prop.accept(this); sb.append(" "); } sb.append(") ("); for (OWLDataPropertyExpression prop : axiom.getDataPropertyExpressions()) { prop.accept(this); sb.append(" "); } sb.append(")"); sb.append(")"); }
@Override public void visit(OWLHasKeyAxiom axiom) { sb.append("HasKey("); writeAnnotations(axiom); axiom.getClassExpression().accept(this); sb.append(" ("); for (OWLObjectPropertyExpression prop : axiom.getObjectPropertyExpressions()) { prop.accept(this); sb.append(' '); } sb.append(") ("); for (OWLDataPropertyExpression prop : axiom.getDataPropertyExpressions()) { prop.accept(this); sb.append(' '); } sb.append(')'); sb.append(')'); }
/** * {@inheritDoc} */ public void visit(OWLHasKeyAxiom theAxiom) { write( theAxiom.getClassExpression() ); writeSpace(); write( Keyword.HAS_KEY ); if( !theAxiom.getObjectPropertyExpressions().isEmpty() ) { writeCollection( theAxiom.getObjectPropertyExpressions(), "", true ); writeSpace(); } writeCollection( theAxiom.getDataPropertyExpressions(), "", true ); }
public void visit(OWLHasKeyAxiom axiom) { for (OWLDataPropertyExpression dataPropertyExpression : axiom.getDataPropertyExpressions()) checkTopDataPropertyUse(dataPropertyExpression,axiom); OWLClassExpression description=positive(axiom.getClassExpression()); if (!isSimple(description)) { OWLClassExpression definition=getDefinitionFor(description,m_alreadyExists); if (!m_alreadyExists[0]) m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { negative(definition),description }); description=definition; } m_axioms.m_hasKeys.add(m_factory.getOWLHasKeyAxiom(description,axiom.getPropertyExpressions())); for (OWLObjectPropertyExpression objectPropertyExpression : axiom.getObjectPropertyExpressions()) m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(objectPropertyExpression.getNamedProperty()); }
public void visit(OWLHasKeyAxiom axiom) { writeAxiomStart(HAS_KEY, axiom); axiom.getClassExpression().accept(this); write(" "); write("("); for (Iterator<? extends OWLPropertyExpression> it = axiom.getObjectPropertyExpressions().iterator(); it.hasNext();) { OWLPropertyExpression prop = it.next(); prop.accept(this); if (it.hasNext()) { write(" "); } } write(") ("); for (Iterator<? extends OWLPropertyExpression> it = axiom.getDataPropertyExpressions().iterator(); it.hasNext();) { OWLPropertyExpression prop = it.next(); prop.accept(this); if (it.hasNext()) { write(" "); } } write(")"); writeAxiomEnd(); }
@Override public void visit(@Nonnull OWLHasKeyAxiom axiom) { setAxiomWriting(); axiom.getClassExpression().accept(this); write(HAS_KEY); write(axiom.getObjectPropertyExpressions(), COMMA, false); write(axiom.getDataPropertyExpressions(), COMMA, false); }
@Override public void visit(OWLHasKeyAxiom axiom) { writeAxiomStart(HAS_KEY, axiom); axiom.getClassExpression().accept(this); write(" "); write("("); for (Iterator<? extends OWLPropertyExpression<?, ?>> it = axiom .getObjectPropertyExpressions().iterator(); it.hasNext();) { OWLPropertyExpression<?, ?> prop = it.next(); prop.accept(this); if (it.hasNext()) { write(" "); } } write(") ("); for (Iterator<? extends OWLPropertyExpression<?, ?>> it = axiom .getDataPropertyExpressions().iterator(); it.hasNext();) { OWLPropertyExpression<?, ?> prop = it.next(); prop.accept(this); if (it.hasNext()) { write(" "); } } write(")"); writeAxiomEnd(); }
public void visit(OWLHasKeyAxiom axiom) { handleObject(axiom); axiom.getClassExpression().accept(this); for (OWLObjectPropertyExpression prop : axiom.getObjectPropertyExpressions()) { prop.accept(this); } for (OWLDataPropertyExpression prop : axiom.getDataPropertyExpressions()) { prop.accept(this); } }
@Override public void visit(OWLHasKeyAxiom axiom) { setAxiomWriting(); axiom.getClassExpression().accept(this); write(HAS_KEY); write(axiom.getObjectPropertyExpressions(), COMMA, false); write(axiom.getDataPropertyExpressions(), COMMA, false); }
public void visit(OWLHasKeyAxiom axiom) { setAxiomWriting(); axiom.getClassExpression().accept(this); write(HAS_KEY); write(axiom.getObjectPropertyExpressions(), COMMA, false); write(axiom.getDataPropertyExpressions(), COMMA, false); }
int yIndex=1; for (OWLObjectPropertyExpression p : object.getObjectPropertyExpressions()) { Variable y; y=Variable.create("Y"+yIndex);
@Override public void visit(OWLHasKeyAxiom axiom) { writer.writeStartElement(HAS_KEY); writeAnnotations(axiom); axiom.getClassExpression().accept(this); render(axiom.getObjectPropertyExpressions()); render(axiom.getDataPropertyExpressions()); writer.writeEndElement(); }
public void visit(OWLHasKeyAxiom axiom) { writer.writeStartElement(HAS_KEY); writeAnnotations(axiom); axiom.getClassExpression().accept(this); render(axiom.getObjectPropertyExpressions()); render(axiom.getDataPropertyExpressions()); writer.writeEndElement(); }
public Boolean visit(OWLHasKeyAxiom axiom) { reasoner.throwFreshEntityExceptionIfNecessary(axiom); reasoner.throwInconsistentOntologyExceptionIfNecessary(); if (!reasoner.isConsistent()) return true; OWLOntologyManager ontologyManager=OWLManager.createOWLOntologyManager(); OWLDataFactory factory=ontologyManager.getOWLDataFactory(); OWLIndividual individualA=factory.getOWLNamedIndividual(IRI.create("internal:named-fresh-individual-A")); OWLIndividual individualB=factory.getOWLNamedIndividual(IRI.create("internal:named-fresh-individual-B")); Set<OWLAxiom> axioms=new HashSet<OWLAxiom>(); axioms.add(factory.getOWLClassAssertionAxiom(axiom.getClassExpression(),individualA)); axioms.add(factory.getOWLClassAssertionAxiom(axiom.getClassExpression(),individualB)); int i=0; for (OWLObjectPropertyExpression p : axiom.getObjectPropertyExpressions()) { OWLIndividual tmp=factory.getOWLNamedIndividual(IRI.create("internal:named-fresh-individual-"+i)); axioms.add(factory.getOWLObjectPropertyAssertionAxiom(p,individualA,tmp)); axioms.add(factory.getOWLObjectPropertyAssertionAxiom(p,individualB,tmp)); i++; } for (OWLDataPropertyExpression p : axiom.getDataPropertyExpressions()) { OWLDatatype anonymousConstantsDatatype=factory.getOWLDatatype(IRI.create("internal:anonymous-constants")); OWLLiteral constant=factory.getOWLLiteral("internal:constant-"+i,anonymousConstantsDatatype); axioms.add(factory.getOWLDataPropertyAssertionAxiom(p,individualA,constant)); axioms.add(factory.getOWLDataPropertyAssertionAxiom(p,individualB,constant)); i++; } axioms.add(factory.getOWLDifferentIndividualsAxiom(individualA,individualB)); Tableau tableau=reasoner.getTableau(axioms.toArray(new OWLAxiom[axioms.size()])); return !tableau.isSatisfiable(true,true,null,null,null,null,null,ReasoningTaskDescription.isAxiomEntailed(axiom)); }