uk.ac.manchester.cs.jfact.kernel.dl.axioms

Class AxiomEquivalentORoles

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.dl.axioms.AbstractNaryAxiom<ObjectRoleExpression>

uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomEquivalentORoles

All Implemented Interfaces:

Axiom, Entity, NAryExpression<ObjectRoleExpression>

@PortedFrom(file="tDLAxiom.h",
            name="TDLAxiomEquivalentORoles")
public class AxiomEquivalentORoles
extends AbstractNaryAxiom<ObjectRoleExpression>

Object Role equivalence axiom

Constructor Summary

Constructors

Constructor and Description
AxiomEquivalentORoles(org.semanticweb.owlapi.model.OWLAxiom ax, List<Expression> v)

Method Summary

Methods

Modifier and Type	Method and Description
void	accept(DLAxiomVisitor visitor) accept method for the visitor pattern
<O> O	accept(DLAxiomVisitorEx<O> visitor)
TOntologyAtom	getAtom()
int	getId() get the id
org.semanticweb.owlapi.model.OWLAxiom	getOWLAxiom()
TSignature	getSignature()
boolean	isInModule()
boolean	isInSS() get the value of the isSearchSpace flag
boolean	isUsed() get the value of the used flag
void	setAtom(TOntologyAtom atom)
void	setId(int Id) set the id
void	setInModule(boolean inModule)
void	setInSS(boolean flag) set the isSearchSpace flag
void	setUsed(boolean Used) set the used flag
String	toString()

Methods inherited from class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AbstractNaryAxiom

add, add, getArguments, isEmpty, size, transform

Methods inherited from class java.lang.Object

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

Methods inherited from interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.Axiom

getAtom, getId, getOWLAxiom, getSignature, isInModule, isInSS, isUsed, setAtom, setId, setInModule, setInSS, setUsed

Constructor Detail

AxiomEquivalentORoles

public AxiomEquivalentORoles(org.semanticweb.owlapi.model.OWLAxiom ax,
                     List<Expression> v)

Method Detail

accept

@PortedFrom(file="tDLAxiom.h",
            name="accept")
public void accept(DLAxiomVisitor visitor)

Description copied from interface: Axiom

accept method for the visitor pattern

accept

@PortedFrom(file="tDLAxiom.h",
            name="accept")
public <O> O accept(DLAxiomVisitorEx<O> visitor)

getAtom

@PortedFrom(file="tDLAxiom.h",
            name="getAtom")
public TOntologyAtom getAtom()

Specified by:

getAtom in interface Axiom

setAtom

@PortedFrom(file="tDLAxiom.h",
            name="setAtom")
public void setAtom(TOntologyAtom atom)

Specified by:

setAtom in interface Axiom

setInSS

@PortedFrom(file="tDLAxiom.h",
            name="setInSS")
public void setInSS(boolean flag)

set the isSearchSpace flag

Specified by:

setInSS in interface Axiom

isInSS

@PortedFrom(file="tDLAxiom.h",
            name="isInSS")
public boolean isInSS()

Description copied from interface: Axiom

get the value of the isSearchSpace flag

Specified by:

isInSS in interface Axiom

getSignature

@PortedFrom(file="tDLAxiom.h",
            name="getSignature")
public TSignature getSignature()

Specified by:

getSignature in interface Axiom

getOWLAxiom

public org.semanticweb.owlapi.model.OWLAxiom getOWLAxiom()

Specified by:

getOWLAxiom in interface Axiom

getId

@PortedFrom(file="tDLAxiom.h",
            name="getId")
public int getId()

Description copied from interface: Axiom

get the id

Specified by:

getId in interface Axiom

isInModule

public boolean isInModule()

Specified by:

isInModule in interface Axiom

isUsed

public boolean isUsed()

Description copied from interface: Axiom

get the value of the used flag

Specified by:

isUsed in interface Axiom

setId

@PortedFrom(file="tDLAxiom.h",
            name="setId")
public void setId(int Id)

Description copied from interface: Axiom

set the id

Specified by:

setId in interface Axiom

setInModule

@PortedFrom(file="tDLAxiom.h",
            name="setInModule")
public void setInModule(boolean inModule)

Specified by:

setInModule in interface Axiom

setUsed

@PortedFrom(file="tDLAxiom.h",
            name="setUsed")
public void setUsed(boolean Used)

Description copied from interface: Axiom

set the used flag

Specified by:

setUsed in interface Axiom

toString

public String toString()

Overrides:

toString in class Object