org.semanticweb.owlapi.normalform
Class OWLObjectComplementOfExtractor

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

All Implemented Interfaces:

OWLClassExpressionVisitor

public class OWLObjectComplementOfExtractor
extends java.lang.Object
implements OWLClassExpressionVisitor

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<OWLClassExpression>	getComplementedClassExpressions(OWLClassExpression desc)
void	reset()
void	visit(OWLClass desc)
void	visit(OWLDataAllValuesFrom desc)
void	visit(OWLDataExactCardinality desc)
void	visit(OWLDataHasValue desc)
void	visit(OWLDataMaxCardinality desc)
void	visit(OWLDataMinCardinality desc)
void	visit(OWLDataSomeValuesFrom desc)
void	visit(OWLObjectAllValuesFrom desc)
void	visit(OWLObjectComplementOf desc)
void	visit(OWLObjectExactCardinality desc)
void	visit(OWLObjectHasSelf desc)
void	visit(OWLObjectHasValue desc)
void	visit(OWLObjectIntersectionOf desc)
void	visit(OWLObjectMaxCardinality desc)
void	visit(OWLObjectMinCardinality desc)
void	visit(OWLObjectOneOf desc)
void	visit(OWLObjectSomeValuesFrom desc)
void	visit(OWLObjectUnionOf desc)

Methods inherited from class java.lang.Object

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

Constructor Detail

OWLObjectComplementOfExtractor

public OWLObjectComplementOfExtractor()

Method Detail

getComplementedClassExpressions

public java.util.Set<OWLClassExpression> getComplementedClassExpressions(OWLClassExpression desc)

reset

public void reset()

visit

public void visit(OWLClass desc)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLDataAllValuesFrom desc)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLDataExactCardinality desc)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLDataMaxCardinality desc)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLDataMinCardinality desc)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLDataSomeValuesFrom desc)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLDataHasValue desc)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectAllValuesFrom desc)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectComplementOf desc)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectExactCardinality desc)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectIntersectionOf desc)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectMaxCardinality desc)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectMinCardinality desc)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectOneOf desc)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectHasSelf desc)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectSomeValuesFrom desc)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectUnionOf desc)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectHasValue desc)

Specified by:

visit in interface OWLClassExpressionVisitor