org.semanticweb.HermiT.structural

Class ObjectPropertyInclusionManager

java.lang.Object

org.semanticweb.HermiT.structural.ObjectPropertyInclusionManager

public class ObjectPropertyInclusionManager
extends Object

ObjectPropertyInclusionManager.

Constructor Summary

Constructors

Constructor and Description
ObjectPropertyInclusionManager(OWLAxioms axioms)

Method Summary

Modifier and Type	Method and Description
void	rewriteAxioms(org.semanticweb.owlapi.model.OWLDataFactory dataFactory, OWLAxioms axioms, int firstReplacementIndex)
int	rewriteNegativeObjectPropertyAssertions(org.semanticweb.owlapi.model.OWLDataFactory factory, OWLAxioms axioms, int replacementIndex)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ObjectPropertyInclusionManager

public ObjectPropertyInclusionManager(OWLAxioms axioms)

Parameters:

axioms - axioms

Method Detail

rewriteNegativeObjectPropertyAssertions

public int rewriteNegativeObjectPropertyAssertions(org.semanticweb.owlapi.model.OWLDataFactory factory,
                                                   OWLAxioms axioms,
                                                   int replacementIndex)

Parameters:

factory - factory

axioms - axioms

replacementIndex - replacementIndex

Returns:

replacement index

rewriteAxioms

public void rewriteAxioms(org.semanticweb.owlapi.model.OWLDataFactory dataFactory,
                          OWLAxioms axioms,
                          int firstReplacementIndex)

Parameters:

dataFactory - dataFactory

axioms - axioms

firstReplacementIndex - firstReplacementIndex