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 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) 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 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 Detail

OWLObjectComplementOfExtractor

public OWLObjectComplementOfExtractor()

Method Detail

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)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectAllValuesFrom type

Specified by:

visit in interface OWLClassExpressionVisitor

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

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

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

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

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

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

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

Parameters:

ce - ce to visit