public OWLGenericTools(final OWLGroup group, final OWLOntology ontology, final boolean isVolatile) { _group = group; _ontology = ontology; _isVolatile = isVolatile; OWLHelper.setFormat(_ontology); group.check(getManager()); }
public OWLGenericTools(final OWLGroup group, final OWLOntologyManager manager, final OWLOntology ontology) { _group = group; _ontology = ontology; _isVolatile = manager == group.getVolatileManager(); OWLHelper.setFormat(_ontology); group.check(getManager()); }
/** * @param clazz is a java class * @param individual that will be map to an owl class generated from the java class. * @return the owl class of the individual * @since 2.5.1 */ default public OWLClass declareClassOfIndividual(final Class<?> clazz, final OWLNamedIndividual individual) { final OWLClass owlClazz = toClass(IRIUtils.clazz(clazz)); addClass(individual, owlClazz); return owlClazz; }
public EntailmentChecker(final OpenlletReasoner reasoner) { _reasoner = reasoner; _kb = reasoner.getKB(); _queryVisitor = new EntailmentQueryVisitor(reasoner); }
public GlassBoxExplanation(final OpenlletReasonerFactory factory, final OpenlletReasoner reasoner) { super(reasoner.getRootOntology(), factory, reasoner); _axiomConverter = new AxiomConverter(reasoner); }
public EntailmentQueryVisitor(final OpenlletReasoner reasoner) { _reasoner = reasoner; _indConv = new IndividualTermConverter(); reset(); }
/** * The standard 'getOntology' from the OWLManager don't really take care of versionning. This function is here to enforce the notion of version * * @param ontologyID with version information * @return the ontology if already load into the given manager. * @since 2.5.1 */ public default Optional<OWLOntology> getOntology(final OWLOntologyID ontologyID) { return OWLGroup.getOntology(getManager(), ontologyID); }
public EntailmentChecker(final OpenlletReasoner reasoner) { _reasoner = reasoner; _kb = reasoner.getKB(); _queryVisitor = new EntailmentQueryVisitor(reasoner); }
public OWLGenericTools(final OWLGroup group, final OWLOntologyManager manager, final OWLOntology ontology) { _group = group; _ontology = ontology; _isVolatile = manager == group.getVolatileManager(); OWLHelper.setFormat(_ontology); group.check(getManager()); }
public GlassBoxExplanation(final OpenlletReasonerFactory factory, final OpenlletReasoner reasoner) { super(reasoner.getRootOntology(), factory, reasoner); _axiomConverter = new AxiomConverter(reasoner); }
public OWLGenericTools(final OWLGroup group, final OWLOntology ontology, final boolean isVolatile) { _group = group; _ontology = ontology; _isVolatile = isVolatile; OWLHelper.setFormat(_ontology); group.check(getManager()); }
/** * @param clazz is a java class * @param individual that will be map to an owl class generated from the java class. * @return the owl class of the individual * @since 2.5.1 */ default public OWLClass declareClassOfIndividual(final Class<?> clazz, final OWLNamedIndividual individual) { final OWLClass owlClazz = toClass(IRIUtils.clazz(clazz)); addClass(individual, owlClazz); return owlClazz; }
public EntailmentQueryVisitor(final OpenlletReasoner reasoner) { _reasoner = reasoner; _indConv = new IndividualTermConverter(); reset(); }
/** * The standard 'getOntology' from the OWLManager don't really take care of versionning. This function is here to enforce the notion of version * * @param ontologyID with version information * @return the ontology if already load into the given manager. * @since 2.5.1 */ public default Optional<OWLOntology> getOntology(final OWLOntologyID ontologyID) { return OWLGroup.getOntology(getManager(), ontologyID); }
public EntailmentChecker(final OpenlletReasoner reasoner) { _reasoner = reasoner; _kb = reasoner.getKB(); _queryVisitor = new EntailmentQueryVisitor(reasoner); }
public OWLGenericTools(final OWLGroup group, final OWLOntologyManager manager, final OWLOntology ontology) { _group = group; _ontology = ontology; _isVolatile = manager == group.getVolatileManager(); OWLHelper.setFormat(_ontology); group.check(getManager()); }
public GlassBoxExplanation(final OpenlletReasonerFactory factory, final OpenlletReasoner reasoner) { super(reasoner.getRootOntology(), factory, reasoner); _axiomConverter = new AxiomConverter(reasoner); }
public OWLGenericTools(final OWLGroup group, final OWLOntology ontology, final boolean isVolatile) { _group = group; _ontology = ontology; _isVolatile = isVolatile; OWLHelper.setFormat(_ontology); group.check(getManager()); }
/** * @param clazz is a java class * @param individual that will be map to an owl class generated from the java class. * @return the owl class of the individual * @since 2.5.1 */ default public OWLClass declareClassOfIndividual(final Class<?> clazz, final OWLNamedIndividual individual) { final OWLClass owlClazz = toClass(IRIUtils.clazz(clazz)); addClass(individual, owlClazz); return owlClazz; }
public EntailmentQueryVisitor(final OpenlletReasoner reasoner) { _reasoner = reasoner; _indConv = new IndividualTermConverter(); reset(); }