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

Constructors

Constructor and Description
InferredObjectPropertyCharacteristicAxiomGenerator()

Method Summary

Methods

Modifier and Type	Method and Description
protected void	addAxioms(OWLObjectProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLObjectPropertyCharacteristicAxiom> result) Adds inferred axioms to a results set.
protected void	addIfEntailed(OWLObjectPropertyCharacteristicAxiom axiom, OWLReasoner reasoner, Set<OWLObjectPropertyCharacteristicAxiom> result)
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,
             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,
                 Set<OWLObjectPropertyCharacteristicAxiom> result)

getLabel

public String getLabel()

Returns:

the label