org.semanticweb.owlapi.normalform

Class OWLObjectComplementOfExtractor

java.lang.Object

org.semanticweb.owlapi.normalform.OWLObjectComplementOfExtractor

All Implemented Interfaces:

org.semanticweb.owlapi.model.OWLClassExpressionVisitor

public class OWLObjectComplementOfExtractor
extends Object
implements org.semanticweb.owlapi.model.OWLClassExpressionVisitor

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

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}

Constructor Summary

Constructors

Constructor and Description
OWLObjectComplementOfExtractor()

Method Summary

Methods

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

Methods inherited from class java.lang.Object

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

Constructor Detail

OWLObjectComplementOfExtractor

public OWLObjectComplementOfExtractor()

Method Detail

getComplementedClassExpressions

public Set<org.semanticweb.owlapi.model.OWLClassExpression> getComplementedClassExpressions(org.semanticweb.owlapi.model.OWLClassExpression desc)

Parameters:

desc - the class to look for

Returns:

the complemented expressions

reset

public void reset()

clear the visitor

visit

public void visit(org.semanticweb.owlapi.model.OWLClass desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataExactCardinality desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataMinCardinality desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLDataHasValue desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectComplementOf desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectOneOf desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectHasSelf desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectUnionOf desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectHasValue desc)

Specified by:

visit in interface org.semanticweb.owlapi.model.OWLClassExpressionVisitor