org.semanticweb.owlapi.util
Class InferredObjectPropertyCharacteristicAxiomGenerator

java.lang.Object
  org.semanticweb.owlapi.util.InferredEntityAxiomGenerator<OWLObjectProperty,A>
      org.semanticweb.owlapi.util.InferredObjectPropertyAxiomGenerator<OWLObjectPropertyCharacteristicAxiom>
          org.semanticweb.owlapi.util.InferredObjectPropertyCharacteristicAxiomGenerator

All Implemented Interfaces:

InferredAxiomGenerator<OWLObjectPropertyCharacteristicAxiom>

public class InferredObjectPropertyCharacteristicAxiomGenerator
extends InferredObjectPropertyAxiomGenerator<OWLObjectPropertyCharacteristicAxiom>

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 27-Jul-2007

Constructor Summary

InferredObjectPropertyCharacteristicAxiomGenerator()

Method Summary

protected void	addAxioms(OWLObjectProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, java.util.Set<OWLObjectPropertyCharacteristicAxiom> result) Adds inferred axioms to a results set.
protected void	addIfEntailed(OWLObjectPropertyCharacteristicAxiom axiom, OWLReasoner reasoner, java.util.Set<OWLObjectPropertyCharacteristicAxiom> result)
java.lang.String	getLabel()

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

getEntities

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

InferredObjectPropertyCharacteristicAxiomGenerator

public InferredObjectPropertyCharacteristicAxiomGenerator()

Method Detail

addAxioms

protected void addAxioms(OWLObjectProperty entity,
                         OWLReasoner reasoner,
                         OWLDataFactory dataFactory,
                         java.util.Set<OWLObjectPropertyCharacteristicAxiom> result)

Description copied from class: InferredEntityAxiomGenerator

Adds inferred axioms to a results set. The inferred axioms are generated for the specific entity.

Specified by:

addAxioms in class InferredEntityAxiomGenerator<OWLObjectProperty,OWLObjectPropertyCharacteristicAxiom>

Parameters:

entity - The entity

reasoner - The reasoner that has inferred the new axioms

dataFactory - A data factory which should be used to create the new axioms

result - The results set, which the new axioms should be added to.

addIfEntailed

protected void addIfEntailed(OWLObjectPropertyCharacteristicAxiom axiom,
                             OWLReasoner reasoner,
                             java.util.Set<OWLObjectPropertyCharacteristicAxiom> result)

getLabel

public java.lang.String getLabel()