uk.ac.manchester.cs.jfact.kernel

Class Ontology

java.lang.Object

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

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

Field Summary

Fields

Modifier and Type	Field and Description
TSplitVars	Splits

Constructor Summary

Constructors

Constructor and Description
Ontology()

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)
Axiom	add(Axiom p) add given axiom to the ontology
void	clear() clear the ontology
Axiom	get(int i)
List<Axiom>	getAxioms() RW begin() for the whole ontology
ExpressionManager	getExpressionManager() get access to an expression manager
boolean	isChanged()
void	retract(Axiom p) retract given axiom to the ontology
void	setProcessed() set the processed marker to the end of the ontology
int	size() size of the ontology

Methods inherited from class java.lang.Object

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

Field Detail

Splits

@PortedFrom(file="tOntology.h",
            name="Splits")
public TSplitVars Splits

Constructor Detail

Ontology

public Ontology()

Method Detail

get

@PortedFrom(file="tOntology.h",
            name="get")
public Axiom get(int 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")
public Axiom add(Axiom p)

add given axiom to the ontology

retract

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

retract given axiom to the ontology

clear

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

clear the ontology

getExpressionManager

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

get access to an expression manager

getAxioms

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

RW begin() for the whole ontology

size

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

size of the ontology

accept

public void accept(DLAxiomVisitor visitor)

accept method for the visitor pattern

accept

public <O> O accept(DLAxiomVisitorEx<O> visitor)