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

Class AxiomSingleDRole

java.lang.Object

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

All Implemented Interfaces:

Serializable, AxiomInterface

Direct Known Subclasses:

AxiomDRoleDomain, AxiomDRoleFunctional, AxiomDRoleRange, AxiomDRoleSubsumption

@PortedFrom(file="tDLAxiom.h",
            name="TDLAxiomSingleDRole")
public abstract class AxiomSingleDRole
extends Object

data role axiom

See Also:

Serialized Form

Method Summary

Methods

Modifier and Type	Method and Description
TOntologyAtom	getAtom()
int	getId()
org.semanticweb.owlapi.model.OWLAxiom	getOWLAxiom()
DataRoleExpression	getRole()
TSignature	getSignature()
boolean	isInModule()
boolean	isInSS()
boolean	isUsed()
void	setAtom(TOntologyAtom atom)
void	setId(int Id)
void	setInModule(boolean inModule)
void	setInSS(boolean flag) set the isSearchSpace flag
void	setUsed(boolean Used)
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

accept, accept

Method Detail

getRole

@PortedFrom(file="tDLAxiom.h",
            name="getRole")
public DataRoleExpression getRole()

Returns:

role

getAtom

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

Specified by:

getAtom in interface AxiomInterface

Returns:

atom for axiom

setAtom

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

Specified by:

setAtom in interface AxiomInterface

Parameters:

atom - atom

setInSS

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

set the isSearchSpace flag

Specified by:

setInSS in interface AxiomInterface

Parameters:

flag - flag

isInSS

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

Specified by:

isInSS in interface AxiomInterface

Returns:

the value of the isSearchSpace flag

getSignature

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

Specified by:

getSignature in interface AxiomInterface

Returns:

signature

getOWLAxiom

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

Specified by:

getOWLAxiom in interface AxiomInterface

Returns:

original owl axiom

getId

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

Specified by:

getId in interface AxiomInterface

Returns:

the id

isInModule

public boolean isInModule()

Specified by:

isInModule in interface AxiomInterface

Returns:

true if in module

isUsed

public boolean isUsed()

Specified by:

isUsed in interface AxiomInterface

Returns:

the value of the used flag

setId

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

Specified by:

setId in interface AxiomInterface

Parameters:

Id - Id

setInModule

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

Specified by:

setInModule in interface AxiomInterface

Parameters:

inModule - inModule

setUsed

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

Specified by:

setUsed in interface AxiomInterface

Parameters:

Used - Used

toString

public String toString()

Overrides:

toString in class Object