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

Modifier and Type	Method and Description
org.semanticweb.owlapitools.decomposition.AxiomWrapper	add(org.semanticweb.owlapitools.decomposition.AxiomWrapper p) add given axiom to the ontology
void	clear() clear the ontology
org.semanticweb.owlapitools.decomposition.AxiomWrapper	get(int i)
List<org.semanticweb.owlapitools.decomposition.AxiomWrapper>	getAxioms()
ExpressionCache	getExpressionManager()
List<org.semanticweb.owlapitools.decomposition.AxiomWrapper>	getRetracted()
Collection<NamedEntity>	getSignature()
boolean	isChanged()
void	retract(org.semanticweb.owlapitools.decomposition.AxiomWrapper 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
Stream<Expression>	signature()
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 org.semanticweb.owlapitools.decomposition.AxiomWrapper 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")
public org.semanticweb.owlapitools.decomposition.AxiomWrapper add(org.semanticweb.owlapitools.decomposition.AxiomWrapper p)

add given axiom to the ontology

Parameters:

p - p

Returns:

p

retract

@PortedFrom(file="tOntology.h",
            name="retract")
public void retract(org.semanticweb.owlapitools.decomposition.AxiomWrapper 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<org.semanticweb.owlapitools.decomposition.AxiomWrapper> 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<org.semanticweb.owlapitools.decomposition.AxiomWrapper> getRetracted()

Returns:

list of retracted axioms

signature

@PortedFrom(file="tOntology.h",
            name="getSignature")
public Stream<Expression> signature()

Returns:

signature of all ontology axioms

getSignature

public Collection<NamedEntity> getSignature()

Returns:

named entities