uk.ac.manchester.cs.jfact.kernel

Class Ontology

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.Ontology

All Implemented Interfaces:

Serializable

@PortedFrom(file="tOntology.h",
            name="TOntology")
public class Ontology
extends Object
implements Serializable

ontology

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Ontology() Default constructor.

Method Summary

Methods

Modifier and Type	Method and Description
AxiomInterface	add(AxiomInterface p) add given axiom to the ontology
void	clear() clear the ontology
AxiomInterface	get(int i)
List<AxiomInterface>	getAxioms()
ExpressionCache	getExpressionManager()
List<AxiomInterface>	getRetracted()
TSignature	getSignature()
boolean	isChanged()
void	retract(AxiomInterface p) retract given axiom to the ontology
void	safeClear() safe clear the ontology (do not remove axioms)
void	setProcessed() set the processed marker to the end of the ontology
int	size()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Ontology

public Ontology()

Default constructor.

Method Detail

get

@PortedFrom(file="tOntology.h",
            name="get")
public AxiomInterface get(int i)

Parameters:

i - i

Returns:

axiom in position i

isChanged

@PortedFrom(file="tOntology.h",
            name="isChanged")
public boolean isChanged()

Returns:

true iff the ontology was changed since its last load

setProcessed

@PortedFrom(file="tOntology.h",
            name="setProcessed")
public void setProcessed()

set the processed marker to the end of the ontology

add

@PortedFrom(file="tOntology.h",
            name="add")
@Nonnull
public AxiomInterface add(AxiomInterface p)

add given axiom to the ontology

Parameters:

p - p

Returns:

p

retract

@PortedFrom(file="tOntology.h",
            name="retract")
public void retract(AxiomInterface p)

retract given axiom to the ontology

Parameters:

p - p

clear

@PortedFrom(file="tOntology.h",
            name="clear")
public void clear()

clear the ontology

safeClear

@PortedFrom(file="tOntology.h",
            name="safeClear")
public void safeClear()

safe clear the ontology (do not remove axioms)

getExpressionManager

@PortedFrom(file="tOntology.h",
            name="getExpressionManager")
public ExpressionCache getExpressionManager()

Returns:

expression manager

getAxioms

@PortedFrom(file="tOntology.h",
            name="getAxioms")
public List<AxiomInterface> getAxioms()

Returns:

axioms for the whole ontology

size

@PortedFrom(file="tOntology.h",
            name="size")
public int size()

Returns:

size of the ontology

getRetracted

@Original
public List<AxiomInterface> getRetracted()

Returns:

list of retracted axioms

getSignature

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

Returns:

signature of all ontology axioms