uk.ac.manchester.cs.jfact.elf

Class ELFReasoner

java.lang.Object

uk.ac.manchester.cs.jfact.elf.ELFReasoner

@PortedFrom(file="ELFReasoner.h",
            name="ELFReasoner")
public class ELFReasoner
extends Object

Constructor Summary

Constructors

Constructor and Description
ELFReasoner(JFactReasonerConfiguration c, Ontology ont) c'tor: take the ontology and init internal structures

Method Summary

Methods

Modifier and Type	Method and Description
void	classify() classification method
protected uk.ac.manchester.cs.jfact.elf.TELFConcept	getC(ConceptExpression p) get concept (expression) corresponding to a given DL expression
protected void	processCI(AxiomConceptInclusion axiom) process concept inclusion axiom into the internal structures
protected void	processDeclaration(AxiomDeclaration axiom) process declaration axiom

Methods inherited from class java.lang.Object

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

Constructor Detail

ELFReasoner

public ELFReasoner(JFactReasonerConfiguration c,
           Ontology ont)

c'tor: take the ontology and init internal structures

Method Detail

getC

@PortedFrom(file="ELFReasoner.h",
            name="getC")
protected uk.ac.manchester.cs.jfact.elf.TELFConcept getC(ConceptExpression p)

get concept (expression) corresponding to a given DL expression

classify

@PortedFrom(file="ELFReasoner.h",
            name="classify")
public void classify()

classification method

processCI

@PortedFrom(file="ELFReasoner.h",
            name="processCI")
protected void processCI(AxiomConceptInclusion axiom)

process concept inclusion axiom into the internal structures

processDeclaration

@PortedFrom(file="ELFReasoner.h",
            name="processDeclaration")
protected void processDeclaration(AxiomDeclaration axiom)

process declaration axiom