@Override protected Stream<OWLObjectPropertyExpression> getEntitiesInSignature(OWLAxiom ax) { Set<OWLObjectPropertyExpression> result = new HashSet<>(); ax.objectPropertiesInSignature().forEach(p -> { result.add(p); result.add(p.getInverseProperty()); }); return result.stream(); }
@Nullable public OWLObjectPropertyExpression getEditedObject() { OWLObjectProperty p = namedObjectPropertySelector.getSelectedObject(); return inverseCheckBox.isSelected() ? p.getInverseProperty() : p; }
@Override protected Stream<OWLObjectPropertyExpression> getEntities(OWLOntology ont) { Set<OWLObjectPropertyExpression> result = new HashSet<>(); ont.objectPropertiesInSignature().forEach(p -> { result.add(p); result.add(p.getInverseProperty()); }); return result.stream(); }
@Override protected Stream<OWLObjectPropertyExpression> getEntities(OWLOntology ont) { Set<OWLObjectPropertyExpression> result = new HashSet<>(); ont.objectPropertiesInSignature().forEach(p -> { result.add(p); result.add(p.getInverseProperty()); }); return result.stream(); }
@Override protected Set<OWLObjectPropertyExpression> getEntitiesInSignature(OWLAxiom ax) { Set<OWLObjectPropertyExpression> result = new HashSet<OWLObjectPropertyExpression>(); for (OWLObjectProperty property : ax.getObjectPropertiesInSignature()) { result.add(property); result.add(property.getInverseProperty()); } return result; }
@Override protected Set<OWLObjectPropertyExpression> getEntitiesInSignature(OWLAxiom ax) { Set<OWLObjectPropertyExpression> result = new HashSet<>(); for (OWLObjectProperty property : ax.getObjectPropertiesInSignature()) { result.add(property); result.add(property.getInverseProperty()); } return result; }
@Nullable public OWLObjectPropertyExpression getEditedObject() { OWLObjectProperty p = namedObjectPropertySelector.getSelectedObject(); return inverseCheckBox.isSelected() ? p.getInverseProperty() : p; }
@Override protected Stream<OWLObjectPropertyExpression> getEntitiesInSignature(OWLAxiom ax) { Set<OWLObjectPropertyExpression> result = new HashSet<>(); ax.objectPropertiesInSignature().forEach(p -> { result.add(p); result.add(p.getInverseProperty()); }); return result.stream(); }
@Override protected Stream<OWLObjectPropertyExpression> getEntitiesInSignature(OWLAxiom ax) { Set<OWLObjectPropertyExpression> result = new HashSet<>(); ax.objectPropertiesInSignature().forEach(p -> { result.add(p); result.add(p.getInverseProperty()); }); return result.stream(); }
@Override protected Stream<OWLObjectPropertyExpression> getEntitiesInSignature(OWLAxiom ax) { Set<OWLObjectPropertyExpression> result = new HashSet<>(); ax.objectPropertiesInSignature().forEach(p -> { result.add(p); result.add(p.getInverseProperty()); }); return result.stream(); }
@Override protected Stream<OWLObjectPropertyExpression> getEntities(OWLOntology ont) { Set<OWLObjectPropertyExpression> result = new HashSet<>(); ont.objectPropertiesInSignature().forEach(p -> { result.add(p); result.add(p.getInverseProperty()); }); return result.stream(); }
@Override protected Set<OWLObjectPropertyExpression> getEntitiesInSignature(OWLAxiom ax) { Set<OWLObjectPropertyExpression> result = new HashSet<OWLObjectPropertyExpression>(); for (OWLObjectProperty property : ax.getObjectPropertiesInSignature()) { result.add(property); result.add(property.getInverseProperty()); } return result; }
@Override protected Stream<OWLObjectPropertyExpression> getEntities(OWLOntology ont) { Set<OWLObjectPropertyExpression> result = new HashSet<>(); ont.objectPropertiesInSignature().forEach(p -> { result.add(p); result.add(p.getInverseProperty()); }); return result.stream(); }
private void setOntology(OWLOntology ontology) { this.ontology = ontology; for(OWLOntology ont : man.getImportsClosure(ontology)) { for(OWLObjectProperty prop : ont.getObjectPropertiesInSignature()) { properties.add(prop); properties.add(prop.getInverseProperty()); } } reset(); }
protected void axiomatizeTopObjectProperty(OWLAxioms axioms) { // TransitiveObjectProperty( owl:topObjectProperty ) axioms.m_complexObjectPropertyInclusions.add(new OWLAxioms.ComplexObjectPropertyInclusion(m_topObjectProperty)); // SymmetricObjectProperty( owl:topObjectProperty ) axioms.m_simpleObjectPropertyInclusions.add(Arrays.asList(m_topObjectProperty,m_topObjectProperty.getInverseProperty())); // SubClassOf( owl:Thing ObjectSomeValuesFrom( owl:topObjectProperty ObjectOneOf( <internal:nam#topIndividual> ) ) ) OWLIndividual newIndividual=m_factory.getOWLNamedIndividual(IRI.create("internal:nam#","topIndividual")); OWLObjectOneOf oneOfNewIndividual=m_factory.getOWLObjectOneOf(newIndividual); OWLObjectSomeValuesFrom hasTopNewIndividual=m_factory.getOWLObjectSomeValuesFrom(m_topObjectProperty,oneOfNewIndividual); axioms.m_conceptInclusions.add(Arrays.asList(hasTopNewIndividual)); } protected void axiomatizeBottomObjectProperty(OWLAxioms axioms) {
protected void axiomatizeTopObjectProperty(OWLAxioms axioms) { // TransitiveObjectProperty( owl:topObjectProperty ) axioms.m_complexObjectPropertyInclusions.add(new OWLAxioms.ComplexObjectPropertyInclusion(m_topObjectProperty)); // SymmetricObjectProperty( owl:topObjectProperty ) axioms.m_simpleObjectPropertyInclusions.add(new OWLObjectPropertyExpression[] { m_topObjectProperty,m_topObjectProperty.getInverseProperty() }); // SubClassOf( owl:Thing ObjectSomeValuesFrom( owl:topObjectProperty ObjectOneOf( <internal:nam#topIndividual> ) ) ) OWLIndividual newIndividual=m_factory.getOWLNamedIndividual(IRI.create("internal:nam#topIndividual")); OWLObjectOneOf oneOfNewIndividual=m_factory.getOWLObjectOneOf(newIndividual); OWLObjectSomeValuesFrom hasTopNewIndividual=m_factory.getOWLObjectSomeValuesFrom(m_topObjectProperty,oneOfNewIndividual); axioms.m_conceptInclusions.add(new OWLClassExpression[] { hasTopNewIndividual }); } protected void axiomatizeBottomObjectProperty(OWLAxioms axioms) {
private OWLObjectPropertyExpression getObjectPropertyExpression(Role role) { if (role instanceof AtomicRole) return factory.getOWLObjectProperty(IRI.create(((AtomicRole)role).getIRI())); return factory.getOWLObjectProperty(IRI.create(((InverseRole)role).getInverseOf().getIRI())).getInverseProperty(); }
@Test public void testObjectAllValuesFrom() { testConversion(_factory.getOWLObjectAllValuesFrom(_op1, _c1)); testConversion(_factory.getOWLObjectAllValuesFrom(_op1.getInverseProperty(), _c1)); }
@Test public void testObjectSomeValuesFrom() { testConversion(_factory.getOWLObjectSomeValuesFrom(_op1, _c1)); testConversion(_factory.getOWLObjectSomeValuesFrom(_op1.getInverseProperty(), _c1)); }
@Test public void testObjectMinCardinality() { testConversion(_factory.getOWLObjectMinCardinality(1, _op1)); testConversion(_factory.getOWLObjectMinCardinality(1, _op1, _c1)); testConversion(_factory.getOWLObjectMinCardinality(1, _op1.getInverseProperty(), _c1)); }