org.semanticweb.HermiT.structural

Class OWLNormalization

java.lang.Object

org.semanticweb.HermiT.structural.OWLNormalization

public class OWLNormalization
extends Object

This class implements the structural transformation from our new tableau paper. This transformation departs in the following way from the paper: it keeps the concepts of the form \exists R.{ a_1, ..., a_n }, \forall R.{ a_1, ..., a_n }, and \forall R.\neg { a } intact. These concepts are then clausified in a more efficient way.

Constructor Summary

Constructors

Constructor and Description
OWLNormalization(org.semanticweb.owlapi.model.OWLDataFactory factory, OWLAxioms axioms, int firstReplacementIndex)

Method Summary

Modifier and Type	Method and Description
void	processAxioms(java.util.stream.Stream<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)
void	processOntology(org.semanticweb.owlapi.model.OWLOntology ontology)

Methods inherited from class java.lang.Object

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

Constructor Detail

OWLNormalization

public OWLNormalization(org.semanticweb.owlapi.model.OWLDataFactory factory,
                        OWLAxioms axioms,
                        int firstReplacementIndex)

Parameters:

factory - factory

axioms - axioms

firstReplacementIndex - firstReplacementIndex

Method Detail

processOntology

public void processOntology(org.semanticweb.owlapi.model.OWLOntology ontology)

Parameters:

ontology - ontology

processAxioms

public void processAxioms(java.util.stream.Stream<? extends org.semanticweb.owlapi.model.OWLAxiom> axioms)

Parameters:

axioms - axioms