org.semanticweb.owlapi.normalform

Class OWLObjectComplementOfExtractor

java.lang.Object

org.semanticweb.owlapi.normalform.OWLObjectComplementOfExtractor

All Implemented Interfaces:

OWLClassExpressionVisitor

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}

Author:

Matthew Horridge, The University Of Manchester, Bio-Health Informatics Group, Date: 13-Oct-2007

Constructor Summary

Constructors

Constructor and Description
OWLObjectComplementOfExtractor() default constructor

Method Summary

Methods

Modifier and Type	Method and Description
Set<OWLClassExpression>	getComplementedClassExpressions(OWLClassExpression desc)
void	reset() clear the visitor.
void	visit(OWLClass desc) visit OWLClass type
void	visit(OWLDataAllValuesFrom desc) visit OWLDataAllValuesFrom type
void	visit(OWLDataExactCardinality desc) visit OWLDataExactCardinality type
void	visit(OWLDataHasValue desc) visit OWLDataHasValue type
void	visit(OWLDataMaxCardinality desc) visit OWLDataMaxCardinality type
void	visit(OWLDataMinCardinality desc) visit OWLDataMinCardinality type
void	visit(OWLDataSomeValuesFrom desc) visit OWLDataSomeValuesFrom type
void	visit(OWLObjectAllValuesFrom desc) visit OWLObjectAllValuesFrom type
void	visit(OWLObjectComplementOf desc) visit OWLObjectComplementOf type
void	visit(OWLObjectExactCardinality desc) visit OWLObjectExactCardinality type
void	visit(OWLObjectHasSelf desc) visit OWLObjectHasSelf type
void	visit(OWLObjectHasValue desc) visit OWLObjectHasValue type
void	visit(OWLObjectIntersectionOf desc) visit OWLObjectIntersectionOf type
void	visit(OWLObjectMaxCardinality desc) visit OWLObjectMaxCardinality type
void	visit(OWLObjectMinCardinality desc) visit OWLObjectMinCardinality type
void	visit(OWLObjectOneOf desc) visit OWLObjectOneOf type
void	visit(OWLObjectSomeValuesFrom desc) visit OWLObjectSomeValuesFrom type
void	visit(OWLObjectUnionOf desc) visit OWLObjectUnionOf type

Methods inherited from class java.lang.Object

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

Constructor Detail

OWLObjectComplementOfExtractor

public OWLObjectComplementOfExtractor()

default constructor

Method Detail

getComplementedClassExpressions

public Set<OWLClassExpression> getComplementedClassExpressions(OWLClassExpression desc)

Parameters:

desc - the class to look for

Returns:

the complemented expressions

reset

public void reset()

clear the visitor.

visit

public void visit(OWLClass desc)

Description copied from interface: OWLClassExpressionVisitor

visit OWLClass type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

desc - object to visit

visit

public void visit(OWLDataAllValuesFrom desc)

Description copied from interface: OWLClassExpressionVisitor

visit OWLDataAllValuesFrom type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

desc - object to visit

visit

public void visit(OWLDataExactCardinality desc)

Description copied from interface: OWLClassExpressionVisitor

visit OWLDataExactCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

desc - object to visit

visit

public void visit(OWLDataMaxCardinality desc)

Description copied from interface: OWLClassExpressionVisitor

visit OWLDataMaxCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

desc - object to visit

visit

public void visit(OWLDataMinCardinality desc)

Description copied from interface: OWLClassExpressionVisitor

visit OWLDataMinCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

desc - object to visit

visit

public void visit(OWLDataSomeValuesFrom desc)

Description copied from interface: OWLClassExpressionVisitor

visit OWLDataSomeValuesFrom type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

desc - object to visit

visit

public void visit(OWLDataHasValue desc)

Description copied from interface: OWLClassExpressionVisitor

visit OWLDataHasValue type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

desc - object to visit

visit

public void visit(OWLObjectAllValuesFrom desc)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectAllValuesFrom type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

desc - object to visit

visit

public void visit(OWLObjectComplementOf desc)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectComplementOf type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

desc - object to visit

visit

public void visit(OWLObjectExactCardinality desc)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectExactCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

desc - object to visit

visit

public void visit(OWLObjectIntersectionOf desc)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectIntersectionOf type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

desc - object to visit

visit

public void visit(OWLObjectMaxCardinality desc)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectMaxCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

desc - object to visit

visit

public void visit(OWLObjectMinCardinality desc)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectMinCardinality type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

desc - object to visit

visit

public void visit(OWLObjectOneOf desc)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectOneOf type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

desc - object to visit

visit

public void visit(OWLObjectHasSelf desc)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectHasSelf type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

desc - object to visit

visit

public void visit(OWLObjectSomeValuesFrom desc)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectSomeValuesFrom type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

desc - object to visit

visit

public void visit(OWLObjectUnionOf desc)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectUnionOf type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

desc - object to visit

visit

public void visit(OWLObjectHasValue desc)

Description copied from interface: OWLClassExpressionVisitor

visit OWLObjectHasValue type

Specified by:

visit in interface OWLClassExpressionVisitor

Parameters:

desc - object to visit