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

Class AxiomConceptInclusion

java.lang.Object

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

All Implemented Interfaces:

Axiom, Entity

@PortedFrom(file="tDLAxiom.h",
            name="TDLAxiomConceptInclusion")
public class AxiomConceptInclusion
extends Object

Constructor Summary

Constructors

Constructor and Description
AxiomConceptInclusion(org.semanticweb.owlapi.model.OWLAxiom ax, ConceptExpression sub, ConceptExpression sup)

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()
ConceptExpression	getSubConcept()
ConceptExpression	getSupConcept()
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

Constructor Detail

AxiomConceptInclusion

public AxiomConceptInclusion(org.semanticweb.owlapi.model.OWLAxiom ax,
                     ConceptExpression sub,
                     ConceptExpression sup)

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)

getSubConcept

@PortedFrom(file="tDLAxiom.h",
            name="getSubC")
public ConceptExpression getSubConcept()

getSupConcept

@PortedFrom(file="tDLAxiom.h",
            name="getSupC")
public ConceptExpression getSupConcept()

toString

public String toString()

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