org.semanticweb.HermiT.structural

Class ReducedABoxOnlyClausification

java.lang.Object

org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

org.semanticweb.HermiT.structural.ReducedABoxOnlyClausification

All Implemented Interfaces:

org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor, org.semanticweb.owlapi.model.OWLAxiomVisitor, org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

public class ReducedABoxOnlyClausification
extends org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

ReducedABoxOnlyClausification.

Constructor Summary

Constructors

Constructor and Description
ReducedABoxOnlyClausification(Configuration configuration, Set<AtomicConcept> allAtomicConcepts, Set<AtomicRole> allAtomicObjectRoles, Set<AtomicRole> allAtomicDataRoles)

Method Summary

Modifier and Type	Method and Description
void	clausify(org.semanticweb.owlapi.model.OWLIndividualAxiom... axioms)
Set<Individual>	getAllIndividuals()
Set<Atom>	getNegativeFacts()
Set<Atom>	getPositiveFacts()
void	visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom object)
void	visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom object)
void	visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom object)
void	visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom object)
void	visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom object)
void	visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom object)
void	visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom object)

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

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

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

Constructor Detail

ReducedABoxOnlyClausification

public ReducedABoxOnlyClausification(Configuration configuration,
                                     Set<AtomicConcept> allAtomicConcepts,
                                     Set<AtomicRole> allAtomicObjectRoles,
                                     Set<AtomicRole> allAtomicDataRoles)

Parameters:

configuration - configuration

allAtomicConcepts - allAtomicConcepts

allAtomicObjectRoles - allAtomicObjectRoles

allAtomicDataRoles - allAtomicDataRoles

Method Detail

clausify

public void clausify(org.semanticweb.owlapi.model.OWLIndividualAxiom... axioms)

Parameters:

axioms - axioms

getPositiveFacts

public Set<Atom> getPositiveFacts()

Returns:

positive facts

getNegativeFacts

public Set<Atom> getNegativeFacts()

Returns:

negative facts

getAllIndividuals

public Set<Individual> getAllIndividuals()

Returns:

all individuals

visit

public void visit(org.semanticweb.owlapi.model.OWLSameIndividualAxiom object)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLDifferentIndividualsAxiom object)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom object)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom object)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom object)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom object)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLNegativeDataPropertyAssertionAxiom object)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter