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

Interface Axiom

All Superinterfaces:

Entity

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 Axiom
extends Entity

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)
void	setUsed(boolean Used) set the used flag

Method Detail

getOWLAxiom

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

setId

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

set the id

getId

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

get the id

setUsed

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

set the used flag

isUsed

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

get the value of the used flag

isInModule

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

setInModule

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

accept

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

accept method for the visitor pattern

accept

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

setInSS

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

isInSS

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

get the value of the isSearchSpace flag

getSignature

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

getAtom

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

setAtom

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