org.semanticweb.HermiT.structural

Class OWLClausification

java.lang.Object

org.semanticweb.HermiT.structural.OWLClausification

public class OWLClausification
extends Object

OWLClausification.

Constructor Summary

Constructors

Constructor and Description
OWLClausification(Configuration configuration)

Method Summary

Modifier and Type	Method and Description
DLOntology	clausify(org.semanticweb.owlapi.model.OWLDataFactory factory, String ontologyIRI, OWLAxioms axioms, OWLAxiomsExpressivity axiomsExpressivity, Collection<DescriptionGraph> descriptionGraphs)
Object[]	preprocessAndClausify(org.semanticweb.owlapi.model.OWLOntology rootOntology, Collection<DescriptionGraph> descriptionGraphs)

Methods inherited from class java.lang.Object

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

Constructor Detail

OWLClausification

public OWLClausification(Configuration configuration)

Parameters:

configuration - configuration

Method Detail

preprocessAndClausify

public Object[] preprocessAndClausify(org.semanticweb.owlapi.model.OWLOntology rootOntology,
                                      Collection<DescriptionGraph> descriptionGraphs)

Parameters:

rootOntology - rootOntology

descriptionGraphs - descriptionGraphs

Returns:

clausifications

clausify

public DLOntology clausify(org.semanticweb.owlapi.model.OWLDataFactory factory,
                           String ontologyIRI,
                           OWLAxioms axioms,
                           OWLAxiomsExpressivity axiomsExpressivity,
                           Collection<DescriptionGraph> descriptionGraphs)

Parameters:

factory - factory

ontologyIRI - ontologyIRI

axioms - axioms

axiomsExpressivity - axiomsExpressivity

descriptionGraphs - descriptionGraphs

Returns:

dl ontology