Package 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	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)	visit OWLObjectAllValuesFrom type
void	visit(OWLObjectComplementOf ce)	visit OWLObjectComplementOf type
void	visit(OWLObjectExactCardinality ce)	visit OWLObjectExactCardinality type
void	visit(OWLObjectIntersectionOf ce)	visit OWLObjectIntersectionOf type
void	visit(OWLObjectMaxCardinality ce)	visit OWLObjectMaxCardinality type
void	visit(OWLObjectMinCardinality ce)	visit OWLObjectMinCardinality type
void	visit(OWLObjectSomeValuesFrom ce)	visit OWLObjectSomeValuesFrom type
void	visit(OWLObjectUnionOf ce)	visit OWLObjectUnionOf type

Methods inherited from class java.lang.Object

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

Methods inherited from class org.semanticweb.owlapi.util.OWLClassExpressionVisitorAdapter

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

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)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectAllValuesFrom type

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLClassExpressionVisitorAdapter

Parameters:

ce - ce to visit

visit

public void visit(OWLObjectComplementOf ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectComplementOf type

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLClassExpressionVisitorAdapter

Parameters:

ce - ce to visit

visit

public void visit(OWLObjectExactCardinality ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectExactCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLClassExpressionVisitorAdapter

Parameters:

ce - ce to visit

visit

public void visit(OWLObjectIntersectionOf ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectIntersectionOf type

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLClassExpressionVisitorAdapter

Parameters:

ce - ce to visit

visit

public void visit(OWLObjectMaxCardinality ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectMaxCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLClassExpressionVisitorAdapter

Parameters:

ce - ce to visit

visit

public void visit(OWLObjectMinCardinality ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectMinCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLClassExpressionVisitorAdapter

Parameters:

ce - ce to visit

visit

public void visit(OWLObjectSomeValuesFrom ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectSomeValuesFrom type

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLClassExpressionVisitorAdapter

Parameters:

ce - ce to visit

visit

public void visit(OWLObjectUnionOf ce)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectUnionOf type

Specified by:

visit in interface OWLClassExpressionVisitor

Overrides:

visit in class OWLClassExpressionVisitorAdapter

Parameters:

ce - ce to visit