uk.ac.manchester.cs.jfact.kernel

Class Axiom

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.Axiom

All Implemented Interfaces:

Serializable

@PortedFrom(file="tAxiom.h",
            name="TAxiom")
public class Axiom
extends Object
implements Serializable

inner axiom class

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Axiom(Axiom parent)

Method Summary

Modifier and Type	Method and Description
boolean	absorbIntoBottom(TBox tbox) absorb into BOTTOM;
boolean	absorbIntoConcept(TBox tbox) absorb into concept; @return true if absorption is performed
boolean	absorbIntoDomain(TBox tbox) absorb single axiom AX into role domain; @return true if succeed
boolean	absorbIntoNegConcept(TBox tbox) absorb single concept into negation of a concept;
boolean	absorbIntoTop(TBox tbox) absorb into TOP;
void	add(DLTree p) add DLTree to an axiom
DLTree	createAnAxiom(DLTree replaced) create a concept expression corresponding to a given GCI; ignore SKIP entry
boolean	equals(Object arg0)
org.semanticweb.owlapitools.decomposition.OntologyAtom	getAtom()
int	hashCode()
void	setAtom(org.semanticweb.owlapitools.decomposition.OntologyAtom atom)
static void	setLogAdapter(LogAdapter l)
Axiom	simplifyCN(TBox t) replace a defined concept with its description
Axiom	simplifyForall(TBox kb) replace a universal restriction with a fresh concept
Axiom	simplifySForall(TBox kb) replace a simple universal restriction with a fresh concept
List<Axiom>	split(TBox tbox) split an axiom;
String	toString() dump GCI for debug purposes

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Axiom

public Axiom(@Nullable
             Axiom parent)

Parameters:

parent - parent axiom

Method Detail

setLogAdapter

public static void setLogAdapter(LogAdapter l)

Parameters:

l - absorption log

absorbIntoNegConcept

@PortedFrom(file="tAxiom.h",
            name="absorbIntoNegConcept")
public boolean absorbIntoNegConcept(TBox tbox)

absorb single concept into negation of a concept;

Parameters:

tbox - KB

Returns:

true if absorption is performed

split

@PortedFrom(file="tAxiom.h",
            name="split")
public List<Axiom> split(TBox tbox)

split an axiom;

Parameters:

tbox - tbox

Returns:

new axiom and/or NULL

add

@PortedFrom(file="tAxiom.h",
            name="add")
public void add(DLTree p)

add DLTree to an axiom

Parameters:

p - tree to add

toString

public String toString()

dump GCI for debug purposes

Overrides:

toString in class Object

simplifyCN

@Nullable
 @PortedFrom(file="tAxiom.h",
            name="simplifyCN")
public Axiom simplifyCN(TBox t)

replace a defined concept with its description

Parameters:

t - tbox

Returns:

rewritten axiom

simplifyForall

@Nullable
 @PortedFrom(file="tAxiom.h",
            name="simplifyForall")
public Axiom simplifyForall(TBox kb)

replace a universal restriction with a fresh concept

Parameters:

kb - tbox

Returns:

rewritten axiom

simplifySForall

@Nullable
public Axiom simplifySForall(TBox kb)

replace a simple universal restriction with a fresh concept

Parameters:

kb - tbox

Returns:

simplified axiom

createAnAxiom

@PortedFrom(file="tAxiom.h",
            name="createAnAxiom")
public DLTree createAnAxiom(@Nullable
                                                                                           DLTree replaced)

create a concept expression corresponding to a given GCI; ignore SKIP entry

Parameters:

replaced - ignored entity

Returns:

rewritten DLTree

absorbIntoBottom

@PortedFrom(file="tAxiom.h",
            name="absorbIntoBottom")
public boolean absorbIntoBottom(TBox tbox)

absorb into BOTTOM;

Parameters:

tbox - tbox

Returns:

true if absorption is performed

absorbIntoConcept

@PortedFrom(file="tAxiom.h",
            name="absorbIntoConcept")
public boolean absorbIntoConcept(TBox tbox)

absorb into concept; @return true if absorption is performed

Parameters:

tbox - tbox

Returns:

false if there are no absorptions

absorbIntoDomain

@PortedFrom(file="tAxiom.h",
            name="absorbIntoDomain")
public boolean absorbIntoDomain(TBox tbox)

absorb single axiom AX into role domain; @return true if succeed

Parameters:

tbox - tbox

Returns:

false if there are no absorptions

absorbIntoTop

@PortedFrom(file="tAxiom.h",
            name="absorbIntoTop")
public boolean absorbIntoTop(TBox tbox)

absorb into TOP;

Parameters:

tbox - tbox

Returns:

true if any absorption is performed

equals

public boolean equals(@Nullable
                      Object arg0)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

getAtom

@Original
public org.semanticweb.owlapitools.decomposition.OntologyAtom getAtom()

Returns:

atom for this axiom

setAtom

@Original
public void setAtom(org.semanticweb.owlapitools.decomposition.OntologyAtom atom)

Parameters:

atom - atom