org.semanticweb.owl.model.change
Class SetTransitive

java.lang.Object
  |
  +--org.semanticweb.owl.model.change.OntologyChange
        |
        +--org.semanticweb.owl.model.change.SetTransitive

public class SetTransitive

extends OntologyChange

Set the transitivity flag on an ObjectProperty. Created: Fri Feb 07 17:20:09 2003

Version:

$Id: SetTransitive.java,v 1.1.1.1 2003/10/14 17:10:09 sean_bechhofer Exp $

Field Summary

Fields inherited from class org.semanticweb.owl.model.change.OntologyChange

cause, ontology

Constructor Summary

SetTransitive(OWLOntology ontology, OWLObjectProperty property, boolean transitive, OntologyChange cause)

Method Summary

void	accept(ChangeVisitor visitor) Accept a visit from a change visitor.
OWLObjectProperty	getProperty() The entity that should be added.
boolean	isTransitive()

Methods inherited from class org.semanticweb.owl.model.change.OntologyChange

getCause, getOntology, setCause, setOntology

Methods inherited from class java.lang.Object

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

Constructor Detail

SetTransitive

public SetTransitive(OWLOntology ontology,
                     OWLObjectProperty property,
                     boolean transitive,
                     OntologyChange cause)

Method Detail

getProperty

public OWLObjectProperty getProperty()

The entity that should be added.

Returns:

an OWLEntity value

isTransitive

public boolean isTransitive()

accept

public void accept(ChangeVisitor visitor)
            throws OWLException

Description copied from class: OntologyChange

Accept a visit from a change visitor.

Specified by:

accept in class OntologyChange

Parameters:

visitor - a ChangeVisitor value

OWLException