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

Interface AxiomInterface

All Known Implementing Classes:

AbstractNaryAxiom, AxiomConceptInclusion, AxiomDeclaration, AxiomDifferentIndividuals, AxiomDisjointConcepts, AxiomDisjointDRoles, AxiomDisjointORoles, AxiomDisjointUnion, AxiomDRoleDomain, AxiomDRoleFunctional, AxiomDRoleRange, AxiomDRoleSubsumption, AxiomEquivalentConcepts, AxiomEquivalentDRoles, AxiomEquivalentORoles, AxiomFairnessConstraint, AxiomInstanceOf, AxiomORoleDomain, AxiomORoleFunctional, AxiomORoleRange, AxiomORoleSubsumption, AxiomRelatedTo, AxiomRelatedToNot, AxiomRoleAsymmetric, AxiomRoleInverse, AxiomRoleInverseFunctional, AxiomRoleIrreflexive, AxiomRoleReflexive, AxiomRoleSymmetric, AxiomRoleTransitive, AxiomSameIndividuals, AxiomSingleDRole, AxiomSingleORole, AxiomValueOf, AxiomValueOfNot

@PortedFrom(file="tDLAxiom.h",
            name="TDLAxiom")
public interface AxiomInterface

Axiom interface

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()
org.semanticweb.owlapi.model.OWLAxiom	getOWLAxiom()
TSignature	getSignature()
boolean	isInModule()
boolean	isInSS()
boolean	isUsed()
void	setAtom(TOntologyAtom atom)
void	setId(int Id)
void	setInModule(boolean inModule)
void	setInSS(boolean flag)
void	setUsed(boolean Used)

Method Detail

getOWLAxiom

@Original
org.semanticweb.owlapi.model.OWLAxiom getOWLAxiom()

Returns:

original owl axiom

setId

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

Parameters:

Id - Id

getId

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

Returns:

the id

setUsed

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

Parameters:

Used - Used

isUsed

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

Returns:

the value of the used flag

isInModule

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

Returns:

true if in module

setInModule

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

Parameters:

inModule - inModule

accept

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

accept method for the visitor pattern

Parameters:

visitor - visitor

accept

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

Type Parameters:

O - visitor return type

Parameters:

visitor - visitor

Returns:

visitor result

setInSS

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

Parameters:

flag - flag

isInSS

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

Returns:

the value of the isSearchSpace flag

getSignature

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

Returns:

signature

getAtom

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

Returns:

atom for axiom

setAtom

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

Parameters:

atom - atom