org.semanticweb.owlapi.normalform

Class OWLObjectComplementOfExtractor

java.lang.Object

org.semanticweb.owlapi.util.OWLClassExpressionVisitorAdapter

org.semanticweb.owlapi.normalform.OWLObjectComplementOfExtractor

All Implemented Interfaces:

OWLClassExpressionVisitor

public class OWLObjectComplementOfExtractor
extends OWLClassExpressionVisitorAdapter

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 and Description
OWLObjectComplementOfExtractor()

Method Summary

Modifier and Type	Method and 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 org.semanticweb.owlapi.util.OWLClassExpressionVisitorAdapter

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

OWLObjectComplementOfExtractor

public OWLObjectComplementOfExtractor()

Method Detail

getComplementedClassExpressions

@Nonnull
public Set<OWLClassExpression> getComplementedClassExpressions(@Nonnull
                                                                        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

Overrides:

visit in class OWLClassExpressionVisitorAdapter

visit

public void visit(OWLObjectComplementOf ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLClassExpressionVisitorAdapter

visit

public void visit(OWLObjectExactCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLClassExpressionVisitorAdapter

visit

public void visit(OWLObjectIntersectionOf ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLClassExpressionVisitorAdapter

visit

public void visit(OWLObjectMaxCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLClassExpressionVisitorAdapter

visit

public void visit(OWLObjectMinCardinality ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLClassExpressionVisitorAdapter

visit

public void visit(OWLObjectSomeValuesFrom ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLClassExpressionVisitorAdapter

visit

public void visit(OWLObjectUnionOf ce)

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLClassExpressionVisitorAdapter