uk.ac.manchester.cs.jfact.elf

Class ELFNormalizer

java.lang.Object

uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorAdapter

uk.ac.manchester.cs.jfact.elf.ELFNormalizer

All Implemented Interfaces:

DLAxiomVisitor

@PortedFrom(file="ELFNormalizer.h",
            name="ELFNormalizer")
public class ELFNormalizer
extends DLAxiomVisitorAdapter

Constructor Summary

Constructors

Constructor and Description
ELFNormalizer(ExpressionManager p)

Method Summary

Methods

Modifier and Type	Method and Description
void	visit(AxiomConceptInclusion axiom) all the job is done here
void	visit(AxiomDisjointConcepts axiom) replace with Ci \and Cj [= \bot for 0 <= i < j < n
void	visit(AxiomDisjointUnion axiom) the only legal one contains a single element, so is C = D
void	visit(AxiomEquivalentConcepts axiom) replace it with C0 [= Ci, Ci [= C0
void	visit(AxiomEquivalentORoles axiom) normalize equivalence as a number of subsumptions R0 [= Ri, Ri [= R0
void	visit(AxiomORoleSubsumption axiom) already canonical
void	visit(AxiomRoleTransitive axiom) normalize transitivity as role inclusion
void	visitOntology(Ontology ontology)

Methods inherited from class uk.ac.manchester.cs.jfact.visitors.DLAxiomVisitorAdapter

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

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

Constructor Detail

ELFNormalizer

public ELFNormalizer(ExpressionManager p)

Method Detail

visit

public void visit(AxiomEquivalentConcepts axiom)

replace it with C0 [= Ci, Ci [= C0

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomDisjointConcepts axiom)

replace with Ci \and Cj [= \bot for 0 <= i < j < n

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomDisjointUnion axiom)

the only legal one contains a single element, so is C = D

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomEquivalentORoles axiom)

normalize equivalence as a number of subsumptions R0 [= Ri, Ri [= R0

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomORoleSubsumption axiom)

already canonical

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomRoleTransitive axiom)

normalize transitivity as role inclusion

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visit

public void visit(AxiomConceptInclusion axiom)

all the job is done here

Specified by:

visit in interface DLAxiomVisitor

Overrides:

visit in class DLAxiomVisitorAdapter

visitOntology

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

Specified by:

visitOntology in interface DLAxiomVisitor

Overrides:

visitOntology in class DLAxiomVisitorAdapter