Package org.semanticweb.owlapi.normalform

Class OWLObjectComplementOfExtractor

java.lang.Object

org.semanticweb.owlapi.normalform.OWLObjectComplementOfExtractor

All Implemented Interfaces:

OWLClassExpressionVisitor, OWLClassVisitorBase, OWLVisitorBase

public class OWLObjectComplementOfExtractor
extends Object
implements OWLClassExpressionVisitor

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}

Since:

2.2.0

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group

Constructor Summary

Constructors

Constructor	Description
OWLObjectComplementOfExtractor()

Method Summary

Modifier and Type	Method	Description
Set<OWLClassExpression>	getComplementedClassExpressions(OWLClassExpression desc)	Gets the complemented class expressions.
void	reset()	clear the visitor.
void	visit(OWLObjectAllValuesFrom ce)
void	visit(OWLObjectComplementOf ce)
void	visit(OWLObjectExactCardinality ce)
void	visit(OWLObjectIntersectionOf ce)
void	visit(OWLObjectMaxCardinality ce)
void	visit(OWLObjectMinCardinality ce)
void	visit(OWLObjectSomeValuesFrom ce)
void	visit(OWLObjectUnionOf ce)

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

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

Methods inherited from interface org.semanticweb.owlapi.model.OWLClassVisitorBase

visit

Methods inherited from interface org.semanticweb.owlapi.model.OWLVisitorBase

doDefault, getDefaultReturnValue, handleDefault

Constructor Details

OWLObjectComplementOfExtractor

public OWLObjectComplementOfExtractor()

Method Details

getComplementedClassExpressions

public Set<OWLClassExpression> getComplementedClassExpressions(OWLClassExpression desc)

Gets the complemented class expressions.

Parameters:

desc - the class to look for

Returns:

the complemented expressions

reset

public void reset()

clear the visitor.

visit

public void visit(OWLObjectAllValuesFrom ce)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectComplementOf ce)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectExactCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectIntersectionOf ce)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectMaxCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectMinCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectSomeValuesFrom ce)

Specified by:

visit in interface OWLClassExpressionVisitor

visit

public void visit(OWLObjectUnionOf ce)

Specified by:

visit in interface OWLClassExpressionVisitor