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:

Axiom, Entity

Direct Known Subclasses:

AxiomDRoleDomain, AxiomDRoleFunctional, AxiomDRoleRange, AxiomDRoleSubsumption

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

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AxiomSingleDRole(org.semanticweb.owlapi.model.OWLAxiom ax, DataRoleExpression role)

Method Summary

Methods

Modifier and Type	Method and Description
TOntologyAtom	getAtom()
int	getId() get the id
org.semanticweb.owlapi.model.OWLAxiom	getOWLAxiom()
DataRoleExpression	getRole() access to role
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 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

accept, accept

Constructor Detail

AxiomSingleDRole

@PortedFrom(file="tDLAxiom.h",
            name="Role")
protected AxiomSingleDRole(org.semanticweb.owlapi.model.OWLAxiom ax,
                                   DataRoleExpression role)

Method Detail

getRole

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

access to role

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