uk.ac.manchester.cs.jfact.kernel

Class OntologyLoader

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.OntologyLoader

All Implemented Interfaces:

Serializable, DLAxiomVisitor

@PortedFrom(file="tOntologyLoader.h",
            name="TOntologyLoader")
public class OntologyLoader
extends Object
implements DLAxiomVisitor, Serializable

ontology loader

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
OntologyLoader(TBox kb)

Method Summary

Modifier and Type	Method and Description
Expression	ensureNames(Expression expr) ensure that the expression EXPR has its named entities linked to the KB ones
Individual	getIndividual(IndividualExpression i, String reason)
void	visit(AxiomConceptInclusion axiom)
void	visit(AxiomDeclaration axiom)
void	visit(AxiomDifferentIndividuals axiom)
void	visit(AxiomDisjointConcepts axiom)
void	visit(AxiomDisjointDRoles axiom)
void	visit(AxiomDisjointORoles axiom)
void	visit(AxiomDisjointUnion axiom)
void	visit(AxiomDRoleDomain axiom)
void	visit(AxiomDRoleFunctional axiom)
void	visit(AxiomDRoleRange axiom)
void	visit(AxiomDRoleSubsumption axiom)
void	visit(AxiomEquivalentConcepts axiom)
void	visit(AxiomEquivalentDRoles axiom)
void	visit(AxiomEquivalentORoles axiom)
void	visit(AxiomFairnessConstraint axiom)
void	visit(AxiomInstanceOf axiom)
void	visit(AxiomORoleDomain axiom)
void	visit(AxiomORoleFunctional axiom)
void	visit(AxiomORoleRange axiom)
void	visit(AxiomORoleSubsumption axiom)
void	visit(AxiomRelatedTo axiom)
void	visit(AxiomRelatedToNot axiom)
void	visit(AxiomRoleAsymmetric axiom)
void	visit(AxiomRoleInverse axiom)
void	visit(AxiomRoleInverseFunctional axiom)
void	visit(AxiomRoleIrreflexive axiom)
void	visit(AxiomRoleReflexive axiom)
void	visit(AxiomRoleSymmetric axiom)
void	visit(AxiomRoleTransitive axiom)
void	visit(AxiomSameIndividuals axiom)
void	visit(AxiomValueOf axiom)
void	visit(AxiomValueOfNot axiom)
void	visitOntology(Ontology ontology) load ontology to a given KB

Methods inherited from class java.lang.Object

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

Methods inherited from interface uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitor

doDefault

Constructor Detail

OntologyLoader

public OntologyLoader(TBox kb)

Parameters:

kb - KB

Method Detail

getIndividual

@PortedFrom(file="tOntologyLoader.h",
            name="getIndividual")
public Individual getIndividual(IndividualExpression i,
                                                                                                        String reason)

Parameters:

i - I

reason - reason

Returns:

an individual be the DLTree; throw exception if unable

ensureNames

@PortedFrom(file="tOntologyLoader.h",
            name="ensureNames")
public Expression ensureNames(Expression expr)

ensure that the expression EXPR has its named entities linked to the KB ones

Parameters:

expr - Expr

Returns:

verified input

visit

public void visit(AxiomDeclaration axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomDeclaration axiom to visit

visit

public void visit(AxiomEquivalentConcepts axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomEquivalentConcepts axiom to visit

visit

public void visit(AxiomDisjointConcepts axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomDisjointConcepts axiom to visit

visit

public void visit(AxiomEquivalentORoles axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomEquivalentORoles axiom to visit

visit

public void visit(AxiomEquivalentDRoles axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomEquivalentDRoles axiom to visit

visit

public void visit(AxiomDisjointORoles axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomDisjointORoles axiom to visit

visit

public void visit(AxiomDisjointDRoles axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomDisjointDRoles axiom to visit

visit

public void visit(AxiomDisjointUnion axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomDisjointUnion axiom to visit

visit

public void visit(AxiomSameIndividuals axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomSameIndividuals axiom to visit

visit

public void visit(AxiomDifferentIndividuals axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomDifferentIndividuals axiom to visit

visit

public void visit(AxiomFairnessConstraint axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomFairnessConstraint axiom to visit

visit

public void visit(AxiomRoleInverse axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomRoleInverse axiom to visit

visit

public void visit(AxiomORoleSubsumption axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomORoleSubsumption axiom to visit

visit

public void visit(AxiomDRoleSubsumption axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomDRoleSubsumption axiom to visit

visit

public void visit(AxiomORoleDomain axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomORoleDomain axiom to visit

visit

public void visit(AxiomDRoleDomain axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomDRoleDomain axiom to visit

visit

public void visit(AxiomORoleRange axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomORoleRange axiom to visit

visit

public void visit(AxiomDRoleRange axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomDRoleRange axiom to visit

visit

public void visit(AxiomRoleTransitive axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomRoleTransitive axiom to visit

visit

public void visit(AxiomRoleReflexive axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomRoleReflexive axiom to visit

visit

public void visit(AxiomRoleIrreflexive axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomRoleIrreflexive axiom to visit

visit

public void visit(AxiomRoleSymmetric axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomRoleSymmetric axiom to visit

visit

public void visit(AxiomRoleAsymmetric axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomRoleAsymmetric axiom to visit

visit

public void visit(AxiomORoleFunctional axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomORoleFunctional axiom to visit

visit

public void visit(AxiomDRoleFunctional axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomDRoleFunctional axiom to visit

visit

public void visit(AxiomRoleInverseFunctional axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomRoleInverseFunctional axiom to visit

visit

public void visit(AxiomConceptInclusion axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomConceptInclusion axiom to visit

visit

public void visit(AxiomInstanceOf axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomInstanceOf axiom to visit

visit

public void visit(AxiomRelatedTo axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomRelatedTo axiom to visit

visit

public void visit(AxiomRelatedToNot axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomRelatedToNot axiom to visit

visit

public void visit(AxiomValueOf axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomValueOf axiom to visit

visit

public void visit(AxiomValueOfNot axiom)

Specified by:

visit in interface DLAxiomVisitor

Parameters:

axiom - AxiomValueOfNot axiom to visit

visitOntology

@PortedFrom(file="tOntologyLoader.h",
            name="visitOntology")
public void visitOntology(Ontology ontology)

load ontology to a given KB

Parameters:

ontology - ontology