org.semanticweb.HermiT.structural

Class OWLAxiomsExpressivity

java.lang.Object

org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

org.semanticweb.HermiT.structural.OWLAxiomsExpressivity

All Implemented Interfaces:

org.semanticweb.owlapi.model.OWLAnnotationAxiomVisitor, org.semanticweb.owlapi.model.OWLAxiomVisitor, org.semanticweb.owlapi.model.OWLClassExpressionVisitor, org.semanticweb.owlapi.model.OWLLogicalAxiomVisitor

public class OWLAxiomsExpressivity
extends org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter
implements org.semanticweb.owlapi.model.OWLClassExpressionVisitor

OWLAxiomsExpressivity.

Field Summary

Fields

Modifier and Type	Field and Description
boolean	m_hasAtMostRestrictions has at most
boolean	m_hasDatatypes has datatypes
boolean	m_hasInverseRoles has inverse
boolean	m_hasNominals has nominals

Constructor Summary

Constructors

Constructor and Description
OWLAxiomsExpressivity(OWLAxioms axioms)

Method Summary

Modifier and Type	Method and Description
void	visit(org.semanticweb.owlapi.model.OWLClass desc)
void	visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom object)
void	visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom object)
void	visit(org.semanticweb.owlapi.model.OWLDataExactCardinality object)
void	visit(org.semanticweb.owlapi.model.OWLDataHasValue object)
void	visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality object)
void	visit(org.semanticweb.owlapi.model.OWLDataMinCardinality object)
void	visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom object)
void	visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom object)
void	visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom object)
void	visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom object)
void	visit(org.semanticweb.owlapi.model.OWLObjectComplementOf object)
void	visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality object)
void	visit(org.semanticweb.owlapi.model.OWLObjectHasSelf object)
void	visit(org.semanticweb.owlapi.model.OWLObjectHasValue object)
void	visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf object)
void	visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality object)
void	visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality object)
void	visit(org.semanticweb.owlapi.model.OWLObjectOneOf object)
void	visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom object)
void	visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom object)
void	visit(org.semanticweb.owlapi.model.OWLObjectUnionOf object)

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

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, 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

Field Detail

m_hasAtMostRestrictions

public boolean m_hasAtMostRestrictions

has at most

m_hasInverseRoles

public boolean m_hasInverseRoles

has inverse

m_hasNominals

public boolean m_hasNominals

has nominals

m_hasDatatypes

public boolean m_hasDatatypes

has datatypes

Constructor Detail

OWLAxiomsExpressivity

public OWLAxiomsExpressivity(OWLAxioms axioms)

Parameters:

axioms - axioms

Method Detail

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.OWLObjectComplementOf object)

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

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

Specified by:

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

visit

public void visit(org.semanticweb.owlapi.model.OWLClassAssertionAxiom object)

Specified by:

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

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLObjectPropertyAssertionAxiom object)

Specified by:

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

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLNegativeObjectPropertyAssertionAxiom object)

Specified by:

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

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter

visit

public void visit(org.semanticweb.owlapi.model.OWLDataPropertyAssertionAxiom object)

Specified by:

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

Overrides:

visit in class org.semanticweb.owlapi.util.OWLAxiomVisitorAdapter