org.semanticweb.owlapi.util

Class InferredClassAssertionAxiomGenerator

java.lang.Object

org.semanticweb.owlapi.util.InferredEntityAxiomGenerator<OWLNamedIndividual,A>

org.semanticweb.owlapi.util.InferredIndividualAxiomGenerator<OWLClassAssertionAxiom>

org.semanticweb.owlapi.util.InferredClassAssertionAxiomGenerator

All Implemented Interfaces:

InferredAxiomGenerator<OWLClassAssertionAxiom>

public class InferredClassAssertionAxiomGenerator
extends InferredIndividualAxiomGenerator<OWLClassAssertionAxiom>

Generates OWLClassAssertionsAxioms for inferred individual types.

Author:

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

Constructor Summary

Constructors

Constructor and Description
InferredClassAssertionAxiomGenerator()

Method Summary

Methods

Modifier and Type	Method and Description
protected void	addAxioms(OWLNamedIndividual entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLClassAssertionAxiom> result) Adds inferred axioms to a results set.
String	getLabel()

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

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

InferredClassAssertionAxiomGenerator

public InferredClassAssertionAxiomGenerator()

Method Detail

addAxioms

protected void addAxioms(OWLNamedIndividual entity,
             OWLReasoner reasoner,
             OWLDataFactory dataFactory,
             Set<OWLClassAssertionAxiom> 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<OWLNamedIndividual,OWLClassAssertionAxiom>

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.

getLabel

public String getLabel()

Returns:

the label