Package org.obolibrary.robot.reason

Class InferredObjectPropertyDomainAxiomGenerator

java.lang.Object

org.semanticweb.owlapi.util.InferredEntityAxiomGenerator<org.semanticweb.owlapi.model.OWLObjectProperty,A>

org.semanticweb.owlapi.util.InferredObjectPropertyAxiomGenerator<org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom>

org.obolibrary.robot.reason.InferredObjectPropertyDomainAxiomGenerator

All Implemented Interfaces:

org.semanticweb.owlapi.util.InferredAxiomGenerator<org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom>

public class InferredObjectPropertyDomainAxiomGenerator
extends org.semanticweb.owlapi.util.InferredObjectPropertyAxiomGenerator<org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom>

An InferredAxiomGenerator which returns both direct and indirect inferred object property domain axioms.

Constructor Summary

Constructors

Constructor	Description
InferredObjectPropertyDomainAxiomGenerator()

Method Summary

Modifier and Type	Method	Description
protected void	addAxioms(org.semanticweb.owlapi.model.OWLObjectProperty entity, org.semanticweb.owlapi.reasoner.OWLReasoner reasoner, org.semanticweb.owlapi.model.OWLDataFactory dataFactory, Set<org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom> result, Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> nonSimpleProperties)
String	getLabel()

Methods inherited from class org.semanticweb.owlapi.util.InferredObjectPropertyAxiomGenerator

addAxioms, getEntities, simple

Methods inherited from class org.semanticweb.owlapi.util.InferredEntityAxiomGenerator

createAxioms, getAllEntities, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

InferredObjectPropertyDomainAxiomGenerator

public InferredObjectPropertyDomainAxiomGenerator()

Method Detail

addAxioms

protected void addAxioms(@Nonnull
                         org.semanticweb.owlapi.model.OWLObjectProperty entity,
                         @Nonnull
                         org.semanticweb.owlapi.reasoner.OWLReasoner reasoner,
                         @Nonnull
                         org.semanticweb.owlapi.model.OWLDataFactory dataFactory,
                         @Nonnull
                         Set<org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom> result,
                         @Nonnull
                         Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> nonSimpleProperties)

Specified by:

addAxioms in class org.semanticweb.owlapi.util.InferredObjectPropertyAxiomGenerator<org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom>

getLabel

public String getLabel()