com.clarkparsia.pellint.model

Class LintFixer

java.lang.Object

com.clarkparsia.pellint.model.LintFixer

public class LintFixer
extends Object

Title: Lint Fixer

Description: Contains a set of OWLAxiom's to remove and a set of OWLAxiom's to add in order to fix a lint.

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:

Harris Lin

Constructor Summary

Constructors

Constructor and Description
LintFixer(org.semanticweb.owlapi.model.OWLAxiom axiomToRemove, org.semanticweb.owlapi.model.OWLAxiom axiomToAdd)
LintFixer(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axiomsToRemove, Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axiomsToAdd)

Method Summary

Modifier and Type	Method and Description
boolean	apply(org.semanticweb.owlapi.model.OWLOntologyManager manager, org.semanticweb.owlapi.model.OWLOntology ontology) Replace the detected OWLAxioms with a new set of OWLAxioms, and apply the change to the given OWLOntology using the given OWLOntologyManager.
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	getAxiomsToAdd()
Set<? extends org.semanticweb.owlapi.model.OWLAxiom>	getAxiomsToRemove()

Methods inherited from class java.lang.Object

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

Constructor Detail

LintFixer

public LintFixer(Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axiomsToRemove,
                 Set<? extends org.semanticweb.owlapi.model.OWLAxiom> axiomsToAdd)

LintFixer

public LintFixer(org.semanticweb.owlapi.model.OWLAxiom axiomToRemove,
                 org.semanticweb.owlapi.model.OWLAxiom axiomToAdd)

Method Detail

getAxiomsToRemove

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> getAxiomsToRemove()

getAxiomsToAdd

public Set<? extends org.semanticweb.owlapi.model.OWLAxiom> getAxiomsToAdd()

apply

public boolean apply(org.semanticweb.owlapi.model.OWLOntologyManager manager,
                     org.semanticweb.owlapi.model.OWLOntology ontology)
              throws org.semanticweb.owlapi.model.OWLOntologyChangeException

Replace the detected OWLAxioms with a new set of OWLAxioms, and apply the change to the given OWLOntology using the given OWLOntologyManager.

Parameters:

manager - the owl ontology manager

ontology - the ontology to fix

Returns:

true if:
1. All the OWLAxioms that are about to be removed, do exist in the given OWLOntology; and
2. All the changes were successfully applied.
Otherwise returns false.

Throws:

org.semanticweb.owlapi.model.OWLOntologyChangeException - if there is an error applying a fix