@Override protected Stream<OWLNamedIndividual> getObjects(OWLOntology ont) { return ont.individualsInSignature(); } }
@Override protected Stream<OWLNamedIndividual> getEntities(OWLOntology ont) { return ont.individualsInSignature(); } }
@Override protected Stream<OWLNamedIndividual> getObjects(OWLOntology ont) { return ont.individualsInSignature(); } }
@Override protected Stream<OWLNamedIndividual> getEntities(OWLOntology ont) { return ont.individualsInSignature(); } }
@Override protected Stream<OWLNamedIndividual> getEntities(OWLOntology ont) { return ont.individualsInSignature(); } }
@Override protected Stream<OWLNamedIndividual> getObjects(OWLOntology ont) { return ont.individualsInSignature(); } }
@Override protected Stream<OWLNamedIndividual> getObjects(OWLOntology ont) { return ont.individualsInSignature(); } }
@Override public Stream<OWLNamedIndividual> individualsInSignature(Imports imports) { return withReadLock(() -> delegate.individualsInSignature(imports)); }
@Override public Stream<OWLNamedIndividual> individualsInSignature(Imports imports) { return withReadLock(() -> delegate.individualsInSignature(imports)); }
@Override public Stream<OWLNamedIndividual> individualsInSignature(Imports imports) { return withReadLock(() -> delegate.individualsInSignature(imports)); }
@Override public Stream<OWLNamedIndividual> individualsInSignature(Imports imports) { return withReadLock(() -> delegate.individualsInSignature(imports)); }
protected Set<OWLEntity> getEntitiesThatRequireNamespaces() { Set<OWLEntity> result = new HashSet<>(); add(result, ontology.classesInSignature()); add(result, ontology.objectPropertiesInSignature()); add(result, ontology.dataPropertiesInSignature()); add(result, ontology.individualsInSignature()); add(result, ontology.annotationPropertiesInSignature()); return result; }
protected Set<OWLEntity> getEntitiesThatRequireNamespaces() { Set<OWLEntity> result = new HashSet<>(); add(result, ontology.classesInSignature()); add(result, ontology.objectPropertiesInSignature()); add(result, ontology.dataPropertiesInSignature()); add(result, ontology.individualsInSignature()); add(result, ontology.annotationPropertiesInSignature()); return result; }
protected Set<OWLEntity> getEntitiesThatRequireNamespaces() { Set<OWLEntity> result = new HashSet<>(); add(result, ontology.classesInSignature()); add(result, ontology.objectPropertiesInSignature()); add(result, ontology.dataPropertiesInSignature()); add(result, ontology.individualsInSignature()); add(result, ontology.annotationPropertiesInSignature()); return result; }
protected Set<OWLEntity> getEntitiesThatRequireNamespaces() { Set<OWLEntity> result = new HashSet<>(); add(result, ontology.classesInSignature()); add(result, ontology.objectPropertiesInSignature()); add(result, ontology.dataPropertiesInSignature()); add(result, ontology.individualsInSignature()); add(result, ontology.annotationPropertiesInSignature()); return result; }
@Test public void testRestrictionConjonction3() throws OWLOntologyCreationException { try (final OWLManagerGroup group = new OWLManagerGroup()) { final OWLOntology ontology = group.getVolatileManager().loadOntologyFromOntologyDocument(new File("src/test/resources/test_data/restriction_conjonction.owl")); final OWLHelper owl = new OWLGenericTools(group, ontology, true); final OWLReasoner r = owl.getReasoner(); assertTrue(r.isConsistent()); ontology.individualsInSignature().forEach(r::getTypes); ontology.classesInSignature().forEach(r::getInstances); } }
private void renderInOntologySignatureEntities(Collection<IRI> illegalPuns) { renderEntities(ontology.annotationPropertiesInSignature(), ANNOTATION_PROPERTIES_BANNER_TEXT, illegalPuns); renderEntities(ontology.datatypesInSignature(), DATATYPES_BANNER_TEXT, illegalPuns); renderEntities(ontology.objectPropertiesInSignature(), OBJECT_PROPERTIES_BANNER_TEXT, illegalPuns); renderEntities(ontology.dataPropertiesInSignature(), DATA_PROPERTIES_BANNER_TEXT, illegalPuns); renderEntities(ontology.classesInSignature(), CLASSES_BANNER_TEXT, illegalPuns); renderEntities(ontology.individualsInSignature(), INDIVIDUALS_BANNER_TEXT, illegalPuns); }
private void renderInOntologySignatureEntities(Collection<IRI> illegalPuns) { renderEntities(ontology.annotationPropertiesInSignature(), ANNOTATION_PROPERTIES_BANNER_TEXT, illegalPuns); renderEntities(ontology.datatypesInSignature(), DATATYPES_BANNER_TEXT, illegalPuns); renderEntities(ontology.objectPropertiesInSignature(), OBJECT_PROPERTIES_BANNER_TEXT, illegalPuns); renderEntities(ontology.dataPropertiesInSignature(), DATA_PROPERTIES_BANNER_TEXT, illegalPuns); renderEntities(ontology.classesInSignature(), CLASSES_BANNER_TEXT, illegalPuns); renderEntities(ontology.individualsInSignature(), INDIVIDUALS_BANNER_TEXT, illegalPuns); }
private void renderInOntologySignatureEntities(Collection<IRI> illegalPuns) { renderEntities(ontology.annotationPropertiesInSignature(), ANNOTATION_PROPERTIES_BANNER_TEXT, illegalPuns); renderEntities(ontology.datatypesInSignature(), DATATYPES_BANNER_TEXT, illegalPuns); renderEntities(ontology.objectPropertiesInSignature(), OBJECT_PROPERTIES_BANNER_TEXT, illegalPuns); renderEntities(ontology.dataPropertiesInSignature(), DATA_PROPERTIES_BANNER_TEXT, illegalPuns); renderEntities(ontology.classesInSignature(), CLASSES_BANNER_TEXT, illegalPuns); renderEntities(ontology.individualsInSignature(), INDIVIDUALS_BANNER_TEXT, illegalPuns); }
private void renderInOntologySignatureEntities(Collection<IRI> illegalPuns) { renderEntities(ontology.annotationPropertiesInSignature(), ANNOTATION_PROPERTIES_BANNER_TEXT, illegalPuns); renderEntities(ontology.datatypesInSignature(), DATATYPES_BANNER_TEXT, illegalPuns); renderEntities(ontology.objectPropertiesInSignature(), OBJECT_PROPERTIES_BANNER_TEXT, illegalPuns); renderEntities(ontology.dataPropertiesInSignature(), DATA_PROPERTIES_BANNER_TEXT, illegalPuns); renderEntities(ontology.classesInSignature(), CLASSES_BANNER_TEXT, illegalPuns); renderEntities(ontology.individualsInSignature(), INDIVIDUALS_BANNER_TEXT, illegalPuns); }