org.semanticweb.owl.normalform
Class OWLObjectComplementOfExtractor

java.lang.Object
  org.semanticweb.owl.normalform.OWLObjectComplementOfExtractor

All Implemented Interfaces:

OWLDescriptionVisitor

public class OWLObjectComplementOfExtractor
extends java.lang.Object
implements OWLDescriptionVisitor

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 13-Oct-2007

Extracts the parts of a class expression which are negated. For example, A and not (B or C or not D) would extract {(B or C or notD), D}

Constructor Summary

OWLObjectComplementOfExtractor()

Method Summary

java.util.Set<OWLDescription>	getComplementedDescriptions(OWLDescription desc)
void	reset()
void	visit(OWLClass desc)
void	visit(OWLDataAllRestriction desc)
void	visit(OWLDataExactCardinalityRestriction desc)
void	visit(OWLDataMaxCardinalityRestriction desc)
void	visit(OWLDataMinCardinalityRestriction desc)
void	visit(OWLDataSomeRestriction desc)
void	visit(OWLDataValueRestriction desc)
void	visit(OWLObjectAllRestriction desc)
void	visit(OWLObjectComplementOf desc)
void	visit(OWLObjectExactCardinalityRestriction desc)
void	visit(OWLObjectIntersectionOf desc)
void	visit(OWLObjectMaxCardinalityRestriction desc)
void	visit(OWLObjectMinCardinalityRestriction desc)
void	visit(OWLObjectOneOf desc)
void	visit(OWLObjectSelfRestriction desc)
void	visit(OWLObjectSomeRestriction desc)
void	visit(OWLObjectUnionOf desc)
void	visit(OWLObjectValueRestriction desc)

Methods inherited from class java.lang.Object

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

Constructor Detail

OWLObjectComplementOfExtractor

public OWLObjectComplementOfExtractor()

Method Detail

getComplementedDescriptions

public java.util.Set<OWLDescription> getComplementedDescriptions(OWLDescription desc)

reset

public void reset()

visit

public void visit(OWLClass desc)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLDataAllRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLDataExactCardinalityRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLDataMaxCardinalityRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLDataMinCardinalityRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLDataSomeRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLDataValueRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLObjectAllRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLObjectComplementOf desc)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLObjectExactCardinalityRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLObjectIntersectionOf desc)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLObjectMaxCardinalityRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLObjectMinCardinalityRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLObjectOneOf desc)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLObjectSelfRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLObjectSomeRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLObjectUnionOf desc)

Specified by:

visit in interface OWLDescriptionVisitor

visit

public void visit(OWLObjectValueRestriction desc)

Specified by:

visit in interface OWLDescriptionVisitor