Uses of Class
au.csiro.ontology.model.Axiom

Packages that use Axiom

Package	Description
au.csiro.ontology
au.csiro.ontology.classification
au.csiro.ontology.model
au.csiro.ontology.util

Uses of Axiom in au.csiro.ontology

Fields in au.csiro.ontology with type parameters of type Axiom

Modifier and Type	Field and Description
protected Collection<Axiom>	Ontology.inferredAxioms The collection of inferred axioms that form the ontology.
protected Collection<Axiom>	Ontology.statedAxioms The collection of stated axioms that form the ontology.

Methods in au.csiro.ontology that return Axiom

Modifier and Type	Method and Description
static Axiom	Factory.createConceptInclusion(Concept lhs, Concept rhs)
static Axiom	Factory.createRoleInclusion(Role[] lhs, Role rhs)

Methods in au.csiro.ontology that return types with arguments of type Axiom

Modifier and Type	Method and Description
Collection<Axiom>	Ontology.getInferredAxioms()
Collection<Axiom>	Ontology.getStatedAxioms()

Constructor parameters in au.csiro.ontology with type arguments of type Axiom

Constructor and Description
Ontology(String id, String version, Collection<Axiom> statedAxioms, Map<String,Node> nodeMap) Builds a new ontology.
Ontology(String id, String version, Collection<Axiom> statedAxioms, Map<String,Node> nodeMap, Set<Node> lastAffectedNodes) Builds a new ontology.

Uses of Axiom in au.csiro.ontology.classification

Method parameters in au.csiro.ontology.classification with type arguments of type Axiom

Modifier and Type	Method and Description
void	IReasoner.loadAxioms(Iterator<Axiom> axioms) Loads and indexes the supplied axioms.
void	IReasoner.loadAxioms(Set<Axiom> axioms) Loads and indexes the supplied axioms.

Uses of Axiom in au.csiro.ontology.model

Subclasses of Axiom in au.csiro.ontology.model

Modifier and Type	Class and Description
class	ConceptInclusion This class represents a concept inclusion axiom (also known as a SubClassOf axiom in OWL).
class	FunctionalFeature
class	RoleInclusion This class represents a role inclusion axiom (also known as a SubObjectPropertyOf axiom in OWL).

Methods in au.csiro.ontology.model with parameters of type Axiom

Modifier and Type	Method and Description
int	FunctionalFeature.compareTo(Axiom o)
int	ConceptInclusion.compareTo(Axiom o)
int	RoleInclusion.compareTo(Axiom o)

Uses of Axiom in au.csiro.ontology.util

Methods in au.csiro.ontology.util that return Axiom

Modifier and Type	Method and Description
static Axiom	AxiomUtils.deserialise(String s) Transforms a string representation of an axiom into an Axiom.

Methods in au.csiro.ontology.util with parameters of type Axiom

Modifier and Type	Method and Description
static String	AxiomUtils.serialise(Axiom axiom) Transforms an axiom into a String representation.